| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-12-21 | smt: deal correctly with negative SInt literals (#2447) | Kevin Laeufer |
| 2021-11-10 | smt: fix handling of div primitive in formal backend (#2409) | Kevin Laeufer |
| 2021-09-08 | smt: refactor SMT expression library (#2347) | Kevin Laeufer |
| 2021-08-02 | add emitter for optimized low firrtl (#2304) | Kevin Laeufer |
| 2021-04-11 | smt: use existing bitWidth API (#2175) | edwardcwang |
| 2021-03-09 | SMT Backend: model Invalid and Division by Zero with DefRandom nodes (#2104) | 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-15 | experimental SMTLib and btor2 emitter (#1826) | Kevin Laeufer |
 |
index : sfcX | |
| Scala FIRRTL Compiler for chiselX |
| aboutsummaryrefslogtreecommitdiff |