aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Expand)	Author	Files	Lines
2023-07-17	Start proving theorems for primitive definitions	Son Ho	2	-1/+6
2023-07-17	Reorganize the Lean backend	Son Ho	1	-0/+2
2023-07-17	Update the lean dependencies and update IList	Son Ho	1	-3/+0
2023-07-13	Finish implementing the syntax for `progress`	Son Ho	1	-28/+70
2023-07-12	Improve progress to use assumptions and start working on a nice syntax	Son Ho	2	-32/+77
2023-07-12	Improve the handling of arithmetic bounds	Son Ho	1	-2/+3
2023-07-12	Finish a first version of the progress tactic	Son Ho	2	-31/+29
2023-07-11	Work on the progress tactic	Son Ho	2	-0/+287