summaryrefslogtreecommitdiff
path: root/flake.nix (unfollow)
Commit message (Expand)AuthorFilesLines
2023-12-23Update the flake.nix and the ci.ymlSon Ho1-1/+15
2023-11-22Fix an issue with the nix flake and update the flake.lockSon Ho1-22/+7
2023-11-10Check in nix that the regenerated files don't differ from the checked out filesSon Ho1-2/+19
2023-10-23ci: hydra -> github runnerPaul-Nicolas Madelaine1-1/+0
2023-06-04Start setting up the Nix derivation for HOL4Son Ho1-5/+28
2023-06-04Add a commentSon Ho1-1/+1
2023-06-04Use dune 3.7 and update the flake.lockSon Ho1-1/+4
2023-06-04Start adding Lean to the Nix flakeSon Ho1-3/+25
2023-06-04Make a minor modification to flake.nixSon Ho1-3/+3
2023-02-03Make modifications to the MakefilesSon Ho1-1/+9
2023-02-03Update the nix flakesSon Ho1-1/+19
2022-11-16Add a nix derivation for the Coq proofsSon Ho1-4/+13
2022-11-16Add the aeneas-verify-fstar derivationSon Ho1-11/+21
2022-11-11Update the nix flakeSon Ho1-1/+1
2022-11-11Add a `bin` folderSon Ho1-1/+9
2022-11-11Make the Nix build workSon Ho1-1/+28
2022-11-11nixPaul-Nicolas Madelaine1-0/+46
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 05:59:50 +0000