summaryrefslogtreecommitdiff
path: root/tests/coq/misc/Makefile (unfollow)
Commit message (Collapse)AuthorFilesLines
2022-11-16Automatically generate the Makefile and _CoqProject files in the tests ↵Son Ho1-0/+1
subdirectories
2022-11-14Make good progress on the Coq backendSon Ho1-0/+22