summaryrefslogtreecommitdiff
path: root/flake.nix (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Make a minor modification to flake.nixSon Ho2023-06-041-3/+3
|
* Make modifications to the MakefilesSon Ho2023-02-031-1/+9
|
* Update the nix flakesSon Ho2023-02-031-1/+19
|
* Add a nix derivation for the Coq proofsSon Ho2022-11-161-4/+13
|
* Add the aeneas-verify-fstar derivationSon Ho2022-11-161-11/+21
|
* Update the nix flakeSon Ho2022-11-111-1/+1
|
* Add a `bin` folderSon Ho2022-11-111-1/+9
|
* Make the Nix build workSon Ho2022-11-111-1/+28
|
* nixPaul-Nicolas Madelaine2022-11-111-0/+46