| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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. | |||
