BUG: can't call getVal from GenExpr#1148
Merged
Joao-Dionisio merged 44 commits intoscipopt:masterfrom Jan 21, 2026
Merged
Commits
Commits on Jan 7, 2026
Commits on Jan 8, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 9, 2026
Commits on Jan 14, 2026
Commits on Jan 19, 2026
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 21, 2026
- authored
- andauthored
- committed
- committed
- committed
- committed
- committed
- andauthored
- committed
- committed
- authored
