sri-csl/sally issues and pull requests

#71 - updating CMakeLists.txt, missing <set> include in term_manager_intern…

Pull Request - State: closed - Opened by karthiknukala 2 months ago

#70 - Requirements for CUDD not documented

Issue - State: open - Opened by TomMD about 1 year ago

#69 - Update for compatibility with OpenSMT 2.1.0

Pull Request - State: closed - Opened by blishko over 3 years ago

#68 - Extensions to use SMT modulo models and interpolation from latest Yices2

Pull Request - State: closed - Opened by dddejan almost 4 years ago - 1 comment

#67 - mcsat interpolation

Pull Request - State: closed - Opened by dddejan over 4 years ago - 1 comment

#66 - Upgrading interface to OpenSMT

Pull Request - State: closed - Opened by blishko over 4 years ago - 1 comment

#65 - About available first-order logic semantics.

Issue - State: open - Opened by zqzqz almost 5 years ago - 1 comment
Labels: enhancement

#64 - Support for OpenSMT2

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

#63 - Update to OpenSMT interface

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

#62 - Support for dReal as a solver

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

#61 - Trouble verifying "weakend" properties

Issue - State: open - Opened by yav almost 6 years ago

#60 - Using `mod` with `mcmt`

Issue - State: open - Opened by yav almost 6 years ago

#59 - mcsat hybrid

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

#58 - Yices2-mcsat and converting between Real and Integer

Issue - State: open - Opened by yav about 6 years ago

#57 - Integer division?

Issue - State: open - Opened by yav about 6 years ago

#56 - Missing `floor` function?

Issue - State: closed - Opened by yav about 6 years ago - 1 comment

#55 - Failing tests when building

Issue - State: closed - Opened by delenius over 6 years ago - 1 comment

#54 - Surprising behavior when using `pdkind`

Issue - State: open - Opened by yav over 6 years ago - 1 comment

#53 - Yices error when invoking sally

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

#52 - "Variable not part of model" when showing trace

Issue - State: closed - Opened by yav over 6 years ago - 1 comment

#51 - Incorrect traces, depending on the order of queries

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

#50 - Segfaults

Issue - State: closed - Opened by yav over 6 years ago - 3 comments

#49 - Suggestions on input format

Issue - State: open - Opened by aman-goel about 7 years ago - 1 comment

#48 - Some weird error with regression test `pdkind/example9.mcmt` in debug mode

Issue - State: closed - Opened by caballa about 7 years ago - 3 comments
Labels: question

#47 - Add sally to our Homebrew Tap

Issue - State: open - Opened by ianamason over 7 years ago - 1 comment

#46 - Parse errors

Issue - State: open - Opened by rainoftime over 7 years ago - 2 comments
Labels: parser

#45 - Fix the grammar for hex literals.

Pull Request - State: closed - Opened by matt-noonan almost 8 years ago - 1 comment

#44 - C++ API for sally?

Issue - State: open - Opened by rainoftime almost 8 years ago - 1 comment
Labels: enhancement

#43 - Add learned invariants to IC3

Issue - State: open - Opened by dddejan almost 8 years ago
Labels: enhancement

#43 - Add learned invariants to IC3

Issue - State: open - Opened by dddejan almost 8 years ago
Labels: enhancement

#42 - Integrate crab into Sally

Issue - State: open - Opened by dddejan almost 8 years ago - 1 comment
Labels: enhancement

#42 - Integrate crab into Sally

Issue - State: open - Opened by dddejan almost 8 years ago - 1 comment
Labels: enhancement

#41 - Z3 mystery

Issue - State: closed - Opened by ianamason about 8 years ago - 3 comments

#40 - sally needs to be noticed.

Issue - State: closed - Opened by ianamason about 8 years ago - 5 comments
Labels: enhancement

#39 - Improve integer reasoning

Issue - State: open - Opened by dddejan over 8 years ago
Labels: enhancement

#38 - Parse the SyGuS competition format

Issue - State: open - Opened by dddejan over 8 years ago
Labels: enhancement

#37 - Abstraction infinite loop

Issue - State: closed - Opened by dddejan over 8 years ago
Labels: bug

#36 - Fix OCaml build in frontend/apron

Issue - State: closed - Opened by dddejan over 8 years ago - 1 comment
Labels: enhancement, help wanted

#35 - Frontend

Pull Request - State: closed - Opened by dddejan over 8 years ago - 30 comments

#34 - trace generation for ic3

Issue - State: closed - Opened by dddejan almost 9 years ago - 1 comment
Labels: bug, enhancement

#33 - cryptic yices error

Issue - State: closed - Opened by xapantu almost 9 years ago - 2 comments

#32 - typecheck error in a file with multiple queries

Issue - State: closed - Opened by xapantu almost 9 years ago - 1 comment

#31 - segfault when asking to show the trace

Issue - State: closed - Opened by xapantu almost 9 years ago - 1 comment
Labels: bug

#30 - Multi-property solving

Issue - State: open - Opened by agacek almost 9 years ago - 2 comments
Labels: enhancement

#29 - Feature request: Multiple engines

Issue - State: closed - Opened by agacek almost 9 years ago - 2 comments
Labels: enhancement, wontfix

#28 - Unable to use escaped ids

Issue - State: closed - Opened by agacek almost 9 years ago - 3 comments
Labels: bug, parser

#27 - btor bmc tests failing on ubuntu 15.10

Issue - State: closed - Opened by dddejan about 9 years ago - 2 comments

#26 - Doesn't work with clang

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

#25 - Failure in yices model construction.

Issue - State: closed - Opened by dddejan almost 10 years ago - 1 comment

#24 - Finish garbage-collection

Issue - State: open - Opened by dddejan almost 10 years ago

#23 - Assertion failure in Yices

Issue - State: closed - Opened by dddejan almost 10 years ago - 2 comments

#22 - Add input type as part of transitions

Issue - State: closed - Opened by dddejan almost 10 years ago

#21 - Setup build configuration to check for solver versions

Issue - State: closed - Opened by dddejan almost 10 years ago - 2 comments

#20 - Finish bit-vector parsing

Issue - State: closed - Opened by dddejan almost 10 years ago