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

Everything in debug mode with ENABLE_AMICI_DEBUGGING=TRUE #2515

Merged
merged 2 commits into from
Sep 30, 2024
Merged

Everything in debug mode with ENABLE_AMICI_DEBUGGING=TRUE #2515

merged 2 commits into from
Sep 30, 2024

Commits on Sep 28, 2024

  1. Everything in debug mode with ENABLE_AMICI_DEBUGGING=TRUE 

    Also build SUNDIALS and SuiteSparse in debug mode when `ENABLE_AMICI_DEBUGGING=TRUE`.
    @dweindl
    dweindl committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    98488fa View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. Merge branch 'develop' into fix_dbg

    @dweindl
    dweindl authored Sep 30, 2024
    Configuration menu
    Copy the full SHA
    0954030 View commit details
    Browse the repository at this point in the history