Skip to content

Set known-folded permission mask to empty if an unfold statement unfolds all permissions of a predicate#571

Draft
Dev-XYS wants to merge 2 commits into
masterfrom
yxiao_unfold_knownfolded_update
Draft

Set known-folded permission mask to empty if an unfold statement unfolds all permissions of a predicate#571
Dev-XYS wants to merge 2 commits into
masterfrom
yxiao_unfold_knownfolded_update

change to an alternative (simplified) encoding (known-folded mask upd…

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

Annotations

1 error

The logs for this run have expired and are no longer available.