aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Factorize type_var and region_var	Son Ho	2021-12-01	1	-1/+1
\|
*	Reimplement [erase_regions] with the substitution functions	Son Ho	2021-12-01	1	-0/+4
\|
*	Move some definitions to new files	Son Ho	2021-12-01	1	-1/+2
\|
*	Move the var definition	Son Ho	2021-12-01	1	-2/+2
\|
*	Merge statements and expressions into statements	Son Ho	2021-12-01	1	-17/+11
\|
*	Remove the vector type for the Id module	Son Ho	2021-11-30	1	-11/+6
\|
*	Test the unit functions	Son Ho	2021-11-29	1	-1/+1
\|
*	Make various improvements in Print	Son Ho	2021-11-29	1	-18/+0
\|
*	Start working logging and make progress on printing ASTs	Son Ho	2021-11-29	1	-1/+1
\|
*	Update the env definition to make the frames easier to manipulate	Son Ho	2021-11-26	1	-0/+1
\|
*	Implement type substitution for function definitions (and expressions,	Son Ho	2021-11-25	1	-1/+122
\| \| \| \|	etc.)
*	Start working on function calls	Son Ho	2021-11-25	1	-4/+23
\|
*	Implement the Aggregate branch of eval_rvalue	Son Ho	2021-11-25	1	-1/+9
\|
*	Implement various substitution functions	Son Ho	2021-11-25	1	-42/+54
\|
*	Commit Substitute.ml (forgotten in previous commit)	Son Ho	2021-11-25	1	-0/+72