aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Expand)	Author	Files	Lines
2023-09-07	Regenerate the test files and fix a proof	Son Ho	3	-21/+3
2023-08-09	Update the nix flake and regenerate the code	Son Ho	1	-1/+1
2023-07-06	Improve the generated comments	Son Ho	1	-38/+47
2023-06-04	Update the HOL4 proofs for the last release version of HOL4	Son Ho	2	-52/+54
2023-06-04	Start setting up the Nix derivation for HOL4	Son Ho	1	-4/+5
2023-06-04	Add a comment	Son Ho	1	-1/+5
2023-06-04	Finish the proofs of the hashmap	Son Ho	2	-463/+1461
2023-06-04	Prove hash_map_insert_fwd_back_spec	Son Ho	1	-1/+59
2023-06-04	Make progress on the proofs of the hash map	Son Ho	1	-4/+619
2023-06-04	Make good progress on the proofs of the hashmap in HOL4	Son Ho	1	-46/+686
2023-06-04	Start working on the proofs of the hash map	Son Ho	1	-0/+543
2023-06-04	Add the generated HOL4 files	Son Ho	5	-0/+1640