Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / aclements/go-z3 issues and pull requests
#8 - Update bindings for recent z3
Pull Request -
State: open - Opened by zyedidia almost 3 years ago
#7 - Problem compiling
Issue -
State: closed - Opened by dustydins over 3 years ago
- 1 comment
#6 - z3: use true/false instead of Z3_TRUE/Z3_FALSE
Pull Request -
State: closed - Opened by Edward-L over 3 years ago
#5 - z3: fix compile failure
Pull Request -
State: closed - Opened by ajalab almost 6 years ago
#4 - z3: use Z3_get_error_msg instead of Z3_get_error_msg_ex
Pull Request -
State: closed - Opened by ajalab almost 6 years ago
#3 - String ops
Issue -
State: open - Opened by DieracDelta over 6 years ago
#2 - z3: add bindings for Z3 SMT optimizer
Pull Request -
State: open - Opened by DerangedMonkeyNinja over 6 years ago
#1 - NewContext panics, when called from multiple routines
Issue -
State: open - Opened by hosewiejacke over 6 years ago