Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / SRI-CSL/yices2 issues and pull requests
#369 - Additional coverage test
Pull Request -
State: closed - Opened by 0152la over 3 years ago
#369 - Additional coverage test
Pull Request -
State: closed - Opened by 0152la over 3 years ago
#368 - Model interpolants should be displayed in the SMT syntax
Issue -
State: open - Opened by BrunoDutertre over 3 years ago
- 2 comments
Labels: enhancement
#368 - Model interpolants should be displayed in the SMT syntax
Issue -
State: open - Opened by BrunoDutertre over 3 years ago
- 2 comments
Labels: enhancement
#367 - Issues with the tests
Issue -
State: closed - Opened by ianamason over 3 years ago
- 3 comments
#367 - Issues with the tests
Issue -
State: closed - Opened by ianamason over 3 years ago
- 3 comments
#366 - Assertion error at exists_forall/ef_values.c:745
Issue -
State: open - Opened by rainoftime over 3 years ago
- 1 comment
#366 - Assertion error at exists_forall/ef_values.c:745
Issue -
State: open - Opened by rainoftime over 3 years ago
- 1 comment
#365 - Assertion error at solvers/quant/quant_solver.c:639
Issue -
State: closed - Opened by rainoftime over 3 years ago
- 1 comment
#365 - Assertion error at solvers/quant/quant_solver.c:639
Issue -
State: closed - Opened by rainoftime over 3 years ago
- 1 comment
#364 - Assertion error at mcsat/nra/nra_plugin.c:1171
Issue -
State: closed - Opened by rainoftime over 3 years ago
- 1 comment
#364 - Assertion error at mcsat/nra/nra_plugin.c:1171
Issue -
State: closed - Opened by rainoftime over 3 years ago
- 1 comment
#364 - Assertion error at mcsat/nra/nra_plugin.c:1171
Issue -
State: closed - Opened by rainoftime over 3 years ago
- 1 comment
#363 - Unable to install Ubuntu package
Issue -
State: closed - Opened by alexon1234 over 3 years ago
- 2 comments
#363 - Unable to install Ubuntu package
Issue -
State: closed - Opened by alexon1234 over 3 years ago
- 2 comments
#362 - the exists/forall solver failed: projection error
Issue -
State: closed - Opened by rainoftime over 3 years ago
- 1 comment
#362 - the exists/forall solver failed: projection error
Issue -
State: closed - Opened by rainoftime over 3 years ago
- 1 comment
#362 - the exists/forall solver failed: projection error
Issue -
State: closed - Opened by rainoftime over 3 years ago
- 1 comment
#361 - Static yices binary is broken on older platforms
Issue -
State: closed - Opened by csH7KmCC9 over 3 years ago
- 4 comments
#361 - Static yices binary is broken on older platforms
Issue -
State: closed - Opened by csH7KmCC9 over 3 years ago
- 4 comments
#361 - Static yices binary is broken on older platforms
Issue -
State: closed - Opened by csH7KmCC9 over 3 years ago
- 4 comments
#360 - SMT2 formula returns unsat when put inside push/pop context
Issue -
State: closed - Opened by 0152la over 3 years ago
- 2 comments
Labels: bug, QF_NIA, mcsat
#360 - SMT2 formula returns unsat when put inside push/pop context
Issue -
State: closed - Opened by 0152la over 3 years ago
- 2 comments
Labels: bug, QF_NIA, mcsat
#360 - SMT2 formula returns unsat when put inside push/pop context
Issue -
State: closed - Opened by 0152la over 3 years ago
- 2 comments
Labels: bug, QF_NIA, mcsat
#359 - bv2nat support
Issue -
State: open - Opened by weaversa over 3 years ago
- 1 comment
#359 - bv2nat support
Issue -
State: open - Opened by weaversa over 3 years ago
- 1 comment
#358 - Question about trivial unsat context state (minor)
Issue -
State: closed - Opened by makaimann over 3 years ago
- 2 comments
#358 - Question about trivial unsat context state (minor)
Issue -
State: closed - Opened by makaimann over 3 years ago
- 2 comments
#357 - why your website is closed? I want to learn some Yices' own specification language.
Issue -
State: closed - Opened by yuanyuan1024 over 3 years ago
- 9 comments
#356 - Quantifiers
Pull Request -
State: closed - Opened by BrunoDutertre over 3 years ago
- 2 comments
#355 - Does yices support set-info command?
Issue -
State: closed - Opened by zvonimir over 3 years ago
- 7 comments
#355 - Does yices support set-info command?
Issue -
State: closed - Opened by zvonimir over 3 years ago
- 7 comments
#354 - Interpolation/Generalization for nonlinear arithmetic with MCSAT
Pull Request -
State: closed - Opened by dddejan over 3 years ago
- 4 comments
#352 - Testing mcsat-eval-2 gives error: "generalization failed: nonlinear arithmetic"
Issue -
State: closed - Opened by disteph over 3 years ago
- 4 comments
Labels: bug
#352 - Testing mcsat-eval-2 gives error: "generalization failed: nonlinear arithmetic"
Issue -
State: closed - Opened by disteph over 3 years ago
- 4 comments
Labels: bug
#352 - Testing mcsat-eval-2 gives error: "generalization failed: nonlinear arithmetic"
Issue -
State: closed - Opened by disteph over 3 years ago
- 4 comments
Labels: bug
#346 - Wrong interpolant
Issue -
State: closed - Opened by dddejan almost 4 years ago
Labels: bug, QF_NRA, mcsat, interpolation
#346 - Wrong interpolant
Issue -
State: closed - Opened by dddejan almost 4 years ago
Labels: bug, QF_NRA, mcsat, interpolation
#346 - Wrong interpolant
Issue -
State: closed - Opened by dddejan almost 4 years ago
Labels: bug, QF_NRA, mcsat, interpolation
#321 - Assertion error at model/model_eval.c:296 (show-implicant)
Issue -
State: closed - Opened by rainoftime about 4 years ago
Labels: mcsat
#321 - Assertion error at model/model_eval.c:296 (show-implicant)
Issue -
State: closed - Opened by rainoftime about 4 years ago
Labels: mcsat
#321 - Assertion error at model/model_eval.c:296 (show-implicant)
Issue -
State: closed - Opened by rainoftime about 4 years ago
Labels: mcsat
#316 - Assertion error at model/val_to_term.c:147
Issue -
State: closed - Opened by rainoftime about 4 years ago
- 4 comments
Labels: bug
#316 - Assertion error at model/val_to_term.c:147
Issue -
State: closed - Opened by rainoftime about 4 years ago
- 4 comments
Labels: bug
#316 - Assertion error at model/val_to_term.c:147
Issue -
State: closed - Opened by rainoftime about 4 years ago
- 4 comments
Labels: bug
#307 - Performance issue on QF_NIA formula
Issue -
State: open - Opened by rainoftime about 4 years ago
- 1 comment
Labels: enhancement, QF_NIA, mcsat
#303 - Assertion violation at libpoly/src/utils/assignment.c:123
Issue -
State: closed - Opened by rainoftime about 4 years ago
Labels: bug, QF_NRA, mcsat, interpolation
#303 - Assertion violation at libpoly/src/utils/assignment.c:123
Issue -
State: closed - Opened by rainoftime about 4 years ago
Labels: bug, QF_NRA, mcsat, interpolation
#290 - NO_ERROR enum intersects with windows header defines
Issue -
State: open - Opened by nevilad about 4 years ago
- 1 comment
#290 - NO_ERROR enum intersects with windows header defines
Issue -
State: open - Opened by nevilad about 4 years ago
- 1 comment
#271 - Is there any way to create constant arrays in Yices using the C API?
Issue -
State: closed - Opened by mikhailramalho over 4 years ago
- 5 comments
#263 - Improve syntax and error checking for check-sat-assuming-model
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
Labels: mcsat, interpolation, experimental
#263 - Improve syntax and error checking for check-sat-assuming-model
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
Labels: mcsat, interpolation, experimental
#263 - Improve syntax and error checking for check-sat-assuming-model
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
Labels: mcsat, interpolation, experimental
#110 - Question on Arrays (with extensionality)
Issue -
State: open - Opened by aman-goel over 5 years ago
- 3 comments
Labels: enhancement
#86 - Python EF solving
Issue -
State: open - Opened by umangm over 6 years ago
- 8 comments
#86 - Python EF solving
Issue -
State: open - Opened by umangm over 6 years ago
- 8 comments
#86 - Python EF solving
Issue -
State: open - Opened by umangm over 6 years ago
- 8 comments