aboutsummaryrefslogtreecommitdiff
path: root/scripts
AgeCommit message (Expand)Author
2021-12-01Make formal_equiv.sh robust to changes to ANTLR & ProtobufJack Koenig
2021-01-19Switch from Travis to Github Actions CI (#2041)Jack Koenig
2020-09-16Change to Apache 2.0 License (#1901)Chick Markley
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