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

Portmatching in TKET2 #47

Merged
merged 23 commits into from
Jul 31, 2023
Merged

Portmatching in TKET2 #47

merged 23 commits into from
Jul 31, 2023

Commits on Jul 25, 2023

  1. Add portmatching feature

    @lmondada
    lmondada committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    fb54212 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. Add pattern and matcher

    @lmondada
    lmondada committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    a5d411c View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2023

  1. Python bindings

    @lmondada
    lmondada committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    0f1c6a4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/portmatching 

    # Conflicts:
#	pyrs/src/lib.rs
    @lmondada
    lmondada committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    ae942d9 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2023

  1. Update portgraph

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    e2a3d41 View commit details
    Browse the repository at this point in the history

  2. Add python tests + CI

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    8493958 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into feature/portmatching

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    a6ec189 View commit details
    Browse the repository at this point in the history

  4. Clean up merge

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    e6c886d View commit details
    Browse the repository at this point in the history

  5. Clean up merge (2)

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    b7e5a80 View commit details
    Browse the repository at this point in the history

  6. Clean up merge (2)

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    fbb2f6e View commit details
    Browse the repository at this point in the history

  7. Fix test

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    8105250 View commit details
    Browse the repository at this point in the history

  8. Fix CI

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    00e79f2 View commit details
    Browse the repository at this point in the history

  9. Update portmatching

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    21bc785 View commit details
    Browse the repository at this point in the history

  10. Fix CI

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    2165abc View commit details
    Browse the repository at this point in the history

  11. Do not use maturin develop in CI

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    a2965a6 View commit details
    Browse the repository at this point in the history

  12. Update src/portmatching.rs 

    Co-authored-by: Agustín Borgna <121866228+aborgna-q@users.noreply.github.com>
    @lmondada @aborgna-q
    lmondada and aborgna-q authored Jul 31, 2023
    Configuration menu
    Copy the full SHA
    ed51290 View commit details
    Browse the repository at this point in the history

  13. Update src/portmatching/matcher.rs 

    Co-authored-by: Agustín Borgna <121866228+aborgna-q@users.noreply.github.com>
    @lmondada @aborgna-q
    lmondada and aborgna-q authored Jul 31, 2023
    Configuration menu
    Copy the full SHA
    ac065e1 View commit details
    Browse the repository at this point in the history

  14. Address comments

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    357a0a8 View commit details
    Browse the repository at this point in the history

  15. Update src/portmatching/pyo3.rs 

    Co-authored-by: Agustín Borgna <121866228+aborgna-q@users.noreply.github.com>
    @lmondada @aborgna-q
    lmondada and aborgna-q authored Jul 31, 2023
    Configuration menu
    Copy the full SHA
    59eec4f View commit details
    Browse the repository at this point in the history

  16. Change ind -> name

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    4efc5d7 View commit details
    Browse the repository at this point in the history

  17. Fix hashing

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    cc90252 View commit details
    Browse the repository at this point in the history

  18. Fix hashing!

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    9ab7dfa View commit details
    Browse the repository at this point in the history

  19. Update readme

    @lmondada
    lmondada committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    137c690 View commit details
    Browse the repository at this point in the history