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

Fix crash when minimizing inputs during optimization tests #837

Merged
merged 7 commits into from
Dec 13, 2022
Merged

Fix crash when minimizing inputs during optimization tests #837

merged 7 commits into from
Dec 13, 2022

Commits on Oct 7, 2022

  1. fix crash when minimizing inputs during optimization tests

    @ggrieco-tob
    ggrieco-tob committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    4777031 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2022

  1. Merge branch 'master' into fix-opt-minimization-crash

    @ggrieco-tob
    ggrieco-tob committed Dec 12, 2022
    Configuration menu
    Copy the full SHA
    b1f7f36 View commit details
    Browse the repository at this point in the history

  2. better reporting of optimization properties

    @ggrieco-tob
    ggrieco-tob committed Dec 12, 2022
    Configuration menu
    Copy the full SHA
    aed9a41 View commit details
    Browse the repository at this point in the history

  3. solve conflicts

    @ggrieco-tob
    ggrieco-tob committed Dec 12, 2022
    Configuration menu
    Copy the full SHA
    0a89f3c View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin' into fix-opt-minimization-crash

    @ggrieco-tob
    ggrieco-tob committed Dec 12, 2022
    Configuration menu
    Copy the full SHA
    f9278f6 View commit details
    Browse the repository at this point in the history

  5. hlint fix

    @ggrieco-tob
    ggrieco-tob committed Dec 12, 2022
    Configuration menu
    Copy the full SHA
    f3a3298 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2022

  1. correctly show list of transactions in optimization mode

    @ggrieco-tob
    ggrieco-tob committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    af842c6 View commit details
    Browse the repository at this point in the history