summaryrefslogtreecommitdiff
path: root/tests/fstar/misc/Loops.Clauses.Template.fst (unfollow)
Commit message (Expand)AuthorFilesLines
2024-01-25Regenerate the filesSon Ho1-16/+23
2023-11-21Regenerate the filesSon Ho1-19/+38
2023-10-27Regenerate some of the F* test filesSon Ho1-1/+2
2023-02-03Implement a pass to filter the unused input arguments in the loop functionsSon Ho1-4/+3
2023-02-03Fix an issue with the names of the loop decreases clausesSon Ho1-23/+27
2023-02-03Improve the order of the loop input parametersSon Ho1-1/+1
2023-02-03Improve the heuristic to find pretty names for the variables in the loopsSon Ho1-21/+21
2023-02-03Fix some issues with the values given back by loop backward translationsSon Ho1-0/+10
2023-02-03Add more loop examples and fix issuesSon Ho1-0/+18
2023-02-03Implement support for nested borrows in loops, and add loop testsSon Ho1-2/+49
2023-02-03Regenerate the testsSon Ho1-0/+17
2023-02-03Make another loop example workSon Ho1-0/+3
2023-02-03Make minor modifications and generate code for loopsSon Ho1-0/+13