summaryrefslogtreecommitdiff
path: root/tests/misc (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add the betree_nll.rs testSon Ho2022-02-261-0/+41
|
* Improve variable name generationSon Ho2022-02-231-8/+8
|
* 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