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

Add bitwuzla-0.3.0 #42

Merged
merged 2 commits into from
Jan 12, 2024
Merged

Add bitwuzla-0.3.0 #42

merged 2 commits into from
Jan 12, 2024

Commits on Dec 18, 2023

  1. Add bitwuzla-0.3.0 

    Fixes #41.
    @RyanGlScott
    RyanGlScott committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    38ac8f1 View commit details
    Browse the repository at this point in the history

  2. Work around bitwuzla/bitwuzla#96 on Ubuntu 20.04 

    Sadly, Ubuntu 20.04's version of `glibc` is susceptible to
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58909. We work around the issue
by applying a workaround taken from
https://bbs.archlinux.org/viewtopic.php?pid=2022393#p2022393.
    @RyanGlScott
    RyanGlScott committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    3193856 View commit details
    Browse the repository at this point in the history