Search results

About available first-order logic semantics.

enhancement

Status: Open.

#65 In SRI-CSL/sally;

· zqzqz opened on Mar 29, 2020

Trouble verifying "weakend" properties

Status: Open.

#61 In SRI-CSL/sally;

· yav opened on Apr 8, 2019

Using mod with mcmt

Status: Open.

#60 In SRI-CSL/sally;

· yav opened on Mar 6, 2019

Yices2-mcsat and converting between Real and Integer

Status: Open.

#58 In SRI-CSL/sally;

· yav opened on Feb 15, 2019

Integer division?

Status: Open.

#57 In SRI-CSL/sally;

· yav opened on Feb 15, 2019

Surprising behavior when using pdkind

Status: Open.

#54 In SRI-CSL/sally;

· yav opened on Oct 31, 2018

Yices error when invoking sally

Status: Open.

#53 In SRI-CSL/sally;

· yav opened on Oct 5, 2018

Suggestions on input format

Status: Open.

#49 In SRI-CSL/sally;

· aman-goel opened on Feb 14, 2018

Add sally to our Homebrew Tap

Status: Open.

#47 In SRI-CSL/sally;

· ianamason opened on Oct 5, 2017

Parse errors

parser

Status: Open.

#46 In SRI-CSL/sally;

· rainoftime opened on Jun 14, 2017

C++ API for sally?

enhancement

Status: Open.

#44 In SRI-CSL/sally;

· rainoftime opened on Apr 6, 2017

Add learned invariants to IC3

enhancement

Status: Open.

#43 In SRI-CSL/sally;

· dddejan opened on Mar 6, 2017

·  

Abstract interpretation in Sally