aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Expand)	Author	Files	Lines
2023-06-04	Fixup one primitive that is not assumed to be monadic	Jonathan Protzenko	1	-4/+4
2023-06-04	Fix a syntax error	Jonathan Protzenko	1	-10/+5
2023-06-04	Custom syntax support for structures in Lean	Jonathan Protzenko	1	-22/+71
2023-06-04	More cosmetic improvements	Jonathan Protzenko	2	-89/+85
2023-06-04	Fix a couple bugs here and there, improve Lean code-gen, still WIP	Jonathan Protzenko	2	-266/+310
2023-06-04	New directory structure and corresponding extraction, + misc fixes, for Lean	Jonathan Protzenko	8	-132/+138
2023-06-04	Write a tactic to discharge integer literal proof obligations	Jonathan Protzenko	2	-8/+27
2023-06-04	Add a sample test to illustrate potential project structure	Jonathan Protzenko	9	-0/+751