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