Search results

LIA interpolation produces different results in Debug and Release modes

invalidThis doesn't seem rightThis doesn't seem right

Status: Open.

#895 In usi-verification-and-security/opensmt;

· BritikovKI opened on Mar 18, 2026

Assertion violation in LIA interpolation

bugSomething isn't workingSomething isn't working

Status: Open.

#894 In usi-verification-and-security/opensmt;

· annabeks opened on Mar 18, 2026

Invalid interpolant computed when a mod operation is present in both partitions

bugSomething isn't workingSomething isn't working

Status: Open.

#893 In usi-verification-and-security/opensmt;

· blishko opened on Feb 19, 2026

Optimize unsat cores to not compute the whole proof tree

investigateSuspicious or improper behaviour that needs to be investigatesSuspicious or improper behaviour that needs to be investigates

performanceIssue related to performance of OpenSMTIssue related to performance of OpenSMT

Status: Open.

#886 In usi-verification-and-security/opensmt;

· Tomaqa opened on Nov 17, 2025

Track partitions only of named terms when only :produce-assignments is set

performanceIssue related to performance of OpenSMTIssue related to performance of OpenSMT

priority:lowLow priority issueLow priority issue

Status: Open.

#885 In usi-verification-and-security/opensmt;

· Tomaqa opened on Nov 17, 2025

TermMapper does not track cnfized formulas

Status: Open.

#880 In usi-verification-and-security/opensmt;

· Tomaqa opened on Nov 13, 2025

Retrieving just a few partitions from PartitionManager is inefficient

performanceIssue related to performance of OpenSMTIssue related to performance of OpenSMT

Status: Open.

#879 In usi-verification-and-security/opensmt;

· Tomaqa opened on Nov 13, 2025

Allow getting the internal formula that is mapped to a top-level formula in PartitionManager

Status: Open.

#878 In usi-verification-and-security/opensmt;

· Tomaqa opened on Nov 13, 2025

Named sub-terms are not handled by PartitionManager

bugSomething isn't workingSomething isn't working

Status: Open.

#877 In usi-verification-and-security/opensmt;

· Tomaqa opened on Nov 13, 2025

get-assignment is not working properly

bugSomething isn't workingSomething isn't working

Status: Open.

#876 In usi-verification-and-security/opensmt;

· Tomaqa opened on Nov 12, 2025

Unify opensmt.cc and opensmtSplitter.cc

Status: Open.

#868 In usi-verification-and-security/opensmt;

· Tomaqa opened on Oct 24, 2025

Create a development submodule repository

Status: Open.

#867 In usi-verification-and-security/opensmt;

· Tomaqa opened on Oct 24, 2025

·  

v3.0.0