aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix a bug when composing the continuations in eval_statement	Son Ho	2024-06-03	1	-0/+6
\|
*	Rename meta into span	Aymeric Fromherz	2024-05-24	1	-5/+5
\|
*	Update the interpreter so that it is not written in CPS style (#120)	Escherichia	2024-05-23	1	-161/+101
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* Start turning the compiler in a style which is less CPS * Update a function in InterpreterExpressions.ml * WIP work on cps * WIP * WIP, currently on InterpreterStatements.ml * WIP * Finished CPS-related modification * Fixed some warning related to documentation comments * Finished loop support, fixed a loop * fixed a typed value * Fixed check_disappeared related error * cleaned check_disappeared related error * Start cleaning up * Do more cleanup * Make some cleanup and fix an issue * Do more cleanup * Do more cleanup * Do more cleanup * Do more cleanup * Do more cleanup * Do more cleanup * Do more cleanup * Do more cleanup * Rename a function * Do more cleanup * Cleanup the loops code and fix some bugs * Cleanup assign_to_place * Make a minor cleanup --------- Co-authored-by: Son Ho <hosonmarc@gmail.com>
*	Start updating the name type, cleanup the names and the module abbrevs	Son Ho	2023-11-15	1	-17/+15
\|
*	Fix some bugs	Son Ho	2023-02-03	1	-1/+2
\|
*	Make good progress on updating SymbolicToPure	Son Ho	2023-02-03	1	-2/+2
\|
*	Add a `Loop` node in the pure AST	Son Ho	2023-02-03	1	-4/+6
\|
*	Add an SCC.ml file for strongly connected components	Son Ho	2023-02-03	1	-1/+1
\|
*	Make progress on Interpreter.ml	Son Ho	2023-02-03	1	-2/+8
\|
*	Start implementing support for loops	Son Ho	2023-02-03	1	-3/+10
\|
*	Fix some issues with the comments	Son Ho	2022-11-11	1	-1/+1
\|
*	Reorganize a bit the project	Son Ho	2022-10-27	1	-0/+193