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

[new] Infer extension requirements #330

Merged
merged 85 commits into from
Aug 25, 2023
Merged

[new] Infer extension requirements #330

merged 85 commits into from
Aug 25, 2023

Commits on Aug 16, 2023

  1. [broken] Add unification module

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    dbac242 View commit details
    Browse the repository at this point in the history

  2. [broken] towards compiling unification

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    02af3dd View commit details
    Browse the repository at this point in the history

  3. [cosmetic] Renumber variables in unification test

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    edc304e View commit details
    Browse the repository at this point in the history

  4. [doc] Add a couple of comments

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    664d318 View commit details
    Browse the repository at this point in the history

  5. [fix] Give variables unique names

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    689cb85 View commit details
    Browse the repository at this point in the history

  6. [new] Flesh out unification implementation

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    11517f3 View commit details
    Browse the repository at this point in the history

  7. [new] Repeat unification until we stop making progress

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    3fde309 View commit details
    Browse the repository at this point in the history

  8. [cosmetic] cargo fmt

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    07fd0a1 View commit details
    Browse the repository at this point in the history

  9. [cleanup] Remove hugr param from UnificationContext

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    649b405 View commit details
    Browse the repository at this point in the history

  10. [refactor] Clippy

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    e919030 View commit details
    Browse the repository at this point in the history

  11. [cleanup] Remove unused error

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    2b67370 View commit details
    Browse the repository at this point in the history

  12. [doc] Add a couple more comments

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    685a802 View commit details
    Browse the repository at this point in the history

  13. [new] Add method for getting I/O nodes from a HugrView

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    a25b32a View commit details
    Browse the repository at this point in the history

  14. [new] Add resource inference as a hugr method & builder step

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    98dd7a0 View commit details
    Browse the repository at this point in the history

  15. [doc] Add a couple of comments

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    638bc36 View commit details
    Browse the repository at this point in the history

  16. [refactor] Make gen_union_constraints it's own function

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    8547391 View commit details
    Browse the repository at this point in the history

  17. [new] I/O Constraints

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    0c39a2d View commit details
    Browse the repository at this point in the history

  18. [fix] Check if metas have been shunted before using them

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    d3c9cdf View commit details
    Browse the repository at this point in the history

  19. [refactor] Make result gathering its own function

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    f90c710 View commit details
    Browse the repository at this point in the history

  20. [cosmetic] Cargo fmt

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    8c239af View commit details
    Browse the repository at this point in the history

  21. [fix] I/O constraints should be generated first

    @croyzor
    croyzor committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    ae707a4 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2023

  1. [refactor] Count names seperately from constraints

    @croyzor
    croyzor committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    fa629f8 View commit details
    Browse the repository at this point in the history

  2. [new] The rest of the owl

    @croyzor
    croyzor committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    75ad62b View commit details
    Browse the repository at this point in the history

  3. [doc] Documentation; privatisation

    @croyzor
    croyzor committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    88d0882 View commit details
    Browse the repository at this point in the history

  4. [cleanup] Cleanup and compile

    @croyzor
    croyzor committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    78bf7d2 View commit details
    Browse the repository at this point in the history

  5. [tests] Remove failing "reverse" test for now

    @croyzor
    croyzor committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    599c563 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2023

  1. [tests] Update validation tests

    @croyzor
    croyzor committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    6bd9ec1 View commit details
    Browse the repository at this point in the history

  2. [tests] Weaken constraints of missing_lift_node

    @croyzor
    croyzor committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    fa729ca View commit details
    Browse the repository at this point in the history

  3. [tests] Name dangling_src test

    @croyzor
    croyzor committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    6190ad4 View commit details
    Browse the repository at this point in the history

  4. [fix] Handle new metas created by coalesce

    @croyzor
    croyzor committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    50ea46c View commit details
    Browse the repository at this point in the history

  5. [fix] Only add equality constraints for edges with *dataflow*

    @croyzor
    croyzor committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    53e6f70 View commit details
    Browse the repository at this point in the history

  6. [refactor] Don't bother validating in builder

    @croyzor
    croyzor committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    98af2d5 View commit details
    Browse the repository at this point in the history

  7. [cleanup] Debugging

    @croyzor
    croyzor committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    38f5e44 View commit details
    Browse the repository at this point in the history

  8. [new] Return ResourceError when possible

    @croyzor
    croyzor committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    aa6b74a View commit details
    Browse the repository at this point in the history

  9. [cleanup] Cargo fmt, remove comment

    @croyzor
    croyzor committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    f380c02 View commit details
    Browse the repository at this point in the history

  10. [tests] Do the harder from_graph case

    @croyzor
    croyzor committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    fe76fcc View commit details
    Browse the repository at this point in the history

  11. [cleanup] Fix imports

    @croyzor
    croyzor committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    01c25d9 View commit details
    Browse the repository at this point in the history

  12. [cleanup] Unused variables and stuff

    @croyzor
    croyzor committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    7005b29 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2023

  1. [fix] Skip using ModuleBuilder in lift_node

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    3361285 View commit details
    Browse the repository at this point in the history

  2. [cleanup] Remove Exactly constraint

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    6a0183f View commit details
    Browse the repository at this point in the history

  3. [doc] Add missing docstrings

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    8713250 View commit details
    Browse the repository at this point in the history

  4. [cosmetic] Clippy suggestions

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    8859b55 View commit details
    Browse the repository at this point in the history

  5. [cosmetic] Rename module unify -> infer

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    c2b4636 View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin/main' into new/resource-inference

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    148edd3 View commit details
    Browse the repository at this point in the history

  7. [cosmetic] Cargo fmt

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    a3bf5bd View commit details
    Browse the repository at this point in the history

  8. [tests] Remove; Rename; Comment

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    5015657 View commit details
    Browse the repository at this point in the history

  9. [cleanup] Remove Ord impl for Constraint

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    f9e508d View commit details
    Browse the repository at this point in the history

  10. [cleanup] Remove redundant comment

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    29b22c8 View commit details
    Browse the repository at this point in the history

  11. [doc] Update a couple of comments

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    42237b7 View commit details
    Browse the repository at this point in the history

  12. Merge remote-tracking branch 'origin/main' into new/resource-inference

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    3f43d73 View commit details
    Browse the repository at this point in the history

  13. [cleanup] Remove debugging printlns

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    3746de4 View commit details
    Browse the repository at this point in the history

  14. [cosmetic] Rename coalesce -> merge_equal_metas

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    35fe1a3 View commit details
    Browse the repository at this point in the history

  15. [doc] More comments

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    35d9a6b View commit details
    Browse the repository at this point in the history

  16. [cleanup] Remove redundant variable

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    5767300 View commit details
    Browse the repository at this point in the history

  17. assert -> dbg_assert 

    Co-authored-by: Seyon Sivarajah <seyon.sivarajah@quantinuum.com>
    @croyzor @ss2165
    croyzor and ss2165 committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    dad7361 View commit details
    Browse the repository at this point in the history

  18. is_some -> if let 

    Co-authored-by: Seyon Sivarajah <seyon.sivarajah@quantinuum.com>
    @croyzor @ss2165
    croyzor and ss2165 committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    06492f7 View commit details
    Browse the repository at this point in the history

  19. Fix comment grammar 

    Co-authored-by: Seyon Sivarajah <seyon.sivarajah@quantinuum.com>
    @croyzor @ss2165
    croyzor and ss2165 committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    38815c3 View commit details
    Browse the repository at this point in the history

  20. assert -> debug_assert 

    Co-authored-by: Seyon Sivarajah <seyon.sivarajah@quantinuum.com>
    @croyzor @ss2165
    croyzor and ss2165 committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    4116b71 View commit details
    Browse the repository at this point in the history

  21. dbg_assert -> debug_assert

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    ff49e34 View commit details
    Browse the repository at this point in the history

  22. Merge remote-tracking branch 'origin/main' into new/resource-inference

    @croyzor
    croyzor committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    ec00202 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2023

  1. [cleanup] Remove dead code/comments

    @croyzor
    croyzor committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    6f3ff29 View commit details
    Browse the repository at this point in the history

  2. [tests] Check solutions more in tests

    @croyzor
    croyzor committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    df84772 View commit details
    Browse the repository at this point in the history

  3. [refactor] Simplify merge_equal_metas

    @croyzor
    croyzor committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    4789506 View commit details
    Browse the repository at this point in the history

  4. [refactor] Make a dedicated struct for Meta

    @croyzor
    croyzor committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    9f1ce81 View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2023

  1. [refactor] Address review comments

    @croyzor
    croyzor committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    5b51ba1 View commit details
    Browse the repository at this point in the history

  2. [tests] Add test of resolve

    @croyzor
    croyzor committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    90e0d93 View commit details
    Browse the repository at this point in the history

  3. [doc] update comment

    @croyzor
    croyzor committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    ce3c309 View commit details
    Browse the repository at this point in the history

  4. [tests] Only run inference once in dangling_src test

    @croyzor
    croyzor committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    679ba38 View commit details
    Browse the repository at this point in the history

  5. [fix] Be more strict about what variables are

    @croyzor
    croyzor committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    70082c1 View commit details
    Browse the repository at this point in the history

  6. [doc] Comment

    @croyzor
    croyzor committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    4b606f8 View commit details
    Browse the repository at this point in the history

  7. [refactor] Clippy suggestions

    @croyzor
    croyzor committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    d600c94 View commit details
    Browse the repository at this point in the history

  8. Merge remote-tracking branch 'origin/main' into new/resource-inference

    @croyzor
    croyzor committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    90017e1 View commit details
    Browse the repository at this point in the history

  9. [fix] Add deleted line

    @croyzor
    croyzor committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    b046589 View commit details
    Browse the repository at this point in the history

  10. Clippy

    @croyzor
    croyzor committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    90b6961 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2023

  1. feat: Extension validation can take a closure of solutions (#456) 

    Fixes #454.
Return from extension inference an extra solution set, which
instantiates all of the inference variables to the empty set, meaning
metavariables which depend on them can be solved
    @croyzor
    croyzor committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    fe5c9ec View commit details
    Browse the repository at this point in the history

  2. [new] Solve Plus constraints in the other direction

    @croyzor
    croyzor committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    9912edd View commit details
    Browse the repository at this point in the history

  3. [tests] Check solution in from_graph test

    @croyzor
    croyzor committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    f4567f9 View commit details
    Browse the repository at this point in the history

  4. [tests] Delete redundant test

    @croyzor
    croyzor committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    63aa47b View commit details
    Browse the repository at this point in the history

  5. [refactor] Privatise EqGraph

    @croyzor
    croyzor committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    7a5a85d View commit details
    Browse the repository at this point in the history

  6. [doc] Redo module comment

    @croyzor
    croyzor committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    3ddce12 View commit details
    Browse the repository at this point in the history

  7. [refactor] Add new ExtensionError constructors without port info

    @croyzor
    croyzor committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    92ff411 View commit details
    Browse the repository at this point in the history

  8. Remove meta from set of variables after it's been shunted

    @croyzor
    croyzor committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    c43fcfc View commit details
    Browse the repository at this point in the history

  9. [refactor] Remove redundant clone

    @croyzor
    croyzor committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    41b40bc View commit details
    Browse the repository at this point in the history

  10. [refactor] Remove redundant clone

    @croyzor
    croyzor committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    f9d4f88 View commit details
    Browse the repository at this point in the history

  11. Merge remote-tracking branch 'origin/main' into new/resource-inference

    @croyzor
    croyzor committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    18ad400 View commit details
    Browse the repository at this point in the history