aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix a minor issue in decompose_let_bindings	Son Ho	2023-02-03	1	-0/+5
\|
*	Implement a micro-pass to simplify the let-bindings followed by a return	Son Ho	2023-02-03	1	-0/+36
\|
*	Fix various issues with the generation of code for the loops	Son Ho	2023-02-03	1	-0/+15
\|
*	Make good progress on updating SymbolicToPure	Son Ho	2023-02-03	1	-1/+1
\|
*	Add a `Loop` node in the pure AST	Son Ho	2023-02-03	1	-0/+6
\|
*	Compute the SCCs of the functions to extract in Translate.ml	Son Ho	2023-02-03	1	-49/+0
\|
*	Add a `-use-fuel` option	Son Ho	2022-11-14	1	-4/+12
\|
*	Make [Result::Failure] type an [Error] parameter	Son Ho	2022-11-14	1	-5/+27
\|
*	Improve the formatting of the generated code	Son Ho	2022-11-14	1	-0/+9
\|
*	Make good progress on the Coq backend	Son Ho	2022-11-14	1	-2/+2
\|
*	Reorganize the project to prepare for new backends	Son Ho	2022-11-14	1	-1/+1
\|
*	Fix some issues with the comments	Son Ho	2022-11-11	1	-1/+1
\|
*	Implement the generation of stateful backward functions (controlled by an ↵	Son Ho	2022-11-10	1	-0/+6
\| \| \| \|	option)
*	Update the way function names are handled in Pure	Son Ho	2022-11-10	1	-16/+19
\|
*	Reorganize branching symbolic expansions to prepare for the join operation	Son Ho	2022-11-10	1	-0/+4
\|
*	Update `switch` to have a specific treatment of ADTs	Son Ho	2022-11-10	1	-1/+1
\|
*	Replace all the occurrences of `failwith ...` with `raise (Failure ...)`	Son Ho	2022-11-07	1	-1/+1
\|
*	Reformat the code	Son Ho	2022-10-27	1	-1/+2
\|
*	Move constant_value to PrimitiveValues.ml	Son Ho	2022-10-27	1	-5/+5
\|
*	Reorganize a bit the project	Son Ho	2022-10-27	1	-0/+450