Search results

Equality for Bitvectors constants

Status: Open.

#152 In ultimate-pa/smtinterpol;

· daniel-raffler opened on Apr 11, 2025

Dependencies in the .jar release

Status: Open.

#151 In ultimate-pa/smtinterpol;

· daniel-raffler opened on Apr 4, 2025

NullPointerException at DPLLEngine.java:782

Status: Open.

#137 In ultimate-pa/smtinterpol;

· daniel-larraz opened on Oct 11, 2022

Potential NPE in AnnotatedTerm.java

Status: Open.

#123 In ultimate-pa/smtinterpol;

· ErrReporter opened on Apr 27, 2021

Assertion error at Clausifier.java:1134 on LRA formula

Status: Open.

#116 In ultimate-pa/smtinterpol;

· rainoftime opened on Sep 24, 2020

(proof) Assertion error at FixResolutionProof.java:227

Status: Open.

#115 In ultimate-pa/smtinterpol;

· rainoftime opened on Sep 24, 2020

AssertionError in SmtInterpol(SmtInterpol other, ...) constructor.

Status: Open.

#112 In ultimate-pa/smtinterpol;

· Confectio opened on Aug 19, 2020

AssertionError at Clausifier.java:1022 (check-allsat)

Status: Open.

#111 In ultimate-pa/smtinterpol;

· rainoftime opened on Jul 8, 2020

AssertionError at DPLLEngine.java:1904 (check-allsat)

Status: Open.

#110 In ultimate-pa/smtinterpol;

· rainoftime opened on Jul 7, 2020

AssertionError at DPLLEngine.java:693 (check-allsat)

Status: Open.

#109 In ultimate-pa/smtinterpol;

· rainoftime opened on Jul 7, 2020

AssertionError at ProofTermGenerator.java:147 (check-allsat)

Status: Open.

#108 In ultimate-pa/smtinterpol;

· rainoftime opened on Jul 7, 2020

AssertionError at DPLLEngine.java:704 (check-allsat)

Status: Open.

#107 In ultimate-pa/smtinterpol;

· rainoftime opened on Jul 7, 2020