| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | shell(ux): enter into the default devshell via nix-direnv | Ryan Lahfa | 2024-03-21 | 1 | -0/+1 |
| This makes the switch into Aeneas' development environment "seamless" for direnv users. https://direnv.net/ https://github.com/nix-community/nix-direnv Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr> | |||||
 |
index : aeneas | |
| aeneas rust verifier with a hacky Isabelle backend |
| summaryrefslogtreecommitdiff |