summaryrefslogtreecommitdiff
path: root/tests/misc/NoNestedBorrows.fst (follow)
Commit message (Expand)AuthorAgeFilesLines
* Regenerate the test filesSon Ho2022-04-211-10/+8
* Regenerate the test filesSon Ho2022-04-201-17/+17
* Update the evaluation of matches for the cases where the scrutinee is aSon Ho2022-04-201-0/+14
* Regenerate a test fileSon Ho2022-04-201-0/+20
* Improve variable name generationSon Ho2022-02-231-8/+8
* Inline more let-bindings and improve formattingSon Ho2022-02-231-24/+18
* Track the generated F* files from tests/miscSon Ho2022-02-231-0/+526