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

Make HugrMut a trait #132

Merged
merged 11 commits into from
Jun 9, 2023
Merged

Make HugrMut a trait #132

merged 11 commits into from
Jun 9, 2023

Commits on Jun 7, 2023

  1. Make HugrMut a trait. Ouch

    @acl-cqc
    acl-cqc committed Jun 7, 2023
    Configuration menu
    Copy the full SHA
    748a0a4 View commit details
    Browse the repository at this point in the history

  2. Move add_other_edge impl into trait as default

    @acl-cqc
    acl-cqc committed Jun 7, 2023
    Configuration menu
    Copy the full SHA
    6e46bc3 View commit details
    Browse the repository at this point in the history

  3. Make HugrMut pub(crate) not pub

    @acl-cqc
    acl-cqc committed Jun 7, 2023
    Configuration menu
    Copy the full SHA
    1bb79d2 View commit details
    Browse the repository at this point in the history

  4. fix docs

    @acl-cqc
    acl-cqc committed Jun 7, 2023
    Configuration menu
    Copy the full SHA
    2c945ed View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2023

  1. Merge remote-tracking branch 'origin/main' into refactor/trait_hugrmut

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

  2. Move AsRef+AsMut from hugrmut.rs to hugr.rs

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

  3. Remove HugrMut::finish; may only .finish_hugr() when building whole Hugr

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

  4. Rename Container.{base->hugr_mut}()

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

  5. Remove HugrMutRef

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

  6. Remove TODOs

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

  7. Merge remote-tracking branch 'origin/main' into refactor/trait_hugrmut

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