summaryrefslogtreecommitdiff
path: root/flake.nix (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-24Auto-detect test casesNadrieril1-0/+3
2024-05-24Use runner to generate llbcNadrieril1-20/+13
2024-05-24Import test suite from charonNadrieril1-5/+30
2024-05-24Add simple test runnerNadrieril1-3/+12
2024-05-24Format `flake.nix`Nadrieril1-35/+39
2024-05-14`./charon-pin` stores the current charon commitNadrieril1-4/+20
2024-05-02Update charonNadrieril1-2/+1
2024-04-26Use eachDefaultSystem in flake.nix, update charon in flake.lockZack Grannan1-1/+1
2024-04-24chore(ci): move Lean CI under NixRyan Lahfa1-0/+1
2024-04-23TypoGuillaume Boisseau1-1/+1
2024-04-22ci: Forbid compilation warningsNadrieril1-0/+1
2024-04-22ci: check code formattingNadrieril1-1/+19
2024-04-18Ensure we regenerate files properly in CINadrieril1-6/+3
2024-04-17feat(nix): support non-Flakes usersRyan Lahfa1-1/+2
2024-04-16Run sanity checks in CI onlyNadrieril1-6/+3
2024-04-15Fix CINadrieril1-1/+1
2024-04-11Use charon mainNadrieril1-1/+1
2024-04-10Trust rustc regarding `Copy` boundsNadrieril1-1/+1
2024-04-08Update flake.nixNadrieril1-0/+7
2024-03-21project(installation): provide a default shell for `aeneas`Ryan Lahfa1-0/+9
2024-03-18Update the flake.nix and the flake.lockSon Ho1-20/+1
2024-03-08Update the flake.nixSon Ho1-14/+5
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-10-18 21:27:49 +0000