summaryrefslogtreecommitdiff
path: root/tests/misc/Paper.fst (follow)
Commit message (Expand)AuthorAgeFilesLines
* Regenerate the F* filesSon Ho2022-05-151-8/+6
* Update the extraction to set the fuel to 1 in the Z3 optionsSon Ho2022-05-061-1/+1
* Regenerate the test filesSon Ho2022-04-211-7/+5
* Regenerate the test filesSon Ho2022-04-201-18/+18
* Regenerate Paper.fstSon Ho2022-03-051-0/+16
* Inline more let-bindings and improve formattingSon Ho2022-02-231-11/+6
* Track the generated F* files from tests/miscSon Ho2022-02-231-0/+140