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