| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-09-23 | transforms.formal: ensure named statements as output (#2367) | Kevin Laeufer |
| 2020-09-16 | Change to Apache 2.0 License (#1901) | Chick Markley |
| 2020-08-14 | All of src/ formatted with scalafmt | chick |
| 2020-08-07 | ExpandWhens: VerificationStatements should be part of the simlist (#1829) | Kevin Laeufer |
| 2020-07-08 | ir: add faster serializer (#1694) | Kevin Laeufer |
| 2020-07-07 | verification: emit mesage as Verilog comment (#1712) | Kevin Laeufer |
| 2020-06-26 | Add test for ConvertAsserts | Albert Magyar |
| 2020-06-23 | Basic model checking API (#1653) | Tom Alcorn |
