| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-10-25 | Add Scalafmt for mill (backport #2805) (#2807) | mergify[bot] |
| 2022-01-28 | Fix Decoder bug for constant 0 and DC (#2363) (#2371) | mergify[bot] |
| 2021-12-15 | Refactor TruthTable to use Seq (#2217) | Jiuyang Liu |
| 2021-08-25 | replace custom model checker with chiseltest formal verify command (#2075) | Kevin Laeufer |
