aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improve the generation of variant names for Lean	Son Ho	2023-06-04	2	-37/+36
\|
*	Improve simplify_aggregates to introduce structure updates	Son Ho	2023-06-04	1	-49/+14
\|
*	Make minor modifications to the Lean files	Son Ho	2023-06-04	2	-13/+13
\|
*	Update the extraction of Lean files	Son Ho	2023-06-04	5	-12/+33
\|
*	Generate all the lakefile.lean files	Son Ho	2023-06-04	1	-0/+18
\|
*	Update the generation of termination and decreases_by templates for Lean	Son Ho	2023-06-04	1	-9/+9
\|
*	Make minor modifications and regenerate the Lean files	Son Ho	2023-06-04	4	-310/+329
\|
*	Improve formatting further by removing useless spaces	Son Ho	2023-06-04	1	-14/+0
\|
*	Make sure let-bindings in Lean end with line breaks and improve formatting	Son Ho	2023-06-04	1	-2/+4
\|
*	Improve formatting of the termination_by clauses	Son Ho	2023-06-04	1	-22/+12
\|
*	Make minor fixes, improve formatting for Lean and generate code for all the ↵	Son Ho	2023-06-04	5	-0/+1186
	test suite