summaryrefslogtreecommitdiff
path: root/flake.nix (follow)
Commit message (Expand)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