summaryrefslogtreecommitdiff
path: root/tests/misc/Makefile (follow)
Commit message (Expand)AuthorAgeFilesLines
* Reorganize the project to prepare for new backendsSon Ho2022-11-141-47/+0
* Fix MakefilesJonathan Protzenko2022-09-271-11/+10
* Update the MakefilesSon Ho2022-06-271-4/+1
* Add makefiles to test the F* filesSon Ho2022-06-201-2/+51
* More stuff for the paper + interactive mode makefileJonathan Protzenko2022-02-171-0/+2