Refactor/monotonicity module - #976

Open

sjunges wants to merge 10 commits into

stormchecker:masterfrom

sjunges:refactor/monotonicity-module

Commits on Aug 3, 2026

cleanup in state elimination
sjunges
committed
0370729
format
sjunges
committed
73496db
update
sjunges
committed
f7aa0df

Commits on Aug 4, 2026

monotonicity revamped
sjunges
committed
9658c52
Merge branch 'master' into refactor/monotonicity-module
sjunges
committed
8d4b54e
format
sjunges
committed
6385b40
missing files and style fix
sjunges
committed
9511993

Commits on Aug 5, 2026

cut some crap
sjunges
committed
1d39a73

Commits on Aug 8, 2026