Search results

Possible incorrectness in backend solver for formula with disjunction below separating conjunction

Status: Open.

#49 In wies/grasshopper;

· TDacik opened on Jan 1, 2024

pure formulas, separating conjunction, and maybe, disjunctions,

Status: Open.

#47 In wies/grasshopper;

· dzufferey opened on Jun 1, 2020

SMT backend: better handling of solver returning <code>unknown</code>

Status: Open.

#46 In wies/grasshopper;

· dzufferey opened on Jun 1, 2020

A few things about array broke

Status: Open.

#41 In wies/grasshopper;

· dzufferey opened on May 10, 2019

Term gen not generating terms/unable to prove quantified assumption

Status: Open.

#39 In wies/grasshopper;

· siddharth-krishna opened on Mar 7, 2019

Function postconditions are not checked

bug

Status: Open.

#26 In wies/grasshopper;

· siddharth-krishna opened on Nov 2, 2018

ITE expressions are not always eliminated

bug

Status: Open.

#25 In wies/grasshopper;

· wies opened on May 16, 2018

Add simple module system

enhancement

Status: Open.

#20 In wies/grasshopper;

· wies opened on Mar 23, 2018

·  

Version 0.6

Add framing checks for all specifications

bug

enhancement

Status: Open.

#5 In wies/grasshopper;

· wies opened on May 3, 2016

·  

Version 0.6