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

Jump to bottom

Update fold #64

Open
wants to merge 7 commits into
base: main
Choose a base branch
from
Open

Update fold #64

wants to merge 7 commits into from

Commits on Oct 14, 2024

  1. add FoldIn trait w/ auto trait P: FoldInAllowed as bound

    @corinnt
    corinnt committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    5439b29 View commit details
    Browse the repository at this point in the history

  2. pub trait FoldIn

    @corinnt
    corinnt committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    25e5277 View commit details
    Browse the repository at this point in the history

  3. derive macro for NoFoldIn

    @corinnt
    corinnt committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    9c4b814 View commit details
    Browse the repository at this point in the history

  4. websubmit api calls updated, but won't compile bc of issue w/ AnyPoli… 

    …cy not autoimpl'ing FoldInAllowed
    @corinnt
    corinnt committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    45dcdfe View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. manually impl FoldInAllowed for RefPolicy and AnyPolicy - still need … 

    …fix to prevent laundering NoFoldIn
    @corinnt
    corinnt committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    5e2bd50 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. NoFoldIn works for all but AnyPolicy - never allows

    @corinnt
    corinnt committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    18103b6 View commit details
    Browse the repository at this point in the history

  2. Fixes for FoldIn 

    * Remove FoldIn trait and replace it with direct impl over BBox
* Get RuntimeFoldIn to work with the type erased dyn obj in AnyPolicy
* Improve specialization bounds of RuntimeFoldIn so that we can override it for AnyPolicy, RefPolicy, AndPolicy, OrPolicy, TestPolicy, and OptionPolicy
* split foldin code into several files
* use static_asserts to make the previously commented out compile-time deny tests functional
    @KinanBab
    KinanBab committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    0ee7175 View commit details
    Browse the repository at this point in the history