summaryrefslogtreecommitdiff
path: root/tests/misc (follow)
Commit message (Expand)AuthorAgeFilesLines
* Inline more let-bindings and improve formattingSon Ho2022-02-232-35/+24
* Track the generated F* files from tests/miscSon Ho2022-02-232-0/+666
* More stuff for the paper + interactive mode makefileJonathan Protzenko2022-02-171-0/+2