aeneas/tests/misc, branch isabelleaeneas rust verifier with a hacky Isabelle backend
Reorganize the project to prepare for new backends2022-11-14T13:21:04+00:00Son Ho2022-11-11T20:34:29+00:006db835db88c4bcf0e00ce1a7a6bc396382b393c3
Make minor modifications to the tests and regenerate the .fst files2022-11-11T15:05:56+00:00Son Ho2022-11-11T15:05:56+00:00b6676f6dc3b1471317cce8e04e9cb7203168f75c
Make a minor cleanup2022-11-10T10:35:30+00:00Son Ho2022-11-09T21:03:04+00:004ec8646c1bf426c848e8057cdf7c248df6999523
Implement the generation of stateful backward functions (controlled by an option)2022-11-10T10:35:30+00:00Son Ho2022-11-09T17:04:03+00:008b6f8e5fb85bcd1b3257550270c4c857d4ee7f55
Regenerate the files2022-10-20T19:12:33+00:00Son Ho2022-10-20T19:12:33+00:006ca61f1deb2f2e45bf55c2b3fcf15b57a7b51ecb
Use "polonius" in the names instead of "nll"2022-10-13T16:04:31+00:00Son Ho2022-10-13T16:04:31+00:00e7b4aba11391bede785799237a73ef7bd16d0372
Regenerate the translated files2022-09-22T15:27:24+00:00Son Ho2022-09-22T15:27:24+00:00e18bf82b0931a7fd8a357a8516ef8618d77d42cf
Correct last PR remarks2022-08-11T16:04:10+00:00Sidney Congard2022-08-11T16:04:10+00:00e7f76a4e46f24f54e5b49efee40e33e11128f49c
Corrected translation without using functions, remaining bug in hashmap translation2022-08-10T16:56:25+00:00Sidney Congard2022-08-10T16:56:25+00:00cd754eabe3af025ca3465c5fc6d8cb48da66a1ae