| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-08-02 | add emitter for optimized low firrtl (#2304) | Kevin Laeufer | |
| * rearrange passes to enable optimized firrtl emission * Support ConstProp on padded arguments to comparisons with literals * Move shr legalization logic into ConstProp Continue calling ConstProp of shr in Legalize. Co-authored-by: Jack Koenig <koenig@sifive.com> Co-authored-by: Jack Koenig <koenig@sifive.com> | |||
| 2021-03-09 | SMT Backend: model Invalid and Division by Zero with DefRandom nodes (#2104) | Kevin Laeufer | |
| This finally removes all randomization code from the transition system conversion and into a separate pass using DefRandom nodes. | |||
