Skip to content

feat: add DDM syntax for nondet conditions and fresh boolean in PE

ce48254
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

[Strata] Better isolation of non-determinism in Core #617

feat: add DDM syntax for nondet conditions and fresh boolean in PE
ce48254
Select commit
Loading
Failed to load commit list.

Annotations

2 warnings
Analyze (c-cpp)
succeeded Mar 19, 2026 in 56s