aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Expand)	Author	Files	Lines
2023-06-04	Start setting up the Nix derivation for HOL4	Son Ho	2	-5/+16
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	43	-0/+13198
2023-06-04	Make good progress on generating code for HOL4	Son Ho	2	-0/+42