summaryrefslogtreecommitdiff
path: root/tests/lean/Loops.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-31Regenerate test outputAymeric Fromherz1-16/+359
2024-05-30Implement two phases of loops join + collapseAymeric Fromherz1-359/+16
2024-05-24Update output filesNadrieril1-49/+49
2024-05-24Update test outputsNadrieril1-49/+49
2024-05-24Tweak a pathNadrieril1-49/+49
2024-04-04Regenerate the test filesSon Ho1-57/+57
2024-04-04Regenerate the test filesSon Ho1-41/+39
2024-03-20Regenerate the codeSon Ho1-12/+12
2024-03-19Regenerate the testsSon Ho1-36/+16
2024-03-09Regenerate the test filesSon Ho1-0/+55
2024-01-25Regenerate the filesSon Ho1-35/+53
2023-12-23Improve the micro passes to eliminate pattern `let f := fun x => g x`Son Ho1-17/+8
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho1-398/+263
2023-11-24Regenerate the filesSon Ho1-93/+91
2023-11-21Regenerate the filesSon Ho1-62/+124
2023-11-21Regenerate most of the test filesSon Ho1-9/+6
2023-11-09Modify some options and update the MakefileSon Ho1-1/+629
2023-07-04Reorganize the Lean testsSon Ho1-0/+0
2023-06-04Update the extraction of Lean filesSon Ho1-0/+1