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