summaryrefslogtreecommitdiff
path: root/tests/fstar/misc/Paper.fst (unfollow)
Commit message (Expand)AuthorFilesLines
2022-11-14Regenerate the files and fix the proofsSon Ho1-24/+29
2022-11-14Reorganize the project to prepare for new backendsSon Ho1-0/+0
2022-05-15Regenerate the F* filesSon Ho1-8/+6
2022-05-06Update the extraction to set the fuel to 1 in the Z3 optionsSon Ho1-1/+1
2022-04-21Regenerate the test filesSon Ho1-7/+5
2022-04-20Regenerate the test filesSon Ho1-18/+18
2022-03-05Regenerate Paper.fstSon Ho1-0/+16
2022-02-23Inline more let-bindings and improve formattingSon Ho1-11/+6
2022-02-23Track the generated F* files from tests/miscSon Ho1-0/+140