summaryrefslogtreecommitdiff
path: root/tests/Makefile (follow)
Commit message (Expand)AuthorAgeFilesLines
* Import test suite from charonNadrieril2024-05-241-0/+2
* Update tests/MakefileSon Ho2024-03-111-1/+1
* Add an option to split the fwd/back functions and fix a minor issueSon Ho2023-12-221-1/+1
* Update tests/MakefileSon Ho2023-06-041-1/+1
* Initial Lean backend, WIPJonathan Protzenko2023-06-041-3/+4
* Make good progress on the Coq backendSon Ho2022-11-141-0/+3
* Reorganize the project to prepare for new backendsSon Ho2022-11-141-19/+0
* Add makefiles to test the F* filesSon Ho2022-06-201-0/+19