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: cvc5/cvc5
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: ffrohn/cvc5
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 4 commits
  • 2 files changed
  • 2 contributors

Commits on Sep 20, 2023

  1. fpu_control.h is glibc specific, add missing header 

    Currently, CVC5 does not compile with musl-libc, so it does not compile on, e.g., Alpine Linux.
The reason is that musl-libc does not provide the glibc specific header fpu_control.h.
To check whether glibc is available, features.h is required.

Including time.h in safe_print.h is also required for compilation with musl-libc.

Signed-off-by: Florian Frohn <florian.frohn@cs.rwth-aachen.de>
    @ffrohn
    ffrohn committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    4cefc52 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2023

  1. Merge branch 'main' into main

    @aniemetz
    aniemetz authored Sep 25, 2023
    Configuration menu
    Copy the full SHA
    1678b04 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

  1. features.h is not available on Windows 

    Signed-off-by: Florian Frohn <florian.frohn@cs.rwth-aachen.de>
    @ffrohn
    ffrohn committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    a33c47b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into main

    @aniemetz
    aniemetz authored Sep 26, 2023
    Configuration menu
    Copy the full SHA
    f897898 View commit details
    Browse the repository at this point in the history
Loading