aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improve progress	Son Ho	2023-07-19	1	-2/+32
\|
*	Improve progress	Son Ho	2023-07-18	1	-13/+11
\|
*	Make minor modifications	Son Ho	2023-07-17	1	-25/+0
\|
*	With @sonmarcho, some Lean proofs for hashmaps + comments about possible ↵	Aymeric Fromherz	2023-07-17	1	-0/+195
\| \| \| \|	improvements
*	Make the `by inlit` implicit	Son Ho	2023-07-12	1	-48/+33
\|
*	Use short names for the structure fields in Lean	Son Ho	2023-07-06	2	-54/+44
\|
*	Improve the generated comments	Son Ho	2023-07-06	1	-130/+132
\|
*	Simplify the names used in Primitives.lean	Son Ho	2023-07-05	1	-31/+31
\|
*	Simplify the generated names for the types in Lean	Son Ho	2023-07-05	2	-108/+105
\|
*	Start using namespaces in the Lean backend	Son Ho	2023-07-05	2	-100/+97
\|
*	Regenerate the Lean test files	Son Ho	2023-07-04	2	-15/+21
\|
*	Reorganize the Lean tests	Son Ho	2023-07-04	2	-0/+491