This repository has been archived by the owner on Aug 19, 2024. It is now read-only.
Add pono backend to chisel formal for bmc #1336
Gallagatortest.yml
on: pull_request
Matrix: formal verification tests
Matrix: icarus verilog
Matrix: Integration Tests
Matrix: sbt test on ubuntu
Matrix: verilator regressions
sbt test on mac
1m 38s
formal verification tests on mac
1m 50s
Documentation and Formatting
1m 14s
Matrix: sbt test for treadle on ubuntu
No Warnings with Scala 2.13 for PRs
1m 44s
publish
0s
all tests passed
0s