Skip to content

Make AreStatic/AreNotStatic agree with BeStatic/NotBeStatic on unknown state - #485

Merged
alexanderlinne merged 1 commit into
mainfrom
fix-static-predicates-unknown-state
Aug 28, 2026
Merged

Make AreStatic/AreNotStatic agree with BeStatic/NotBeStatic on unknown state#485
alexanderlinne merged 1 commit into
mainfrom
fix-static-predicates-unknown-state

fix: make AreStatic/AreNotStatic agree with BeStatic/NotBeStatic on u…

a110765
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Aug 28, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO