aeneas/tests/betree, 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 






Make a minor cleanup
2022-11-10T10:35:30+00:00

Son Ho

2022-11-09T21:03:04+00:00

4ec8646c1bf426c848e8057cdf7c248df6999523












Regenerate the files
2022-10-20T19:12:33+00:00

Son Ho

2022-10-20T19:12:33+00:00

6ca61f1deb2f2e45bf55c2b3fcf15b57a7b51ecb












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

Jonathan Protzenko

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

056681b763aeeb1066adccd7c4c8bc28d815ba02












Regenerate the translated files
2022-09-22T15:27:24+00:00

Son Ho

2022-09-22T15:27:24+00:00

e18bf82b0931a7fd8a357a8516ef8618d77d42cf












Correct assertion for stateless globals
2022-08-11T08:39:04+00:00

Sidney Congard

2022-08-11T08:39:04+00:00

fa491861faed3ba5ed4fe806b55bea663a29579c












Remove last prints, adapt JSON
2022-07-05T10:16:36+00:00

Sidney Congard

2022-07-05T10:16:36+00:00

eebedf86db68c240fe16cfd74af2cc462b0d9cf9












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












Regenerate the F* files
2022-05-15T20:35:23+00:00

Son Ho

2022-05-15T20:35:23+00:00

7ca25ab5c3e686eaca2716d003bfb04e742209ec