aeneas/tests/betree_back_stateful/Makefile, branch isabelleaeneas rust verifier with a hacky Isabelle backendhttps://stuebinm.eu/git/aeneas/atom/tests/betree_back_stateful/Makefile?h=isabelle2022-11-14T13:21:04ZReorganize the project to prepare for new backends2022-11-14T13:21:04ZSon Ho2022-11-11T20:34:29Zurn:sha1:6db835db88c4bcf0e00ce1a7a6bc396382b393c3Implement the generation of stateful backward functions (controlled by an option)2022-11-10T10:35:30ZSon Ho2022-11-09T17:04:03Zurn:sha1:8b6f8e5fb85bcd1b3257550270c4c857d4ee7f55