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.

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

Fixes when neither LEDA nor GMP is available #7960

Merged
merged 18 commits into from
Jan 19, 2024

Commits on Jan 3, 2024

  1. Configuration menu
    Copy the full SHA
    00219bc View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    40e624c View commit details
    Browse the repository at this point in the history
  3. fix dependencies

    sloriot committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    4f9791a View commit details
    Browse the repository at this point in the history
  4. encode LEDA/Core dependency

    sloriot committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    82fbb89 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    3a8ced2 View commit details
    Browse the repository at this point in the history
  6. use exact integer

    sloriot committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    6decd7a View commit details
    Browse the repository at this point in the history
  7. add missing includes

    sloriot committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    ed3539f View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    1b0447e View commit details
    Browse the repository at this point in the history
  9. encode CORE/LEDA dependency

    sloriot committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    a10f794 View commit details
    Browse the repository at this point in the history
  10. test requires Core or Leda

    sloriot committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    8c17676 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    dcc3617 View commit details
    Browse the repository at this point in the history
  12. typos

    sloriot committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    ded0e2b View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2024

  1. Configuration menu
    Copy the full SHA
    d8ee730 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1d7cd99 View commit details
    Browse the repository at this point in the history
  3. hide non used header

    sloriot committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    7139a34 View commit details
    Browse the repository at this point in the history
  4. conditional compilation

    sloriot committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    b59250b View commit details
    Browse the repository at this point in the history
  5. please CI

    sloriot committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    336a8f3 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2024

  1. make it cleaner

    sloriot committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    fbd15aa View commit details
    Browse the repository at this point in the history