summaryrefslogtreecommitdiff
path: root/tests/lean/Arrays.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2024-02-02Rename and regenerate some filesSon Ho1-117/+117
2024-02-02Start fixing the testsSon Ho1-1/+1
2023-12-23Regenerate the filesSon Ho1-12/+6
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho1-265/+238
2023-11-29Regenerate the testsSon Ho1-29/+42
2023-11-24Regenerate the filesSon Ho1-13/+13
2023-11-21Regenerate the filesSon Ho1-63/+126
2023-11-21Regenerate most of the test filesSon Ho1-17/+15
2023-11-09Modify some options and update the MakefileSon Ho1-1/+435
2023-08-04Add a forgotten fileSon Ho1-0/+1