aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Expand)	Author	Files	Lines
2023-07-19	Fix a small issue with the persistent state of progress	Son Ho	2	-5/+13
2023-07-19	Add some utilities for progress	Son Ho	2	-5/+35
2023-07-19	Start implementing support for some type classes for progress	Son Ho	2	-25/+117
2023-07-19	Cleanup a bit	Son Ho	1	-2/+0
2023-07-19	Improve progress	Son Ho	1	-35/+80
2023-07-18	Improve progress	Son Ho	2	-5/+17
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