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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Maintain sorted operation indexes #438

Merged
merged 21 commits into from
Jul 7, 2023

Commits on Jul 6, 2023

  1. Configuration menu
    Copy the full SHA
    f95ade0 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    726e4df View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    acf4b62 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    5aacdce View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    197cb77 View commit details
    Browse the repository at this point in the history
  6. Remove unused import

    sandreae committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    926f3f6 View commit details
    Browse the repository at this point in the history
  7. Make clippy happy

    sandreae committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    8a7fa0d View commit details
    Browse the repository at this point in the history
  8. Doc strings

    sandreae committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    ac46607 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    0c0ead9 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    ffad6eb View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2023

  1. Make sorted_index an INT

    sandreae committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    b7e31b6 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    a030fc8 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    c17eada View commit details
    Browse the repository at this point in the history
  4. TaskInput is now an enum

    sandreae committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    497dd07 View commit details
    Browse the repository at this point in the history
  5. fmt

    sandreae committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    d955e4e View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    bebc40a View commit details
    Browse the repository at this point in the history
  7. Update doc strings

    sandreae committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    e7e9a01 View commit details
    Browse the repository at this point in the history
  8. Update CHANGELOG

    sandreae committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    57813bd View commit details
    Browse the repository at this point in the history
  9. fmt

    sandreae committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    46101da View commit details
    Browse the repository at this point in the history
  10. Simplify doc-string

    adzialocha committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    2d93eb5 View commit details
    Browse the repository at this point in the history
  11. Update doc-strings

    adzialocha committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    5864c35 View commit details
    Browse the repository at this point in the history