aeneas/compiler/.gitignore, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/compiler/.gitignore?h=isabelle 2024-05-14T13:01:39Z Ensure `./charon` points to a valid charon clone 2024-05-14T13:01:39Z Nadrieril 2024-05-03T11:29:27Z urn:sha1:b923f7232a9e98a0b039b722ffedcf91051edbe6 Facilitate development by having a local Makefile invoke dune 2023-06-04T19:44:33Z Jonathan Protzenko 2023-01-24T02:18:11Z urn:sha1:d6fb79417c2fed9c9478ef5e4a2fddb23275aef2