Ecosyste.ms: Issues

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

GitHub / GaloisInc/what4-solvers issues and pull requests

#49 - Upgrade CVC5 to 1.1.1

Pull Request - State: closed - Opened by RyanGlScott 10 months ago

#48 - Build solvers on macos-14 (M1 macOS)

Pull Request - State: closed - Opened by RyanGlScott 10 months ago

#47 - Enable CaDiCaL support when building `boolector`

Pull Request - State: closed - Opened by RyanGlScott 11 months ago

#46 - Build `boolector` with CaDiCaL enabled

Issue - State: closed - Opened by RyanGlScott 11 months ago
Labels: enhancement

#44 - CI: `gmp` download used in `yices` build is flaky

Issue - State: closed - Opened by RyanGlScott 12 months ago - 2 comments
Labels: bug

#43 - CI: `cvc5` Windows build failure

Issue - State: closed - Opened by RyanGlScott 12 months ago - 1 comment
Labels: bug

#42 - Add `bitwuzla-0.3.0`

Pull Request - State: closed - Opened by RyanGlScott 12 months ago

#41 - Add `bitwuzla`

Issue - State: closed - Opened by RyanGlScott 12 months ago
Labels: enhancement

#40 - Bump Windows binaries from `windows-2019` to `windows-2022`

Issue - State: open - Opened by RyanGlScott over 1 year ago
Labels: Windows

#39 - CI: Include architecture in archive names

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago - 1 comment

#38 - Work around cvc5/cvc5#9778

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#37 - Patch ANTLR build process to check for `aarch64` architecture

Pull Request - State: closed - Opened by samcowger over 1 year ago

#36 - CVC5 build failure on Windows

Issue - State: closed - Opened by RyanGlScott over 1 year ago
Labels: Windows

#35 - Use `mkdir -p` instead of `mkdir` to ease rerunning `yices` installation

Pull Request - State: closed - Opened by samcowger over 1 year ago - 1 comment

#34 - Build and distribute arm64 binaries on/for Apple silicon

Issue - State: closed - Opened by samcowger over 1 year ago - 5 comments

#33 - Backport fix for cvc5/cvc5#9567

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#32 - Build CVC{4,5} natively on Windows

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#31 - Upgrade CVC5 version when fix for cvc5/cvc5#8900 is released

Issue - State: closed - Opened by RyanGlScott over 1 year ago - 1 comment
Labels: Windows

#30 - Try Z3 4.8.8

Pull Request - State: closed - Opened by RyanGlScott almost 2 years ago

#29 - Build both Z3 4.8.10 and 4.8.14 versions

Pull Request - State: closed - Opened by RyanGlScott almost 2 years ago

#28 - Upgrade CVC5 to 1.0.2

Pull Request - State: closed - Opened by RyanGlScott about 2 years ago

#27 - Upgrade CVC5 to 1.0.1

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

#26 - Use macOS 12

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

#25 - Bump `abc` submodule commit

Issue - State: open - Opened by RyanGlScott over 2 years ago
Labels: enhancement

#24 - CVC4: Enable symfpu

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago - 1 comment

#22 - Add Ubuntu 22.04 binaries, drop Ubuntu 18.04

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

#21 - Build binaries for Ubuntu 22.04

Issue - State: closed - Opened by RyanGlScott over 2 years ago - 3 comments

#20 - Add `cvc5` 1.0.0

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

#19 - Boolector incompatible

Issue - State: closed - Opened by weaversa over 2 years ago - 4 comments

#18 - Added -O2 flag to windows and linux builds of ABC

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

#17 - Build `abc` with MinGW-w64

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

#16 - Add `boolector` 3.2.2

Pull Request - State: closed - Opened by RyanGlScott almost 3 years ago
Labels: enhancement

#15 - `z3`: 4.8.10 -> 4.8.14

Pull Request - State: closed - Opened by RyanGlScott almost 3 years ago
Labels: enhancement

#14 - Update `z3` to 4.8.14

Issue - State: closed - Opened by RyanGlScott almost 3 years ago - 1 comment
Labels: enhancement

#13 - Boolector (**request**)

Issue - State: closed - Opened by weaversa almost 3 years ago - 1 comment
Labels: enhancement

#12 - Build ABC with Mingw64 on Windows

Issue - State: closed - Opened by atomb about 3 years ago
Labels: Windows

#11 - Re-enable Yices builds on Windows

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

#10 - Change artifact names

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

#9 - Shrink binaries (probably by stripping)

Issue - State: closed - Opened by atomb about 3 years ago - 2 comments

#8 - Try ABC on Windows again

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

#7 - Get Yices building on Windows at all

Issue - State: closed - Opened by atomb about 3 years ago

#6 - Get ABC building again on Windows

Issue - State: closed - Opened by atomb about 3 years ago

#5 - Get Yices using MCSat on Windows

Issue - State: closed - Opened by atomb about 3 years ago

#4 - Get CVC4 building on Windows

Issue - State: closed - Opened by atomb about 3 years ago - 1 comment
Labels: Windows

#3 - Use submodule hashes rather than tags specified in workflow file

Issue - State: closed - Opened by atomb about 3 years ago

#2 - Get solvers building

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

#1 - First cut at building ABC, CVC4, Yices, and Z3

Pull Request - State: closed - Opened by atomb over 3 years ago - 1 comment