aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Expand)	Author	Files	Lines
2023-06-04	Regenerate the translated files for Lean	Son Ho	1	-158/+123
2023-06-04	Improve the generation of variant names for Lean	Son Ho	1	-100/+100
2023-06-04	Reorganize the Lean tests and extract the Polonius tests to Lean	Son Ho	1	-0/+0
2023-06-04	Make minor modifications and regenerate the Lean files	Son Ho	1	-257/+260
2023-06-04	Improve formatting further by removing useless spaces	Son Ho	1	-43/+9
2023-06-04	Make sure let-bindings in Lean end with line breaks and improve formatting	Son Ho	1	-1/+2
2023-06-04	Improve formatting of the termination_by clauses	Son Ho	1	-43/+27
2023-06-04	Make minor fixes, improve formatting for Lean and generate code for all the t...	Son Ho	1	-0/+786