aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Make a minor formatting modification for Lean	Son Ho	2023-08-03	2	-0/+2
\|
*	Make the `by inlit` implicit	Son Ho	2023-07-12	1	-73/+67
\|
*	Improve the generated comments	Son Ho	2023-07-06	1	-152/+148
\|
*	Simplify the names used in Primitives.lean	Son Ho	2023-07-05	1	-6/+6
\|
*	Simplify the generated names for the types in Lean	Son Ho	2023-07-05	2	-183/+178
\|
*	Start using namespaces in the Lean backend	Son Ho	2023-07-05	2	-6/+4
\|
*	Regenerate the Lean test files	Son Ho	2023-07-04	2	-41/+47
\|
*	Reorganize the Lean tests	Son Ho	2023-07-04	2	-0/+634