aboutsummaryrefslogtreecommitdiff
path: root/scripts
AgeCommit message (Expand)Author
2020-06-09Use Travis Workspaces (#1675)Jack Koenig
2020-05-07Add parse_firrtl_transform_log utility script (#1543)Jack Koenig
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