Skip to content

#10: ADL — conditional effects, quantifiers, full precondition trees#115

Merged
hfoffani merged 2 commits into
mainfrom
adl-10
Jul 13, 2026
Merged

#10: ADL — conditional effects, quantifiers, full precondition trees#115
hfoffani merged 2 commits into
mainfrom
adl-10

Merge main (temporal #84, e2e harness #106) into adl-10

023b493
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test
succeeded Jul 13, 2026 in 41s