summaryrefslogtreecommitdiff
path: root/flake.nix (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Trust rustc regarding `Copy` boundsNadrieril2024-04-101-1/+1
|
* Update flake.nixNadrieril2024-04-081-0/+7
| | | | | It was missing some dependencies, and while we're at it we can disable sanity checks in tests.
* project(installation): provide a default shell for `aeneas`Ryan Lahfa2024-03-211-0/+9
| | | | | | | This makes it easy to run `make build` and `make test` without figuring anything about the dependencies. Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
* 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 11:31:48 +0000