Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cherry-pick PRs for release 4.1.x #441

Merged
merged 9 commits into from
Sep 26, 2024
Merged

Cherry-pick PRs for release 4.1.x #441

merged 9 commits into from
Sep 26, 2024

Commits on Sep 5, 2024

  1. proofs of equivalence for propositional and boolean formulations for … 

    …entity and request validation (#414)

Co-authored-by: Shah <[email protected]>
Co-authored-by: bhakti shah <[email protected]>
Co-authored-by: Bhakti Shah <[email protected]>
Co-authored-by: Bhakti Shah <[email protected]>
Co-authored-by: Kesha Hietala <[email protected]>
    @bhaktishh @khieta
    6 people authored Sep 5, 2024
    Configuration menu
    Copy the full SHA
    0546900 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. update doc-gen4 version (#430)

    @khieta
    khieta authored Sep 9, 2024
    Configuration menu
    Copy the full SHA
    3b4e24f View commit details
    Browse the repository at this point in the history

  2. permissive validation soundness (too), permissive more expressive tha… 

    …n strict (#431)

Signed-off-by: Mike Hicks <[email protected]>
    @mwhicks1
    mwhicks1 authored Sep 9, 2024
    Configuration menu
    Copy the full SHA
    589e661 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2024

  1. bump smol_str version to 0.3 (#434) 

    Signed-off-by: Shaobo He <[email protected]>
    @shaobo-he-aws
    shaobo-he-aws authored Sep 12, 2024
    Configuration menu
    Copy the full SHA
    9755ba3 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. Update for cedar#1202 (revert #420) (#435) 

    Signed-off-by: Craig Disselkoen <[email protected]>
    @cdisselkoen
    cdisselkoen authored Sep 13, 2024
    Configuration menu
    Copy the full SHA
    2d1f496 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. update for cedar#1204 (#436) 

    Signed-off-by: Craig Disselkoen <[email protected]>
    @cdisselkoen
    cdisselkoen authored Sep 16, 2024
    Configuration menu
    Copy the full SHA
    2a5455e View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2024

  1. update for cedar#1213 (#438) 

    Signed-off-by: Craig Disselkoen <[email protected]>
    @cdisselkoen
    cdisselkoen authored Sep 20, 2024
    Configuration menu
    Copy the full SHA
    59a5ede View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Fix slow units in convert-policy-json-to-cedar (#419) 

    Signed-off-by: Shaobo He <[email protected]>
    @shaobo-he-aws
    shaobo-he-aws authored Sep 23, 2024
    Configuration menu
    Copy the full SHA
    db4dc19 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. Entity tags (#439) 

    Signed-off-by: Emina Torlak <[email protected]>
Co-authored-by: Emina Torlak <[email protected]>
    @emina
    emina and Emina Torlak authored Sep 25, 2024
    Configuration menu
    Copy the full SHA
    2e0d9eb View commit details
    Browse the repository at this point in the history