Ecosyste.ms: Issues

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

GitHub / yav/simple-smt issues and pull requests

#24 - Handle design pattern

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

#23 - add a Z3 backend, and more

Pull Request - State: closed - Opened by qaristote about 2 years ago - 4 comments

#22 - adding solvers which provide bindings to parse SMTLib2

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

#21 - need a reliable way to kill a solver process

Issue - State: open - Opened by jwaldmann over 2 years ago - 3 comments

#20 - yices-smt2 sometimes returns real value without decimal point

Issue - State: open - Opened by jwaldmann over 2 years ago - 1 comment

#18 - addMany should have special case for one argument

Issue - State: open - Opened by jwaldmann over 2 years ago

#17 - output format of negative Reals not accepted by cvc5

Issue - State: open - Opened by jwaldmann over 2 years ago

#16 - sexprToVal fails for some Real representations

Issue - State: open - Opened by jwaldmann over 2 years ago - 3 comments

#15 - provide a Logger that writes to stderr

Issue - State: open - Opened by jwaldmann over 2 years ago - 2 comments

#14 - examples/ex1: Couldn't match expected type: IO Logger ...

Issue - State: open - Opened by jwaldmann over 2 years ago - 2 comments

#13 - terminate the solver process on stop

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

#12 - Add hlint action.

Pull Request - State: open - Opened by philderbeast over 2 years ago

#11 - Avoid space before closing parens. Doc snippets too.

Pull Request - State: closed - Opened by philderbeast about 3 years ago - 1 comment

#10 - Quoted symbols and recursive functions

Pull Request - State: closed - Opened by simonjwinwood over 4 years ago

#9 - Expose loadString

Pull Request - State: closed - Opened by jeapostrophe over 5 years ago - 4 comments

#8 - qualified modules

Pull Request - State: closed - Opened by jota191 over 5 years ago - 1 comment

#7 - Use more accurate lower bound on `base`

Pull Request - State: closed - Opened by hvr almost 6 years ago - 1 comment

#6 - Expose the Solver constructor

Pull Request - State: closed - Opened by cocreature almost 7 years ago - 1 comment

#5 - Add declare-datatype

Pull Request - State: closed - Opened by cocreature almost 7 years ago

#4 - Explicitly close the in/out/err `Handle`s

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

#3 - New logging stuff

Pull Request - State: closed - Opened by elliottt almost 10 years ago

#2 - Add versions of setLogic and setOption that accept unsupported

Pull Request - State: closed - Opened by elliottt almost 10 years ago

#1 - Add zeroExtend and signExtend

Pull Request - State: closed - Opened by glguy about 10 years ago