Skip to content

Infeasibility diagnosis (IIS) support - #3

Merged
fhamonic merged 27 commits into
fhamonic:mainfrom
mheyman:astra/iis-support
Sep 28, 2026
Merged

Infeasibility diagnosis (IIS) support#3
fhamonic merged 27 commits into
fhamonic:mainfrom
mheyman:astra/iis-support

docs(iis): record the simplification review of 2026-09-28

bbdd7a8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
linux-gcc15-sanitize
succeeded Sep 28, 2026 in 16m 32s