summaryrefslogtreecommitdiff
path: root/tests/coq/misc/Bitwise.v (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Tweak a pathNadrieril2024-05-241-5/+5
|
* Regenerate the test filesSon Ho2024-04-041-3/+3
|
* Regenerate the test files and add the fstar-split testsSon Ho2023-12-221-5/+5
|
* Generate the Bitwise test filesSon Ho2023-11-291-0/+38