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

Bugfix for optimal objective value #364

Merged
merged 5 commits into from
Dec 4, 2023
Merged

Bugfix for optimal objective value #364

merged 5 commits into from
Dec 4, 2023

Commits on Nov 14, 2023

  1. set objectives.value to fStar

    @ewu63
    ewu63 committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    3d104f7 View commit details
    Browse the repository at this point in the history

  2. add test

    @ewu63
    ewu63 committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    3158944 View commit details
    Browse the repository at this point in the history

  3. Update testing_utils.py

    @ewu63
    ewu63 authored Nov 14, 2023
    Configuration menu
    Copy the full SHA
    a8b9ce1 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2023

  1. Merge branch 'main' into bugfix/fix-obj-value

    @ewu63
    ewu63 authored Nov 20, 2023
    Configuration menu
    Copy the full SHA
    b4cbc25 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. addressed comment

    @ewu63
    ewu63 committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    3355ba0 View commit details
    Browse the repository at this point in the history