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

👷 Z3 setup action #58

Merged
merged 7 commits into from
Sep 28, 2022
Merged

👷 Z3 setup action #58

merged 7 commits into from
Sep 28, 2022

Commits on Sep 14, 2022

  1. 👷 enable Coverage workflow on PRs only

    @marcelwa
    marcelwa committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    c24e476 View commit details
    Browse the repository at this point in the history

  2. 👷 Switch to cda-tum/setup-z3 for setting up the Z3 solver

    @marcelwa
    marcelwa committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    68e994f View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2022

  1. 💚 Added FindZ3.cmake in order to detect a Z3 installation

    @marcelwa
    marcelwa committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    12417fc View commit details
    Browse the repository at this point in the history

  2. 💚 Adjusted CMakeLists to make use of the newly added FindZ3.cmake

    @marcelwa
    marcelwa committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    5a4bcb9 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into z3-setup-action

    @marcelwa
    marcelwa authored Sep 28, 2022
    Configuration menu
    Copy the full SHA
    cfa8c3a View commit details
    Browse the repository at this point in the history

  4. 🔥 Removed unused dependencies from the Dockerfile

    @marcelwa
    marcelwa committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    b007643 View commit details
    Browse the repository at this point in the history

  5. 🔥 Removed now unused CMake parameters

    @marcelwa
    marcelwa committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    a28d643 View commit details
    Browse the repository at this point in the history