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

feat: Builder and HugrMut add_op_xxx default to open extensions #622

Merged
merged 13 commits into from
Oct 31, 2023
Merged

feat: Builder and HugrMut add_op_xxx default to open extensions #622

merged 13 commits into from
Oct 31, 2023

Commits on Oct 24, 2023

  1. add_op_with_parent uses open_extensions; some test fixes

    @acl-cqc
    acl-cqc committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    51f3a02 View commit details
    Browse the repository at this point in the history

  2. Use open_extensions in other add_op methods too

    @acl-cqc
    acl-cqc committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    15074dc View commit details
    Browse the repository at this point in the history

  3. Fix simple_alias: define unconstrained Metas as variables

    @acl-cqc
    acl-cqc committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    c92a5e2 View commit details
    Browse the repository at this point in the history

  4. Fix most validate tests by doing update_validate

    @acl-cqc
    acl-cqc committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    584e7f2 View commit details
    Browse the repository at this point in the history

  5. Fix cfg_children_restrictions

    @acl-cqc
    acl-cqc committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    b5c6ffb View commit details
    Browse the repository at this point in the history

  6. Lift m_tgt invariant

    @acl-cqc
    acl-cqc committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    85f2321 View commit details
    Browse the repository at this point in the history

  7. Change some callers of add_node_before to use add_op_before

    @acl-cqc
    acl-cqc committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    46e567c View commit details
    Browse the repository at this point in the history

  8. Remove add_node_before(?!)

    @acl-cqc
    acl-cqc committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    ed4afa1 View commit details
    Browse the repository at this point in the history

  9. No, keep add_node_before, maintain the parallel; remove TODO

    @acl-cqc
    acl-cqc committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    9bb1b49 View commit details
    Browse the repository at this point in the history

  10. Change many add_node+open_extensions to use add_op

    @acl-cqc
    acl-cqc committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    bb79165 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Fix cfg_children_restrictions test in a different way (instantiate_ex… 

    …tensions)
    @acl-cqc
    acl-cqc committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    9234154 View commit details
    Browse the repository at this point in the history

  2. Better fix to gen_constraints. Fix children_restrictions other way to… 

    … cfg_children_restrictions.
    @acl-cqc
    acl-cqc committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    59eb260 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2023

  1. Simpler solution! - add_solution w/ empty ExtensionSet

    @acl-cqc
    acl-cqc committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    dde1ff7 View commit details
    Browse the repository at this point in the history