Skip to content

docs(D-DT64-6): implementation plan for the OGIT predicate expansion - #1832

Merged
AdaWorldAPI merged 6 commits into
mainfrom
ccr-39105428-bcm2m2
Oct 28, 2026
Merged

docs(D-DT64-6): implementation plan for the OGIT predicate expansion#1832
AdaWorldAPI merged 6 commits into
mainfrom
ccr-39105428-bcm2m2

docs(d-dt64-6): second-parser precondition, checkout-wide resolution,…

326f0a4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar