aboutsummaryrefslogtreecommitdiff
path: root/.travis.yml
AgeCommit message (Collapse)Author
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-11-16Switch to allowlist in Travis SNAPSHOT publishing (#1962)Jack Koenig
2020-11-12Automatically publish SNAPSHOTs on pushes to master (#1955)Jack Koenig
Uses sbt-ci-release for automation
2020-09-23Improve Travis Chisel tests (#1903)Jack Koenig
2020-08-26Scalafmt check all (#1867)Kevin Laeufer
* run scalafmtAll * ci: scalafmtCheckAll to check all code instead of just the main sources
2020-08-14Add control files for scala-fmtchick
- .scalafmt.conf formatting rules - .travs.yml adds test that files are formatted to pass CI - .plugins.sbt add plugin for scalafmt
2020-08-15experimental SMTLib and btor2 emitter (#1826)Kevin Laeufer
This adds an experimental new SMTLib and Btor2 emitter that converts a firrtl module into a format suitable for open source model checkers. The format generally follows the behavior of yosys' write_smt2 and write_btor commands. To generate btor2 for the module in m.fir run > ./utils/bin/firrtl -i m.fir -E experimental-btor2 for SMT: > ./utils/bin/firrtl -i m.fir -E experimental-smt2 If you have a design with multiple clocks or an asynchronous reset, try out the new StutteringClockTransform. You can designate any input of type Clock to be your global simulation clock using the new GlobalClockAnnotation. If your toplevel module instantiates submodules, you need to inline them if you want the submodule logic to be included in the formal model.
2020-07-29Travis: try using openjdk8Kevin Laeufer
2020-07-29[2.13] travis: add scala 2.13 to testsKevin Laeufer
2020-07-27Add Treadle publishLocal to CI for Chisel3 Tests (#1793)Schuyler Eldridge
Add a Treadle build to the portion of CI that runs Chisel3 tests. Chisel3 needs to have a master copy of Treadle in order for it to work and cannot rely on resolution from Maven. Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
2020-07-17Cross-build unidoc in CI (#1772)Schuyler Eldridge
Add cross-building of unidoc to test issues if a user later does a +publishLocal (like with Chisel CI). Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
2020-06-09Add find_heap_bound.py script for finding minimum heap sizeJack Koenig
Co-authored-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
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-07Update Travis cache for SBT 1.3 (#1573)Jack Koenig
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2020-03-30Add Unidoc build to Travis CISchuyler Eldridge
Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
2020-03-04Incorporate new AddNot formal regression testAlbert Magyar
* Feedback from @jackkoening * Merge into same stage as Ops to avoid Travis delays
2020-02-13Add Ops equiv check to stress degenerate binary op ConstPropAlbert Magyar
* Send in the Yosys
2019-09-13Add cold benchmarking script (#1167)Jack Koenig
* Copy benchmark.py from https://github.com/jackkoenig/firrtlbench * Make benchmark use this repo instead of hardcoded subdirectory Example Use: benchmark/scripts/benchmark_cold_compile.py -N 8 --designs regress/*.fir --version master master^
2019-09-13Update Travis stage names to match new versions (#1180)Jack Koenig
* Update Travis stage names to match new versions * Drop minor versions from Travis stage names and delete old comment
2019-09-13Bump Scala to 2.12.10 (#1155)Jack Koenig
2019-09-12Provide a name for each Travis build stage (#1174)Schuyler Eldridge
Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
2018-10-30Fix $TRAVIS_COMMIT_RANGE (#927)Schuyler Eldridge
- Travis unshallow if shallow clone breaks ancestry
2018-08-21Make Scala 2.12.4 the default. (#848)Jim Lawson
* Bump to Scala 2.12.6 and make it the default. * Use Scala 2.11.12 for chisel tests. * Try with Scala 2.12.4.
2018-08-03Fix Travis (#858)Jack Koenig
2018-05-30Improve Travis configuration and revert Yosys versionJack Koenig
* Switch Yosys back to 0.7 with patch for moved ABC repo * Add 30 min timeout for LEC tests * h/t https://stackoverflow.com/questions/43918874#44007537 * Move Travis building of Verilator and Yosys to prelude stage * Don't use automatic Travis Scala tests, do it manually
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
2017-10-01Add Yosys 0.7 installJack Koenig
2017-10-01Remove redundant tests from TravisJack
2017-09-14Update sbt to 0.13.16; add Scala 2.12 support. (#639)Jim Lawson
* Update sbt to 0.13.16; add Scala 2.12 support. To clean, test, and build Scala 2.11 and Scala 2.12 versions: % sbt +clean +test +publishLocal * Update Travis to test in 2.11.11 and 2.12.3 * Try different way of providing Travis Scala version * Attempt to get verilator built before tests.
2017-06-29[Travis] Use Build StagesJack
2017-02-16[skip chisel tests] Add ability to skip Chisel tests in Travis (#444)Jack Koenig
2016-12-06Update Travis build configuration (#388)Jack Koenig
* Copy firrtl.jar to chisel3/lib to ensure correct version of Firrtl is used by chisel3 tests * Remove make commands in favor staying in current sbt session and warmed JVM
2016-10-19Add publish-local to Travis tests (#340)Jack Koenig
Chisel now depends on Firrtl so we need to publish to run Chisel tests
2016-09-23Update Verilator on Travis to 3.886 (#315)Jack Koenig
2016-06-08Increased depth of travis clone.azidar
2016-02-25Travis updates: add Verilator and Chisel3 testsjackkoenig
2016-02-23Initial travis configuration.Jim Lawson
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-10 18:23:29 +0000