aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Expand)	Author	Files	Lines
2023-09-07	Regenerate the test files and fix a proof	Son Ho	1	-5/+1
2023-08-09	Update the nix flake and regenerate the code	Son Ho	1	-1/+1
2023-08-04	Make minor modifications	Son Ho	1	-2/+2
2023-08-03	Make a minor formatting modification for Lean	Son Ho	2	-0/+2
2023-07-12	Make the `by inlit` implicit	Son Ho	1	-51/+35
2023-07-06	Use short names for the structure fields in Lean	Son Ho	2	-80/+44
2023-07-06	Improve the generated comments	Son Ho	3	-141/+147
2023-07-05	Simplify the names used in Primitives.lean	Son Ho	1	-33/+31
2023-07-05	Simplify the generated names for the types in Lean	Son Ho	4	-127/+123
2023-07-05	Start using namespaces in the Lean backend	Son Ho	6	-128/+148
2023-07-04	Regenerate the Lean test files	Son Ho	4	-17/+35
2023-07-04	Reorganize the Lean tests	Son Ho	3	-0/+593