aboutsummaryrefslogtreecommitdiff
path: root/scripts/formal_equiv.sh
AgeCommit message (Collapse)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
* Fix .run_formal_checks for Github Actions instead of Travis * Remove .run_chisel_tests Because we publish SNAPSHOTs on every merge to master, the Chisel repo checks against master of FIRRTL regularly * Only run unidoc for Scala 2.12 Under Travis we ran for 2.11, 2.12, and 2.13, but it doesn't work when using ++2.<major>.<minor> when major != to 2.12. It seems if we want to run all 3, we have to run as `sbt +unidoc`. It's not clear how much benefit we get from building on the other versions, so stick with 2.12 for now. * Generate .mergify.yml with script in chisel-repo-tools Generated with config: conditions: - status-success=all tests passed branches: - 1.2.x - 1.3.x - 1.4.x
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>
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