Issues

• About available first-order logic semantics.

  enhancement
  SRI-CSL/sally#65 · Filter by author zqzqz opened on Mar 29, 2020
  1

• Trouble verifying "weakend" properties

  SRI-CSL/sally#61 · Filter by author yav opened on Apr 8, 2019

• Using mod with mcmt

  SRI-CSL/sally#60 · Filter by author yav opened on Mar 6, 2019

• Yices2-mcsat and converting between Real and Integer

  SRI-CSL/sally#58 · Filter by author yav opened on Feb 15, 2019

• Integer division?

  SRI-CSL/sally#57 · Filter by author yav opened on Feb 15, 2019

• Surprising behavior when using pdkind

  SRI-CSL/sally#54 · Filter by author yav opened on Oct 31, 2018
  1

• Yices error when invoking sally

  SRI-CSL/sally#53 · Filter by author yav opened on Oct 5, 2018
  2

• Suggestions on input format

  SRI-CSL/sally#49 · Filter by author aman-goel opened on Feb 14, 2018
  1

• Add sally to our Homebrew Tap

  SRI-CSL/sally#47 · Filter by author ianamason opened on Oct 5, 2017
  1

• Parse errors

  parser
  SRI-CSL/sally#46 · Filter by author rainoftime opened on Jun 14, 2017
  2

  

• C++ API for sally?

  enhancement
  SRI-CSL/sally#44 · Filter by author rainoftime opened on Apr 6, 2017
  1

• Add learned invariants to IC3

  enhancement
  SRI-CSL/sally#43 · Filter by author dddejan opened on Mar 6, 2017 · Abstract interpretation in Sally
  

• Integrate crab into Sally

  enhancement
  SRI-CSL/sally#42 · Filter by author dddejan opened on Mar 6, 2017 · Abstract interpretation in Sally
  1

  

• Improve integer reasoning

  enhancement
  SRI-CSL/sally#39 · Filter by author dddejan opened on Sep 2, 2016

• Parse the SyGuS competition format

  enhancement
  SRI-CSL/sally#38 · Filter by author dddejan opened on Sep 2, 2016

• Multi-property solving

  enhancement
  SRI-CSL/sally#30 · Filter by author agacek opened on Mar 3, 2016
  2

  

• Finish garbage-collection

  SRI-CSL/sally#24 · Filter by author dddejan opened on Mar 31, 2015

• ANTLR doesn't support stdin input

  SRI-CSL/sally#8 · Filter by author dddejan opened on Nov 23, 2014