summaryrefslogtreecommitdiff
path: root/tests/hol4 (follow)
Commit message (Expand)AuthorAgeFilesLines
* Address review commentsNadrieril2024-04-1817-0/+17
* Ensure we regenerate files properly in CINadrieril2024-04-1817-17/+0
* Regenerate the test files and fix a proofSon Ho2023-09-079-83/+11
* Update the nix flake and regenerate the codeSon Ho2023-08-094-4/+4
* Regenerate the test filesSon Ho2023-08-085-416/+418
* Improve the generated commentsSon Ho2023-07-0612-291/+320
* Start using namespaces in the Lean backendSon Ho2023-07-053-3/+3
* Update the HOL4 proofs for the last *release* version of HOL4Son Ho2023-06-046-325/+327
* Start setting up the Nix derivation for HOL4Son Ho2023-06-042-5/+16
* 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-0443-0/+13198
* Make good progress on generating code for HOL4Son Ho2023-06-042-0/+42
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 05:44:09 +0000