Make partial evaluation more aggressive

shaobo-he-aws commented 3 months ago

Specifically, it now evluates <expr> [and|or] <expr> to <residual> [and|or] [<residual>|<expr>] instead of <residual> [and|or] <expr>, provided that LHS evaluates to a residual.

Description of changes

Issue #, if available

Checklist for requesting a review

The change in this PR is (choose one, and delete the other options):

[x] A change (breaking or otherwise) that only impacts unreleased or experimental code.

I confirm that this PR (choose one, and delete the other options):

[x] Updates the "Unreleased" section of the CHANGELOG with a description of my change (required for major/minor version bumps).

I confirm that cedar-spec (choose one, and delete the other options):

[x] Does not require updates because my change does not impact the Cedar formal model or DRT infrastructure.

cdisselkoen commented 3 months ago

This PR will need corresponding Lean updates once cedar-policy/cedar-spec#402 is merged.

shaobo-he-aws commented 3 months ago

Closed for now. Will reopen when Lean model is ready.

cedar-policy / cedar