| Commit message (Expand) | Author | Files | Lines |
2024-05-29 | chore: explain a Nix-powered workflow | Ryan Lahfa | 1 | -0/+1 |
2024-05-29 | ci: Check correctness of the charon pinned commit | Nadrieril | 1 | -0/+1 |
2024-05-28 | tests: Rename betree_main -> betree | Nadrieril | 1 | -2/+2 |
2024-05-27 | runner: Support negative tests | Nadrieril | 1 | -5/+7 |
2024-05-24 | runner: Strongly typed Backend enum | Nadrieril | 1 | -0/+1 |
2024-05-24 | Auto-detect test cases | Nadrieril | 1 | -0/+3 |
2024-05-24 | Use runner to generate llbc | Nadrieril | 1 | -20/+13 |
2024-05-24 | Import test suite from charon | Nadrieril | 1 | -5/+30 |
2024-05-24 | Add simple test runner | Nadrieril | 1 | -3/+12 |
2024-05-24 | Format `flake.nix` | Nadrieril | 1 | -35/+39 |
2024-05-14 | `./charon-pin` stores the current charon commit | Nadrieril | 1 | -4/+20 |
2024-05-02 | Update charon | Nadrieril | 1 | -2/+1 |
2024-04-26 | Use eachDefaultSystem in flake.nix, update charon in flake.lock | Zack Grannan | 1 | -1/+1 |
2024-04-24 | chore(ci): move Lean CI under Nix | Ryan Lahfa | 1 | -0/+1 |
2024-04-23 | Typo | Guillaume Boisseau | 1 | -1/+1 |
2024-04-22 | ci: Forbid compilation warnings | Nadrieril | 1 | -0/+1 |
2024-04-22 | ci: check code formatting | Nadrieril | 1 | -1/+19 |
2024-04-18 | Ensure we regenerate files properly in CI | Nadrieril | 1 | -6/+3 |
2024-04-17 | feat(nix): support non-Flakes users | Ryan Lahfa | 1 | -1/+2 |
2024-04-16 | Run sanity checks in CI only | Nadrieril | 1 | -6/+3 |
2024-04-15 | Fix CI | Nadrieril | 1 | -1/+1 |
2024-04-11 | Use charon main | Nadrieril | 1 | -1/+1 |
2024-04-10 | Trust rustc regarding `Copy` bounds | Nadrieril | 1 | -1/+1 |
2024-04-08 | Update flake.nix | Nadrieril | 1 | -0/+7 |
2024-03-21 | project(installation): provide a default shell for `aeneas` | Ryan Lahfa | 1 | -0/+9 |
2024-03-18 | Update the flake.nix and the flake.lock | Son Ho | 1 | -20/+1 |
2024-03-08 | Update the flake.nix | Son Ho | 1 | -14/+5 |
2023-12-23 | Update the flake.nix and the ci.yml | Son Ho | 1 | -1/+15 |
2023-11-22 | Fix an issue with the nix flake and update the flake.lock | Son Ho | 1 | -22/+7 |
2023-11-10 | Check in nix that the regenerated files don't differ from the checked out files | Son Ho | 1 | -2/+19 |
2023-10-23 | ci: hydra -> github runner | Paul-Nicolas Madelaine | 1 | -1/+0 |
2023-06-04 | Start setting up the Nix derivation for HOL4 | Son Ho | 1 | -5/+28 |
2023-06-04 | Add a comment | Son Ho | 1 | -1/+1 |
2023-06-04 | Use dune 3.7 and update the flake.lock | Son Ho | 1 | -1/+4 |
2023-06-04 | Start adding Lean to the Nix flake | Son Ho | 1 | -3/+25 |
2023-06-04 | Make a minor modification to flake.nix | Son Ho | 1 | -3/+3 |
2023-02-03 | Make modifications to the Makefiles | Son Ho | 1 | -1/+9 |
2023-02-03 | Update the nix flakes | Son Ho | 1 | -1/+19 |
2022-11-16 | Add a nix derivation for the Coq proofs | Son Ho | 1 | -4/+13 |
2022-11-16 | Add the aeneas-verify-fstar derivation | Son Ho | 1 | -11/+21 |
2022-11-11 | Update the nix flake | Son Ho | 1 | -1/+1 |
2022-11-11 | Add a `bin` folder | Son Ho | 1 | -1/+9 |
2022-11-11 | Make the Nix build work | Son Ho | 1 | -1/+28 |
2022-11-11 | nix | Paul-Nicolas Madelaine | 1 | -0/+46 |