summaryrefslogtreecommitdiff
path: root/test/coq/skip
AgeCommit message (Expand)Author
2020-06-10Prepare Coq library for packagingBrian Campbell
2019-10-02Coq: limited support for existentially-typed tuplesBrian Campbell
2019-04-17Coq: support pure loops with termination measuresBrian Campbell
2019-04-15Basic loop termination measures for CoqBrian Campbell
2019-04-04Coq: improve solver on conjunctions, Euclidean division/moduloBrian Campbell
2019-03-19Coq: more test workBrian Campbell
2019-03-19Coq: more work on testsBrian Campbell
2019-03-15Coq: some progress on the test suiteBrian Campbell
2018-06-08Coq: ignore some currently unsupported testsBrian Campbell
2018-06-08Coq: skip two tests with redundant pattern matchesBrian Campbell
2018-05-28Coq: add back tests with undefined functionsBrian Campbell
2018-05-03Work in progress on the coq backendBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:38:11 +0000