Skip to content

Simplify witness invariants for bitfield domain#1897

Merged
sim642 merged 8 commits intomasterfrom
witness-invariant-bitfield
Jan 8, 2026
Merged

Simplify witness invariants for bitfield domain#1897
sim642 merged 8 commits intomasterfrom
witness-invariant-bitfield

Commits

Commits on Dec 10, 2025

Commits on Dec 11, 2025

Commits on Jan 5, 2026