Skip to content

plan(D-DRDT-SPLIT-1): a refusal means "not witnessed for this version" (EXO-256) - #2026

Merged
AdaWorldAPI merged 1 commit into
mainfrom
ccr-ca0562e7-hudvlz-witness-semantics
Nov 11, 2026
Merged

plan(D-DRDT-SPLIT-1): a refusal means "not witnessed for this version" (EXO-256)#2026
AdaWorldAPI merged 1 commit into
mainfrom
ccr-ca0562e7-hudvlz-witness-semantics

plan(D-DRDT-SPLIT-1 §1): a refusal means not witnessed for this versi…

c2cf61b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar