| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-03-04 | SMT Backend: move undefined memory behavior modelling to firrtl IR level (#2095) | Kevin Laeufer | |
| With this PR the smt backend now supports memories with more than two write ports and the conservative memory modelling can be selectively turned off with a new annotation. | |||
