Skip to content

O22 counterfactual verdict, R1 pin, ledger correction (CE64 as one wire contract) - #1560

Merged
AdaWorldAPI merged 10 commits into
mainfrom
ccr-b2e415d9-4jfvyk
Oct 15, 2026
Merged

O22 counterfactual verdict, R1 pin, ledger correction (CE64 as one wire contract)#1560
AdaWorldAPI merged 10 commits into
mainfrom
ccr-b2e415d9-4jfvyk

Ledger correction: ablation is defined through the N15 families

be47ce9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar