summaryrefslogtreecommitdiff
path: root/tests/coq/misc/Bitwise.v (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update test outputsNadrieril2024-05-241-5/+5
* 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