aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improve the order of the loop input parameters	Son Ho	2023-02-03	1	-6/+6
\|
*	Improve the heuristic to find pretty names for the variables in the loops	Son Ho	2023-02-03	1	-40/+41
\|
*	Regenerate the hashmap code and update the proofs	Son Ho	2023-02-03	1	-76/+158
\|
*	Regenerate the files	Son Ho	2023-02-03	1	-23/+14
\|
*	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