summaryrefslogtreecommitdiff
path: root/src/rewriter.ml
AgeCommit message (Expand)Author
2015-02-18Fix dependency generation when type variable appears in a vector length positionKathy Gray
2015-02-13Fix error of not keeping register reads when they're accessed via a fieldKathy Gray
2015-02-13Actually use new dependency information in generation of lem/etc.Kathy Gray