Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / Symbolica/Symbolica.Z3 issues and pull requests

#9 - Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows

Pull Request - State: open - Opened by dependabot[bot] 2 months ago
Labels: dependencies

#8 - Update to Z3 commit with correct Context.MkXor logic.

Pull Request - State: closed - Opened by Choc13 over 2 years ago

#7 - Update the Z3 commit to one which should dispose internals better.

Pull Request - State: closed - Opened by iscottb122 over 2 years ago

#6 - Upgrade versions of things including Z3 to 4.8.14.

Pull Request - State: closed - Opened by iscottb122 almost 3 years ago

#5 - Try a version with suppress finalize for Context.

Pull Request - State: closed - Opened by iscottb122 about 3 years ago

#4 - Use ubuntu 18 build for debian and descendants, except ubuntu 20 wher…

Pull Request - State: closed - Opened by iscottb122 about 3 years ago

#3 - Update the Z3 commit to point to the latest release (4.8.12).

Pull Request - State: closed - Opened by iscottb122 about 3 years ago

#2 - Exclude native pdb since it causes NuGet to fail validation anyway.

Pull Request - State: closed - Opened by iscottb122 over 3 years ago

#1 - Build Z3 from the latest master commit.

Pull Request - State: closed - Opened by iscottb122 over 3 years ago