aboutsummaryrefslogtreecommitdiff
path: root/scripts
AgeCommit message (Collapse)Author
2020-09-16Change to Apache 2.0 License (#1901)Chick Markley
2020-06-09Use Travis Workspaces (#1675)Jack Koenig
* Use Travis Workspaces Add stage to build FIRRTL and share it with later steps running the tests * [CI] Do not sbt clean in formal_equiv.sh This change takes advantage of shared workspace in Travis Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2020-05-07Add parse_firrtl_transform_log utility script (#1543)Jack Koenig
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2019-02-22Bump yosys to 0.8 (#1029)Adam Izraelevitz
2017-12-18Bump sbt (#703)Jack Koenig
Bump SBT to 1.0.4 and update plugins Update Scala versions and sbt commands in .travis.yml Replace run-main with runMain
2017-12-12Refactor formal equivalence CI testJack Koenig
Make the check script allow different designs Add FPU, ICache, and RocketCore to regress and use instead of Rob for CI equivalence check
2017-11-16Make Yosys equivalence check more robust (#686)Jack Koenig
Also let Travis know that equivalence checks can take a while
2017-10-01Add script for formally comparing emitted VerilogJack Koenig
Also add Travis test for running this script on PRs