aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Expand)	Author	Files	Lines
2023-07-26	Update some of the Vec function specs	Son Ho	1	-4/+9
2023-07-25	Make progress on the proofs of the hashmap	Son Ho	1	-4/+43
2023-07-25	Make progress on the proofs of the hashmap	Son Ho	2	-13/+9
2023-07-25	Make progress on the hashmap properties	Son Ho	2	-24/+37
2023-07-25	Improve int_tac and scalar_tac	Son Ho	1	-13/+12
2023-07-20	Add fine-grained lemmas for the arithmetic operations	Son Ho	1	-7/+130
2023-07-19	Add arithmetic spec lemmas	Son Ho	1	-6/+161
2023-07-18	Make modifications to Vec.lean	Son Ho	1	-3/+5
2023-07-17	Start proving theorems for primitive definitions	Son Ho	2	-33/+57
2023-07-17	Reorganize the Lean backend	Son Ho	3	-0/+750