summaryrefslogtreecommitdiff
path: root/tests/fstar/misc/Loops.Clauses.Template.fst (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-31Regenerate test outputAymeric Fromherz1-0/+105
2024-05-30Implement two phases of loops join + collapseAymeric Fromherz1-105/+0
2024-05-24Tweak a pathNadrieril1-23/+23
2024-03-20Regenerate the codeSon Ho1-2/+1
2024-03-09Regenerate the test filesSon Ho1-0/+13
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