summaryrefslogtreecommitdiff
path: root/lib/reverse_endianness.sail
AgeCommit message (Expand)Author
2019-06-27SMT: Add a reverse endianness function and fix some bugsAlasdair Armstrong