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

#380 support multiple architectures for solver binaries z3 #395

Open
wants to merge 49 commits into
base: master
Choose a base branch
from

Commits on Oct 13, 2024

  1. initial steps to provide multiple binaries of Z3.

    Not tested, not finished, just a draft.
    kfriedberger committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    2b5e801 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    2349bae View commit details
    Browse the repository at this point in the history
  3. #380: reduce manual steps for publishing Z3, create copies of library…

    … for backwards compatibility.
    kfriedberger committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    68bab2b View commit details
    Browse the repository at this point in the history
  4. #380: make cache-pattern more similar to default pattern.

    This should keep the existing cache valid and re-usable.
    Otherwise, we would create a new cache structure within the existing cache, with redundant entries.
    With this change, we limit the redundancy to arch- or classifier-specific entries.
    kfriedberger committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    fa64e1d View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    a3021ab View commit details
    Browse the repository at this point in the history
  6. update Z3 to v4.13.0.

    We could include x64 and ARM64 dependencies for Z3.
    However, the default stays by only x64.
    kfriedberger committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    5d70c5f View commit details
    Browse the repository at this point in the history
  7. Maven: change publication pattern, do not use classifier for plain Ja…

    …rs, but only all other files.
    
    This cleanup aligns better with Maven guidelines.
    This is a small change for all upcoming publications to Maven and the Maven users.
    kfriedberger committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    ddc9977 View commit details
    Browse the repository at this point in the history
  8. #380: rewrite Maven publication step to support x64 and arm64 archite…

    …cture.
    
    Additionally, we upload Java sources and JavaDoc for z3 to the Maven repository.
    
    We need to test whether the uploaded files work as expected.
    kfriedberger committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    14699d6 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    78a298e View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    a55cfe7 View commit details
    Browse the repository at this point in the history
  11. #380: make basic configurations for Z3 public.

    Let the user decide what to load,
    e.g. on a minimal system only load for one specific OS and arch.
    kfriedberger committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    9d68306 View commit details
    Browse the repository at this point in the history
  12. Z3: update to v4.13.2

    kfriedberger committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    321da34 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    bbfb727 View commit details
    Browse the repository at this point in the history
  14. Z3: avoid regression error.

    See Z3Prover/z3#7419 for details.
    If required, the Z3 parser automatically converts Boolean formulas `f` to e.g. `ITE(f 1 0)`,
    which makes them comparable to Integer symbols and numbers 0/1.
    kfriedberger committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    d6019c6 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    8a2cddb View commit details
    Browse the repository at this point in the history
  16. Z3: update to v4.13.3

    kfriedberger committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    32d5b71 View commit details
    Browse the repository at this point in the history
  17. Configuration menu
    Copy the full SHA
    9c6867f View commit details
    Browse the repository at this point in the history
  18. Configuration menu
    Copy the full SHA
    316d99e View commit details
    Browse the repository at this point in the history
  19. Configuration menu
    Copy the full SHA
    4a40c32 View commit details
    Browse the repository at this point in the history
  20. Configuration menu
    Copy the full SHA
    95d3ab3 View commit details
    Browse the repository at this point in the history
  21. update the image for Windows-based CI. This might fix problems with Z…

    …3 v4.13.2 and incompatible msvcp140.dll.
    
    See Z3Prover/z3#7420 for details.
    This update is just a test. If it does not work, we will revert it.
    kfriedberger committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    07a4015 View commit details
    Browse the repository at this point in the history
  22. Configuration menu
    Copy the full SHA
    6f25eb3 View commit details
    Browse the repository at this point in the history
  23. Revert "update the image for Windows-based CI. This might fix problem…

    …s with Z3 v4.13.2 and incompatible msvcp140.dll."
    
    This reverts commit 07a4015.
    kfriedberger committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    78f2ada View commit details
    Browse the repository at this point in the history
  24. Configuration menu
    Copy the full SHA
    a969311 View commit details
    Browse the repository at this point in the history
  25. Configuration menu
    Copy the full SHA
    e662615 View commit details
    Browse the repository at this point in the history
  26. #380: extend JavaSMTs own ivy configuration to provide configurations…

    … for multiple architectures.
    
    We aim for backwards-compatibility and provide the x64-version as default for most public configurations.
    The solver-specific configuration "runtime-z3" does provide more than x64, and comes with arm64 included.
    kfriedberger committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    086c4b9 View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. cleanup Z3 build-script

    kfriedberger committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    598b0f9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    bd4ad9b View commit details
    Browse the repository at this point in the history
  3. MathSAT5: update/prepare build-scripts for several platforms, and upd…

    …ate dependencies.
    
    - prepare for distinct architectures x64 and arm64 under Linux.
    
    - remove MPIR usage and replace it with GMP headers.
      MPIR is unmaintained since several years.
    
    - update GMP to v6.3.0 and JDK to v17
    kfriedberger committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    7494d84 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    a27dd38 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    08143b7 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    8302e03 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    2dbefcd View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    141f606 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2024

  1. Configuration menu
    Copy the full SHA
    e4cbf36 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    655d360 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    ec1766d View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2024

  1. Configuration menu
    Copy the full SHA
    c8a4220 View commit details
    Browse the repository at this point in the history
  2. MathSAT: avoid using MathSAT on CI when GLIBC_2.33 is not available. …

    …Instead, we use a plain Java-based solver as reference.
    kfriedberger committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    24bcd6f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    30d9d69 View commit details
    Browse the repository at this point in the history
  4. MathSAT5: provide a dependency that works on older Ubuntu, such as 18…

    ….04 and 20.04, using only GLIBC_2.27.
    kfriedberger committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    696f7b8 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2024

  1. Configuration menu
    Copy the full SHA
    2f4f2e8 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    7f19ecc View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. Configuration menu
    Copy the full SHA
    e648ac1 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d689f14 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    7d3b3b6 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    e87c068 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    03acd1e View commit details
    Browse the repository at this point in the history
  6. Bitwuzla: fix path according to documentation.

    This does not change the output of the script.
    kfriedberger committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    0f0fd2c View commit details
    Browse the repository at this point in the history