summaryrefslogtreecommitdiff
path: root/tests/misc/NoNestedBorrows.fst (unfollow)
Commit message (Expand)AuthorFilesLines
2022-04-21Regenerate the test filesSon Ho1-10/+8
2022-04-20Regenerate the test filesSon Ho1-17/+17
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-02-23Improve variable name generationSon Ho1-8/+8
2022-02-23Inline more let-bindings and improve formattingSon Ho1-24/+18
2022-02-23Track the generated F* files from tests/miscSon Ho1-0/+526