aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Tiny dedup	Nadrieril	2024-06-18	1	-2/+3
\|
*	Rename meta into span	Aymeric Fromherz	2024-05-24	1	-34/+36
\|
*	Rename span into raw_span	Aymeric Fromherz	2024-05-24	1	-4/+4
\|
*	Update the way errors are reported	Son Ho	2024-04-04	1	-6/+0
\|
*	Now prints all errors in the error_list	Escherichia	2024-04-04	1	-0/+6
\|
*	added Error and EError to expressions and propagated related changes	Escherichia	2024-04-03	1	-2/+3
\|
*	Improve the error messages	Son Ho	2024-03-29	1	-5/+11
\|
*	Cleanup a bit	Son Ho	2024-03-29	1	-36/+24
\|
*	formatting and changed save_error condition for failing from b to not b	Escherichia	2024-03-29	1	-14/+34
\|
*	added file and line arg to craise and cassert	Escherichia	2024-03-29	1	-19/+19
\|
*	Improve the error messages	Son Ho	2024-03-29	1	-1/+1
\|
*	Fix an issue	Son Ho	2024-03-28	1	-1/+1
\|
*	formatting	Escherichia	2024-03-28	1	-31/+28
\|
*	Should answer all comments, there are still some TODO: error message left	Escherichia	2024-03-28	1	-20/+30
\|
*	Added sanity_check and sanity_check_opt_meta helpers and changed sanity ↵	Escherichia	2024-03-28	1	-1/+7
\| \| \| \|	checks related cassert to these helpers to have a proper error message
*	WIP: translate.ml and extract.ml do not compile. Some assert left to do and ↵	Escherichia	2024-03-28	1	-4/+19
\| \| \| \|	we need to see how translate_crate can give meta to the functions it calls
*	WIP Beginning working on better errors: began replacing raise (Failure) and ↵	Escherichia	2024-03-28	1	-0/+27
\| \| \| \|	assert by craise and cassert. Does not compile yet, still need to propagate the meta variable where it's relevant
*	Take care of some TODOs	Son Ho	2022-10-28	1	-1/+0
\|
*	Move some files to the Charon project	Son Ho	2022-10-28	1	-2/+1
\|
*	Reorganize a bit the project	Son Ho	2022-10-27	1	-0/+2