summaryrefslogtreecommitdiff
path: root/flake.nix (follow)
Commit message (Expand)AuthorAgeFilesLines
* Trust rustc regarding `Copy` boundsNadrieril2024-04-101-1/+1
* Update flake.nixNadrieril2024-04-081-0/+7
* project(installation): provide a default shell for `aeneas`Ryan Lahfa2024-03-211-0/+9
* Update the flake.nix and the flake.lockSon Ho2024-03-181-20/+1
* Update the flake.nixSon Ho2024-03-081-14/+5
* Update the flake.nix and the ci.ymlSon Ho2023-12-231-1/+15
* Fix an issue with the nix flake and update the flake.lockSon Ho2023-11-221-22/+7
* Check in nix that the regenerated files don't differ from the checked out filesSon Ho2023-11-101-2/+19
* ci: hydra -> github runnerPaul-Nicolas Madelaine2023-10-231-1/+0
* Start setting up the Nix derivation for HOL4Son Ho2023-06-041-5/+28
* Add a commentSon Ho2023-06-041-1/+1
* Use dune 3.7 and update the flake.lockSon Ho2023-06-041-1/+4
* Start adding Lean to the Nix flakeSon Ho2023-06-041-3/+25
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 07:44:01 +0000