summaryrefslogtreecommitdiff
path: root/tests/lean/Bitwise.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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