aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update charon	Nadrieril	2024-06-24	1	-2/+3
\|
*	`predicates` got merged into `generic_params`	Nadrieril	2024-06-21	1	-7/+6
\|
*	Rename meta into span	Aymeric Fromherz	2024-05-24	1	-13/+13
\|
*	Reformat some files	Son Ho	2024-04-22	1	-1/+2
\|
*	item_meta	Nadrieril	2024-04-18	1	-1/+1
\|
*	added file and line arg to craise and cassert	Escherichia	2024-03-29	1	-6/+6
\|
*	formatting	Escherichia	2024-03-28	1	-9/+13
\|
*	Should answer all comments, there are still some TODO: error message left	Escherichia	2024-03-28	1	-5/+5
\|
*	Added sanity_check and sanity_check_opt_meta helpers and changed sanity ↵	Escherichia	2024-03-28	1	-2/+2
\| \| \| \|	checks related cassert to these helpers to have a proper error message
*	added a meta option field to norm_ctx and changed the meta used by some ↵	Escherichia	2024-03-28	1	-0/+1
\| \| \| \|	assert to the norm_ctx one
*	WIP: translate.ml and extract.ml do not compile. Some assert left to do and ↵	Escherichia	2024-03-28	1	-15/+16
\| \| \| \|	we need to see how translate_crate can give meta to the functions it calls
*	Update following changes in Charon	Son Ho	2024-03-17	1	-1/+1
\|
*	Update following changes in Charon	Son Ho	2023-12-05	1	-14/+52
\|
*	Start updating the name type, cleanup the names and the module abbrevs	Son Ho	2023-11-15	1	-4/+16
\|
*	Normalize the types when computing the regions hierarchies	Son Ho	2023-11-13	1	-4/+38
\|
*	Make minor modifications	Son Ho	2023-11-13	1	-4/+12
\|
*	Add RegionsHierarchy.ml	Son Ho	2023-11-13	1	-0/+243