aeneas/tests/test_runner/dune-project, branch isabelle aeneas rust verifier with a hacky Isabelle backend Downgrade the version of dune 2024-05-24T13:03:37+00:00 Son Ho 2024-05-24T13:03:37+00:00 d9d0b7cc27abecfefcb22b46333ecdeb9ec397fa 






Add simple test runner
2024-05-24T12:24:38+00:00

Nadrieril

2024-05-22T13:11:28+00:00

6f14e8c699169aa11ea9c106f8cae1ba593569d0