diff options
| author | Kevin Laeufer | 2021-08-25 12:38:56 -0700 |
|---|---|---|
| committer | GitHub | 2021-08-25 12:38:56 -0700 |
| commit | 3840fec3d918f23df07a18311136ac6a1bc365e1 (patch) | |
| tree | 2b8d2717c06f203a76bde408d477462b66f6949d /src/main | |
| parent | bf46afcebcb13e51d1e8c96ea2755fdcb352db4c (diff) | |
replace custom model checker with chiseltest formal verify command (#2075)
* replace custom model checker with chiseltest formal verify command
* integration-tests can make use of chiseltest
This is a compromise solution to avoid issues
with binary compatibility breaking changes in chisel3.
* ci: move integration tests into separate job
* run integration tests only for one scala version
* ci: install espresso for integration tests
* Update build.sbt
Co-authored-by: Jack Koenig <jack.koenig3@gmail.com>
Co-authored-by: Jack Koenig <jack.koenig3@gmail.com>
Diffstat (limited to 'src/main')
0 files changed, 0 insertions, 0 deletions