Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: scipopt/soplex
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: scipopt/soplex
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: bugfix-80
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 4 commits
  • 3 files changed
  • 3 contributors

Commits on Dec 10, 2025

  1. move handling of GMP=auto and MPFR=auto further down 

    - in particular, move it behind the include's of make/local/*, since they
  may set BOOST, GMP, or MPFR
    @svigerske
    svigerske committed Dec 10, 2025
    Configuration menu
    Copy the full SHA
    b2c1805 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'makefile-move-GMP-MPFR-auto' into 'bugfix-80' 

    move handling of GMP=auto and MPFR=auto further down

See merge request integer/soplex!528
    @svigerske
    svigerske committed Dec 10, 2025
    Configuration menu
    Copy the full SHA
    2d65313 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2025

  1. Fix Boost version

    @DominikKamp @svigerske
    DominikKamp authored and svigerske committed Dec 19, 2025
    Configuration menu
    Copy the full SHA
    36aac9c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'fix-boost-version' into 'bugfix-80' 

    Fix Boost version

See merge request integer/soplex!529
    @svigerske
    svigerske committed Dec 19, 2025
    Configuration menu
    Copy the full SHA
    dc34780 View commit details
    Browse the repository at this point in the history
Loading