aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix a small issue with the persistent state of progress	Son Ho	2023-07-19	2	-5/+13
\|
*	Add some utilities for progress	Son Ho	2023-07-19	2	-5/+35
\|
*	Start implementing support for some type classes for progress	Son Ho	2023-07-19	2	-25/+117
\|
*	Cleanup a bit	Son Ho	2023-07-19	1	-2/+0
\|
*	Improve progress	Son Ho	2023-07-19	1	-35/+80
\|
*	Improve progress	Son Ho	2023-07-18	2	-5/+17
\|
*	Start proving theorems for primitive definitions	Son Ho	2023-07-17	2	-1/+6
\|
*	Reorganize the Lean backend	Son Ho	2023-07-17	1	-0/+2
\|
*	Update the lean dependencies and update IList	Son Ho	2023-07-17	1	-3/+0
\|
*	Finish implementing the syntax for `progress`	Son Ho	2023-07-13	1	-28/+70
\|
*	Improve progress to use assumptions and start working on a nice syntax	Son Ho	2023-07-12	2	-32/+77
\|
*	Improve the handling of arithmetic bounds	Son Ho	2023-07-12	1	-2/+3
\|
*	Finish a first version of the progress tactic	Son Ho	2023-07-12	2	-31/+29
\|
*	Work on the progress tactic	Son Ho	2023-07-11	2	-0/+287