aboutsummaryrefslogtreecommitdiff
path: root/scripts
AgeCommit message (Expand)Author
2019-02-22Bump yosys to 0.8 (#1029)Adam Izraelevitz
2017-12-18Bump sbt (#703)Jack Koenig
2017-12-12Refactor formal equivalence CI testJack Koenig
2017-11-16Make Yosys equivalence check more robust (#686)Jack Koenig
2017-10-01Add script for formally comparing emitted VerilogJack Koenig