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!: Infer extension deltas for Case, Cfg, Conditional, DataflowBlock, Dfg, TailLoop #1195

Merged
merged 13 commits into from
Jun 24, 2024
Merged

feat!: Infer extension deltas for Case, Cfg, Conditional, DataflowBlock, Dfg, TailLoop #1195

merged 13 commits into from
Jun 24, 2024

Commits on Jun 12, 2024

  1. BREAKING: Move ExtensionError into hugr-core/src/hugr/

    @acl-cqc
    acl-cqc committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    03522c1 View commit details
    Browse the repository at this point in the history

  2. Add ExtensionSet::TO_BE_INFERRED, and check it's gone in validation

    @acl-cqc
    acl-cqc committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    d134f88 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2024

  1. Inference algorithm

    @acl-cqc
    acl-cqc committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    e835f56 View commit details
    Browse the repository at this point in the history

  2. If inferring, never remove

    @acl-cqc
    acl-cqc committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    d63931d View commit details
    Browse the repository at this point in the history

  3. Move TO_BE_INFERRED out of ExtensionSet into top-level of extension.rs

    @acl-cqc
    acl-cqc committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    cd45bc9 View commit details
    Browse the repository at this point in the history

  4. inference tests

    @acl-cqc
    acl-cqc committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    f3a05c4 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. Make TO_BE_INFERRED an illegal ExtensionId

    @acl-cqc
    acl-cqc committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    bf61478 View commit details
    Browse the repository at this point in the history

  2. Comment and message for ExtensionsNotInferred

    @acl-cqc
    acl-cqc committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    25027f5 View commit details
    Browse the repository at this point in the history

  3. doc for infer_extensions, moving list of op types

    @acl-cqc
    acl-cqc committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    0e90ed6 View commit details
    Browse the repository at this point in the history

  4. rename build_ext_(c=>d)fg

    @acl-cqc
    acl-cqc committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    d36e34f View commit details
    Browse the repository at this point in the history

  5. infer_three_generations: comment each case, and reorder

    @acl-cqc
    acl-cqc committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    cd96d78 View commit details
    Browse the repository at this point in the history

  6. infer_three_generations: Check expected Hugr by backing up and mutating

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

  7. Comment typo

    @acl-cqc
    acl-cqc committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    4c5bf9c View commit details
    Browse the repository at this point in the history