Skip to content

Do not confirm witness invariants that evaluate to bottom in live states - #2267

Open
jerhard wants to merge 4 commits into
masterfrom
witness-validate-bottom-unconfirmed
Open

Do not confirm witness invariants that evaluate to bottom in live states#2267
jerhard wants to merge 4 commits into
masterfrom
witness-validate-bottom-unconfirmed

Use own metadata in witness of 56-witness/81

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

Annotations

1 notice
validate-conf (14)
succeeded Oct 23, 2026 in 12s