| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-07-06 | Make printf return BaseSim subclass so it can be named/annotated (#1992) | Deborah Soung |
| 2021-06-24 | create and extend annotatable BaseSim class for verification nodes (#1968) | Deborah Soung |
| 2021-04-29 | verification: guard statements with module reset (#1891) | Kevin Laeufer |
| 2020-10-01 | Move Chisel3 to SPDX license conventions (#1604) | Chick Markley |
| 2020-07-22 | Basic model checking API (#1499) | Tom Alcorn |
