summaryrefslogtreecommitdiff
path: root/src/splice.ml
AgeCommit message (Collapse)Author
2019-06-13Add new option to splice in alternative function definitionsBrian Campbell
In particular, this is useful for replacing basic bitvector functions with monomorphisation-friendly ones.