SRI-CSL sally issues - Githubissues

SRI-CSL / sally

A model checker for infinite-state systems.

http://sri-csl.github.io/sally/

GNU General Public License v2.0

69 stars 12 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Requirements for CUDD not documented

#70 TomMD opened 7 months ago
0
Update for compatibility with OpenSMT 2.1.0

#69 blishko closed 3 years ago
0
Extensions to use SMT modulo models and interpolation from latest Yices2

#68 dddejan closed 3 years ago
1
mcsat interpolation

#67 dddejan closed 4 years ago
1
Upgrading interface to OpenSMT

#66 blishko closed 4 years ago
1
About available first-order logic semantics.

#65 zqzqz opened 4 years ago
1
Support for OpenSMT2

#64 dddejan closed 5 years ago
1
Update to OpenSMT interface

#63 blishko closed 5 years ago
1
Support for dReal as a solver

#62 dddejan closed 5 years ago
1
Trouble verifying "weakend" properties

#61 yav opened 5 years ago
0
Using `mod` with `mcmt`

#60 yav opened 5 years ago
0
mcsat hybrid

#59 dddejan closed 5 years ago
1
Yices2-mcsat and converting between Real and Integer

#58 yav opened 5 years ago
0
Integer division?

#57 yav opened 5 years ago
0
Missing `floor` function?

#56 yav closed 5 years ago
1
Failing tests when building

#55 delenius closed 5 years ago
1
Surprising behavior when using `pdkind`

#54 yav opened 5 years ago
1
Yices error when invoking sally

#53 yav opened 5 years ago
2
"Variable not part of model" when showing trace

#52 yav closed 6 years ago
1
Incorrect traces, depending on the order of queries

#51 yav closed 6 years ago
2
Segfaults

#50 yav closed 5 years ago
3
Suggestions on input format

#49 aman-goel opened 6 years ago
1
Some weird error with regression test `pdkind/example9.mcmt` in debug mode

#48 caballa closed 6 years ago
3
Add sally to our Homebrew Tap

#47 ianamason opened 6 years ago
1
Parse errors

#46 rainoftime opened 7 years ago
2
Fix the grammar for hex literals.

#45 matt-noonan closed 7 years ago
1
C++ API for sally?

#44 rainoftime opened 7 years ago
1
Add learned invariants to IC3

#43 dddejan opened 7 years ago
0
Integrate crab into Sally

#42 dddejan opened 7 years ago
1
Z3 mystery

#41 ianamason closed 7 years ago
3
sally needs to be noticed.

#40 ianamason closed 7 years ago
5
Improve integer reasoning

#39 dddejan opened 8 years ago
0
Parse the SyGuS competition format

#38 dddejan opened 8 years ago
0
Abstraction infinite loop

#37 dddejan closed 8 years ago
0
Fix OCaml build in frontend/apron

#36 dddejan closed 8 years ago
1
Frontend

#35 dddejan closed 6 years ago
30
trace generation for ic3

#34 dddejan closed 7 years ago
1
cryptic yices error

#33 xapantu closed 8 years ago
2
typecheck error in a file with multiple queries

#32 xapantu closed 8 years ago
1
segfault when asking to show the trace

#31 xapantu closed 8 years ago
1
Multi-property solving

#30 agacek opened 8 years ago
2
Feature request: Multiple engines

#29 agacek closed 8 years ago
2
Unable to use escaped ids

#28 agacek closed 8 years ago
3
btor bmc tests failing on ubuntu 15.10

#27 dddejan closed 8 years ago
2
Doesn't work with clang

#26 dddejan closed 7 years ago
2
Failure in yices model construction.

#25 dddejan closed 9 years ago
1
Finish garbage-collection

#24 dddejan opened 9 years ago
0
Assertion failure in Yices

#23 dddejan closed 9 years ago
2
Add input type as part of transitions

#22 dddejan closed 9 years ago
0
Setup build configuration to check for solver versions

#21 dddejan closed 9 years ago
2