aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Do not introduce match on the fuel for non-recursive functions	Son Ho	2022-11-16	1	-184/+132
\|
*	Automatically generate the Makefile and _CoqProject files in the tests ↵	Son Ho	2022-11-16	2	-3/+4
\| \| \| \|	subdirectories
*	Generate record field projectors for Coq	Son Ho	2022-11-16	2	-110/+90
\|
*	Change the name of the generated Coq modules	Son Ho	2022-11-16	2	-6/+6
\|
*	Improve formatting	Son Ho	2022-11-16	2	-77/+76
\|
*	Make minor modifications to the extraction	Son Ho	2022-11-16	1	-2/+0
\|
*	Generate Coq code for `hashmap` and `hashmap_on_disk`	Son Ho	2022-11-14	5	-0/+1092