summaryrefslogtreecommitdiff
path: root/tests/fstar/misc/Paper.fst (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-24Update output filesNadrieril1-9/+9
2024-05-24Update test outputsNadrieril1-9/+9
2024-05-24Tweak a pathNadrieril1-9/+9
2024-04-04Regenerate the test filesSon Ho1-14/+13
2024-04-04Regenerate the test filesSon Ho1-6/+5
2024-03-20Regenerate the codeSon Ho1-1/+1
2023-12-23Regenerate the filesSon Ho1-6/+5
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho1-47/+40
2023-11-21Regenerate the filesSon Ho1-11/+22
2023-10-27Regenerate some of the F* test filesSon Ho1-34/+31
2023-07-06Improve the generated commentsSon Ho1-10/+11
2023-06-04Make sure let-bindings in Lean end with line breaks and improve formattingSon Ho1-6/+7
2023-02-03Do not unfold the monadic lets for the generated F* codeSon Ho1-69/+26
2023-02-03Regenerate the filesSon Ho1-12/+3
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