summaryrefslogtreecommitdiff
path: root/tests/coq/array/Makefile (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-02-02Rename and regenerate some filesSon Ho1-23/+0
2023-08-04Generate the array test files for Coq and F*Son Ho1-0/+0
2022-11-16Automatically generate the Makefile and _CoqProject files in the tests ↵Son Ho1-0/+1
subdirectories
2022-11-14Extract the Polonius examples in CoqSon Ho1-0/+0
2022-11-14Generate Coq code for `hashmap` and `hashmap_on_disk`Son Ho1-0/+0
2022-11-14Make good progress on the Coq backendSon Ho1-0/+22