summaryrefslogtreecommitdiff
path: root/tests/hol4/hashmap (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Address review commentsNadrieril2024-04-182-0/+2
|
* Ensure we regenerate files properly in CINadrieril2024-04-182-2/+0
| | | | | Files that weren't regenerated were marked as not automatically-generated.
* Regenerate the test files and fix a proofSon Ho2023-09-073-21/+3
|
* Update the nix flake and regenerate the codeSon Ho2023-08-091-1/+1
|
* Improve the generated commentsSon Ho2023-07-061-38/+47
|
* Update the HOL4 proofs for the last *release* version of HOL4Son Ho2023-06-042-52/+54
|
* Start setting up the Nix derivation for HOL4Son Ho2023-06-041-4/+5
|
* Add a commentSon Ho2023-06-041-1/+5
|
* Finish the proofs of the hashmapSon Ho2023-06-042-463/+1461
|
* Prove hash_map_insert_fwd_back_specSon Ho2023-06-041-1/+59
|
* Make progress on the proofs of the hash mapSon Ho2023-06-041-4/+619
|
* Make good progress on the proofs of the hashmap in HOL4Son Ho2023-06-041-46/+686
|
* Start working on the proofs of the hash mapSon Ho2023-06-041-0/+543
|
* Add the generated HOL4 filesSon Ho2023-06-045-0/+1640
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-10 22:27:04 +0000