aeneas/tests/Makefile.template, branch isabelle aeneas rust verifier with a hacky Isabelle backend Reorganize the project to prepare for new backends 2022-11-14T13:21:04+00:00 Son Ho 2022-11-11T20:34:29+00:00 6db835db88c4bcf0e00ce1a7a6bc396382b393c3 






Fix Makefiles
2022-09-27T21:46:22+00:00

Jonathan Protzenko

2022-09-27T21:46:22+00:00

056681b763aeeb1066adccd7c4c8bc28d815ba02












Update the Makefiles
2022-06-27T02:40:43+00:00

Son Ho

2022-06-27T02:40:43+00:00

7f06278bd0b43426e88632afcd8e5633c5ab0a1e












Add makefiles to test the F* files
2022-06-20T04:21:57+00:00

Son Ho

2022-06-20T04:21:57+00:00

4c3a164ed570ecfa721255519554911754913271