summaryrefslogtreecommitdiff
path: root/tests/misc (unfollow)
Commit message (Expand)AuthorFilesLines
2022-05-15Regenerate the F* filesSon Ho4-34/+34
2022-05-15Treat integer casts in a general mannerSon Ho2-0/+8
2022-05-15Regenerate a test fileSon Ho1-6/+8
2022-05-06Update the extraction to set the fuel to 1 in the Z3 optionsSon Ho6-6/+6
2022-05-06Regenerate the F* for external.rsSon Ho2-2/+2
2022-05-06Regenerate the F* files for external.rsSon Ho1-2/+14
2022-05-05Regenerate the F* files for external.rsSon Ho1-2/+17
2022-05-04Regenerate the F* files for the external.rs testSon Ho2-7/+46
2022-05-01Regenerate some of the test filesSon Ho1-5/+6
2022-04-21Regenerate the test filesSon Ho4-19/+15
2022-04-20Regenerate the test filesSon Ho2-35/+35
2022-04-20Update the evaluation of matches for the cases where the scrutinee is aSon Ho1-0/+14
2022-04-20Regenerate a test fileSon Ho1-0/+20
2022-03-05Regenerate Paper.fstSon Ho1-0/+16
2022-03-04Generate hashmap_on_diskSon Ho1-0/+279
2022-03-04Make minor modifications to the variable names generationSon Ho1-1/+1
2022-03-04Commit the translation of external.rsSon Ho3-0/+88
2022-02-26Add the betree_nll.rs testSon Ho1-0/+41
2022-02-23Improve variable name generationSon Ho1-8/+8
2022-02-23Inline more let-bindings and improve formattingSon Ho2-35/+24
2022-02-23Track the generated F* files from tests/miscSon Ho2-0/+666
2022-02-17More stuff for the paper + interactive mode makefileJonathan Protzenko1-0/+2