summaryrefslogtreecommitdiff
path: root/tests/coq/demo/_CoqProject (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-05-31Regenerate testsAymeric Fromherz1-1/+1
2024-02-09Add some missing filesSon Ho1-1/+1
2023-11-09Regenerate the Coq test filesSon Ho1-0/+2
2023-10-27Add some files for the Coq trait testsSon Ho1-3/+0
2023-08-04Generate the array test files for Coq and F*Son Ho1-2/+2
2023-07-06Improve the generated commentsSon Ho1-1/+1
2023-06-04Make sure let-bindings in Lean end with line breaks and improve formattingSon Ho1-1/+1
2022-11-16Automatically generate the Makefile and _CoqProject files in the tests ↵Son Ho1-3/+3
subdirectories
2022-11-16Generate record field projectors for CoqSon Ho1-2/+2
2022-11-14Generate Coq code for `hashmap` and `hashmap_on_disk`Son Ho1-0/+8