summaryrefslogtreecommitdiff
path: root/src/main/scala/chisel3/experimental/verification
AgeCommit message (Collapse)Author
2024-06-03fix stuff in src/Aditya Naik
build is failing with a compile error in 3.3.3 due to something in Aggregate.scala. reduce to smallest form and file a bug report maybe?
2022-01-10Apply scalafmtJack Koenig
Command: sbt scalafmtAll
2021-09-23verification: fix off by one error in deprecation message (#2135)Kevin Laeufer
2021-09-23make all verification statements publically available (#2089)Kevin Laeufer