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.

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

Priority ordering proxy #355

Closed
wants to merge 56 commits into from
Closed

Priority ordering proxy #355

wants to merge 56 commits into from

Commits on Apr 26, 2023

  1. Transaction core refactor

    tilk committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    35228c7 View commit details
    Browse the repository at this point in the history
  2. Fix lint

    tilk committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    8bede59 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    bac042b View commit details
    Browse the repository at this point in the history

Commits on May 5, 2023

  1. Configuration menu
    Copy the full SHA
    10c2f4c View commit details
    Browse the repository at this point in the history
  2. WiP

    tilk committed May 5, 2023
    Configuration menu
    Copy the full SHA
    b9d743a View commit details
    Browse the repository at this point in the history

Commits on May 6, 2023

  1. Configuration menu
    Copy the full SHA
    d8d740b View commit details
    Browse the repository at this point in the history
  2. Fix

    tilk committed May 6, 2023
    Configuration menu
    Copy the full SHA
    1fa0781 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    030d342 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    4502bad View commit details
    Browse the repository at this point in the history

Commits on May 8, 2023

  1. Fix transitivity computation

    tilk committed May 8, 2023
    Configuration menu
    Copy the full SHA
    17786a3 View commit details
    Browse the repository at this point in the history
  2. Fix lint, naming adapters

    tilk committed May 8, 2023
    Configuration menu
    Copy the full SHA
    cf186c4 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    35e430b View commit details
    Browse the repository at this point in the history
  4. Remove debug-print

    tilk committed May 8, 2023
    Configuration menu
    Copy the full SHA
    21a187b View commit details
    Browse the repository at this point in the history

Commits on May 9, 2023

  1. Configuration menu
    Copy the full SHA
    edda1c6 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2023

  1. Configuration menu
    Copy the full SHA
    c4f9d3e View commit details
    Browse the repository at this point in the history
  2. Fix method_uses

    tilk committed May 11, 2023
    Configuration menu
    Copy the full SHA
    798e08e View commit details
    Browse the repository at this point in the history

Commits on May 12, 2023

  1. Slight refactor

    tilk committed May 12, 2023
    Configuration menu
    Copy the full SHA
    91fce12 View commit details
    Browse the repository at this point in the history
  2. Multi-modules

    tilk committed May 12, 2023
    Configuration menu
    Copy the full SHA
    b6e5aaa View commit details
    Browse the repository at this point in the history
  3. Make tests pass

    tilk committed May 12, 2023
    Configuration menu
    Copy the full SHA
    d344a5c View commit details
    Browse the repository at this point in the history

Commits on May 14, 2023

  1. Fix typing

    tilk committed May 14, 2023
    Configuration menu
    Copy the full SHA
    a1e9ad7 View commit details
    Browse the repository at this point in the history
  2. Renaming

    tilk committed May 14, 2023
    Configuration menu
    Copy the full SHA
    fd44d6e View commit details
    Browse the repository at this point in the history

Commits on May 15, 2023

  1. Update documentation

    tilk committed May 15, 2023
    Configuration menu
    Copy the full SHA
    f2ad6c0 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    89693e2 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

  1. Configuration menu
    Copy the full SHA
    38d16a8 View commit details
    Browse the repository at this point in the history
  2. Post-merge cleanup

    tilk committed May 16, 2023
    Configuration menu
    Copy the full SHA
    d95bd1c View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    86eb17a View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    c7a1154 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2023

  1. Extend __all__

    tilk committed May 17, 2023
    Configuration menu
    Copy the full SHA
    095afaa View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    bb0fadf View commit details
    Browse the repository at this point in the history
  3. Work in progress

    tilk committed May 17, 2023
    Configuration menu
    Copy the full SHA
    5e1b0a1 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    7502b77 View commit details
    Browse the repository at this point in the history
  5. Simpler simultaneity model

    tilk committed May 17, 2023
    Configuration menu
    Copy the full SHA
    f504c2a View commit details
    Browse the repository at this point in the history
  6. Add docstrings to Connect

    tilk committed May 17, 2023
    Configuration menu
    Copy the full SHA
    80a2430 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    a73152f View commit details
    Browse the repository at this point in the history

Commits on May 18, 2023

  1. Fix

    tilk committed May 18, 2023
    Configuration menu
    Copy the full SHA
    0f0ff65 View commit details
    Browse the repository at this point in the history
  2. Experiment

    tilk committed May 18, 2023
    Configuration menu
    Copy the full SHA
    1927c45 View commit details
    Browse the repository at this point in the history
  3. Optimize method argument passing

    tilk committed May 18, 2023
    Configuration menu
    Copy the full SHA
    05bc76f View commit details
    Browse the repository at this point in the history
  4. Don't use enables for args

    tilk committed May 18, 2023
    Configuration menu
    Copy the full SHA
    08f9c95 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    ba7b48a View commit details
    Browse the repository at this point in the history
  6. Try to reduce size

    tilk committed May 18, 2023
    Configuration menu
    Copy the full SHA
    624ae9b View commit details
    Browse the repository at this point in the history
  7. Fix lint

    tilk committed May 18, 2023
    Configuration menu
    Copy the full SHA
    086006b View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    b11093f View commit details
    Browse the repository at this point in the history
  9. Fix lint

    tilk committed May 18, 2023
    Configuration menu
    Copy the full SHA
    eead61e View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    f1548a8 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    704d7c2 View commit details
    Browse the repository at this point in the history
  12. Extend condition test

    tilk committed May 18, 2023
    Configuration menu
    Copy the full SHA
    1a7c60b View commit details
    Browse the repository at this point in the history
  13. Document and clarify condition

    tilk committed May 18, 2023
    Configuration menu
    Copy the full SHA
    d0612f6 View commit details
    Browse the repository at this point in the history
  14. Add docstrings

    tilk committed May 18, 2023
    Configuration menu
    Copy the full SHA
    2bc2d3d View commit details
    Browse the repository at this point in the history
  15. Fix lint

    tilk committed May 18, 2023
    Configuration menu
    Copy the full SHA
    7a64c78 View commit details
    Browse the repository at this point in the history

Commits on May 21, 2023

  1. Readability fix

    tilk committed May 21, 2023
    Configuration menu
    Copy the full SHA
    d188bcc View commit details
    Browse the repository at this point in the history
  2. Add priority proxy

    Lekcyjna committed May 21, 2023
    Configuration menu
    Copy the full SHA
    6486507 View commit details
    Browse the repository at this point in the history
  3. Update docstrings

    Lekcyjna committed May 21, 2023
    Configuration menu
    Copy the full SHA
    e0edcd1 View commit details
    Browse the repository at this point in the history
  4. Extend test

    Lekcyjna committed May 21, 2023
    Configuration menu
    Copy the full SHA
    459e515 View commit details
    Browse the repository at this point in the history
  5. Update doc string

    Lekcyjna committed May 21, 2023
    Configuration menu
    Copy the full SHA
    256eeb0 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2023

  1. Fix comments from review

    Lekcyjna committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    a0579b2 View commit details
    Browse the repository at this point in the history
  2. Typos

    Lekcyjna committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    6cf2945 View commit details
    Browse the repository at this point in the history