summaryrefslogtreecommitdiff
path: root/tests/lean/Bitwise.lean (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Regenerate the test filesSon Ho2024-04-041-3/+3
|
* Regenerate the test files and add the fstar-split testsSon Ho2023-12-221-9/+9
|
* Generate the Bitwise test filesSon Ho2023-11-291-0/+37