aeneas/tests/hol4/hashmap, branch isabelle aeneas rust verifier with a hacky Isabelle backend Regenerate the test files and fix a proof 2023-09-07T14:06:14+00:00 Son Ho 2023-09-07T14:06:14+00:00 ce8f5c8f67e41a74bfdf8f6d664ff4e45e9de850 






Update the nix flake and regenerate the code
2023-08-09T08:01:32+00:00

Son Ho

2023-08-09T08:01:32+00:00

a2c4ffd56b6f1760374707f083f6c4347b116538












Improve the generated comments
2023-07-06T10:20:28+00:00

Son Ho

2023-07-06T10:20:28+00:00

7c95800cefc87fad894f8bf855cfc047e713b3a7












Update the HOL4 proofs for the last *release* version of HOL4
2023-06-04T19:54:38+00:00

Son Ho

2023-06-02T15:23:29+00:00

dc46dbb9a01329c39673fedc195006745c365030












Start setting up the Nix derivation for HOL4
2023-06-04T19:54:38+00:00

Son Ho

2023-06-02T14:10:20+00:00

54afbf3a8b71ee729641ee3024d19aaf8fa92a67












Add a comment
2023-06-04T19:54:38+00:00

Son Ho

2023-06-01T21:20:47+00:00

3595f1c6174dbc356d024fcdf74aaef8b1fd533e












Finish the proofs of the hashmap
2023-06-04T19:54:38+00:00

Son Ho

2023-06-01T21:19:27+00:00

e0a0d5c18c8874c72f0cf1fce551a9fed243c03e












Prove hash_map_insert_fwd_back_spec
2023-06-04T19:54:38+00:00

Son Ho

2023-05-31T09:23:54+00:00

03cab42f960860b39108b410c2ca8a06c44186d3












Make progress on the proofs of the hash map
2023-06-04T19:54:38+00:00

Son Ho

2023-05-31T08:56:20+00:00

14a6149ccae22de6581e68f0fe6f5b7434235d6c












Make good progress on the proofs of the hashmap in HOL4
2023-06-04T19:54:38+00:00

Son Ho

2023-05-26T15:28:15+00:00

446bbc0bdbb4a03d78636ec71f85e13e66b61e08