summaryrefslogtreecommitdiff
path: root/flake.nix (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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 18:00:32 +0000