aeneas/compiler/.gitignore, branch isabelle aeneas rust verifier with a hacky Isabelle backend Ensure `./charon` points to a valid charon clone 2024-05-14T13:01:39+00:00 Nadrieril 2024-05-03T11:29:27+00:00 b923f7232a9e98a0b039b722ffedcf91051edbe6 






Facilitate development by having a local Makefile invoke dune
2023-06-04T19:44:33+00:00

Jonathan Protzenko

2023-01-24T02:18:11+00:00

d6fb79417c2fed9c9478ef5e4a2fddb23275aef2