| Age | Commit message (Collapse) | Author |
|
|
|
* 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>
|
|
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
|
|
|
|
Bump SBT to 1.0.4 and update plugins
Update Scala versions and sbt commands in .travis.yml
Replace run-main with runMain
|
|
Make the check script allow different designs
Add FPU, ICache, and RocketCore to regress and use instead of Rob for CI
equivalence check
|
|
Also let Travis know that equivalence checks can take a while
|
|
Also add Travis test for running this script on PRs
|