Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / fatemender/boolector-sys issues and pull requests
#17 - Cannot build on Windows
Issue -
State: closed - Opened by CatOnTheHorizon 3 months ago
- 2 comments
#16 - use build_target() instead of target()
Pull Request -
State: closed - Opened by yeggor 7 months ago
- 3 comments
#15 - No Boolector sources in 0.6.2 package
Issue -
State: closed - Opened by ChristianMoesl over 3 years ago
- 1 comment
#14 - Fix: Execute vendor build in OUT_DIR
Pull Request -
State: closed - Opened by ChristianMoesl over 3 years ago
- 1 comment
#13 - Failed to build vendored Boolector
Issue -
State: closed - Opened by cdisselkoen almost 4 years ago
- 5 comments
#12 - Fix setup commands for MacOs and do git submodule init
Pull Request -
State: closed - Opened by ChristianMoesl almost 4 years ago
- 1 comment
#11 - Issue #10: build Boolector
Pull Request -
State: closed - Opened by fatemender almost 4 years ago
#10 - Build boolector
Issue -
State: closed - Opened by finga about 4 years ago
- 14 comments
#9 - Update to Boolector 3.2.1
Pull Request -
State: closed - Opened by inspier about 4 years ago
- 4 comments
#8 - Update Boolector to 3.1.0, + bindings for option enums
Pull Request -
State: closed - Opened by cdisselkoen over 4 years ago
- 1 comment
#7 - Update to Boolector 3.1.0, + bindings for option enums
Pull Request -
State: closed - Opened by cdisselkoen over 4 years ago
- 1 comment
#6 - build.rs: link with lgl
Pull Request -
State: closed - Opened by cdisselkoen almost 5 years ago
- 3 comments
#5 - Update boolector and regenerate bindings
Pull Request -
State: closed - Opened by cdisselkoen about 5 years ago
- 3 comments
#4 - Use libc::FILE in generated bindings
Pull Request -
State: closed - Opened by cdisselkoen about 5 years ago
- 2 comments
#3 - How to use `FILE` type?
Issue -
State: closed - Opened by cdisselkoen about 5 years ago
- 6 comments
#2 - Use command-line bindgen for manually updating bindings
Pull Request -
State: closed - Opened by fatemender over 5 years ago
#1 - Fix path to header
Pull Request -
State: closed - Opened by SeTSeR over 5 years ago
- 1 comment