summaryrefslogtreecommitdiff
path: root/test/c/bitvector.sail
AgeCommit message (Expand)Author
2018-02-13Support for large bitvector literals in C backendAlasdair Armstrong