| OMC Commits | 1 |
| Libraries Changed | 0 |
| Number of Improvements | 3 |
| Number of Regressions | 2 |
| Number of Performance Improvements | 1 |
| Number of Performance Regressions | 0 |
| Commit | Author | Summary |
|---|---|---|
| 7d7725862 | Mahder Gebremedhin | Fix solvability detection for if expressions. (#755) |
| Library | Change |
|---|