Skip to content

Use the current spellings of --user-defined-invariant and --var-omit-pattern - #905

Merged
mernst merged 2 commits into
codespecs:masterfrom
mernst:option-doc-fixes
Oct 11, 2026
Merged

mernst merged 2 commits into
codespecs:masterfrom
mernst:option-doc-fixes

Use --var-omit-pattern in RatPoly Makefile; capture stderr in runclus…

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

Annotations

1 warning and 1 notice
prek
succeeded Oct 11, 2026 in 42s