aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Regenerate the files	Son Ho	2022-10-20	3	-3/+3
\|
*	Fix Makefiles	Jonathan Protzenko	2022-09-27	1	-11/+10
\|
*	Regenerate the translated files	Son Ho	2022-09-22	1	-1/+1
\|
*	Correct assertion for stateless globals	Sidney Congard	2022-08-11	3	-11/+18
\|
*	Merge branch 'main' of github.com:Kachoc/aeneas into constants-v2	Sidney Congard	2022-06-30	3	-10/+66
\|\ \| \| \| \| \| \|	Complete the constants extraction by making all functions fail
\| *	Update the Makefiles	Son Ho	2022-06-27	1	-4/+1
\| \|
\| *	Add makefiles to test the F* files	Son Ho	2022-06-20	1	-0/+51
\|/
*	Regenerate the F* files	Son Ho	2022-05-15	2	-38/+34
\|
*	Treat integer casts in a general manner	Son Ho	2022-05-15	1	-0/+4
\|
*	Update the extraction to set the fuel to 1 in the Z3 options	Son Ho	2022-05-06	4	-4/+4
\|
*	Update the hashmap_on_disk example	Son Ho	2022-05-05	4	-771/+240
\|
*	Regenerate the F* files for hashmap_main.rs	Son Ho	2022-05-04	1	-180/+241
\|
*	Regenerate the test files	Son Ho	2022-04-21	1	-40/+49
\|
*	Regenerate the test files	Son Ho	2022-04-20	1	-66/+66
\|
*	Make an update in the hash map	Son Ho	2022-03-05	1	-5/+2
\|
*	Make a minor modification	Son Ho	2022-03-04	1	-1/+1
\|
*	Make minor modifications to hashmap_on_disk	Son Ho	2022-03-04	1	-9/+14
\|
*	Make minor modifications	Son Ho	2022-03-04	1	-5/+5
\|
*	Do the proofs about hashmap_on_disk	Son Ho	2022-03-04	1	-0/+300
\|
*	Generate hashmap_on_disk	Son Ho	2022-03-04	6	-0/+1392