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

Cleanup backlog issues #100

Merged
merged 9 commits into from Oct 21, 2020
Merged

Cleanup backlog issues #100

merged 9 commits into from Oct 21, 2020

Commits on Jul 21, 2020

  1. add post solve and originals

    @joaquimg
    joaquimg committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    67fb149 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2020

  1. more fixes

    @joaquimg
    joaquimg committed Oct 21, 2020
    Configuration menu
    Copy the full SHA
    00e0895 View commit details
    Browse the repository at this point in the history

  2. tweak time getter

    @joaquimg
    joaquimg committed Oct 21, 2020
    Configuration menu
    Copy the full SHA
    bcce63a View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into jg/postsolve 

    # Conflicts:
#	src/MOI/MOI_wrapper.jl
    @joaquimg
    joaquimg committed Oct 21, 2020
    Configuration menu
    Copy the full SHA
    4163ae7 View commit details
    Browse the repository at this point in the history

  4. convert to integer

    @joaquimg
    joaquimg committed Oct 21, 2020
    Configuration menu
    Copy the full SHA
    2008da9 View commit details
    Browse the repository at this point in the history

  5. add test

    @joaquimg
    joaquimg committed Oct 21, 2020
    Configuration menu
    Copy the full SHA
    237f7bc View commit details
    Browse the repository at this point in the history

  6. update low level interface

    @joaquimg
    joaquimg committed Oct 21, 2020
    Configuration menu
    Copy the full SHA
    f050642 View commit details
    Browse the repository at this point in the history

  7. fix finalizer

    @joaquimg
    joaquimg committed Oct 21, 2020
    Configuration menu
    Copy the full SHA
    93d3ece View commit details
    Browse the repository at this point in the history

  8. comment atexit

    @joaquimg
    joaquimg committed Oct 21, 2020
    Configuration menu
    Copy the full SHA
    2db9101 View commit details
    Browse the repository at this point in the history