-
Notifications
You must be signed in to change notification settings - Fork 18
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#902 In usi-verification-and-security/opensmt;
OpenSMT returns sat for an unsatisfiable QF_UFLRA formula
bugSomething isn't workingSomething isn't workingpriority:highHigh priority issueHigh priority issueStatus: Open.#901 In usi-verification-and-security/opensmt;- Status: Open.#899 In usi-verification-and-security/opensmt;
- Status: Open.#897 In usi-verification-and-security/opensmt;
LIA interpolation produces different results in Debug and Release modes
invalidThis doesn't seem rightThis doesn't seem rightStatus: Open.#895 In usi-verification-and-security/opensmt;Assertion violation in LIA interpolation
bugSomething isn't workingSomething isn't workingpriority:mediumMedium (normal) priority issueMedium (normal) priority issueStatus: Open.#894 In usi-verification-and-security/opensmt;Invalid interpolant computed when a mod operation is present in both partitions
bugSomething isn't workingSomething isn't workingStatus: Open.#893 In usi-verification-and-security/opensmt;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 investigatesperformanceIssue related to performance of OpenSMTIssue related to performance of OpenSMTStatus: Open.#886 In usi-verification-and-security/opensmt;Track partitions only of named terms when only
:produce-assignmentsis setperformanceIssue related to performance of OpenSMTIssue related to performance of OpenSMTpriority:lowLow priority issueLow priority issueStatus: Open.#885 In usi-verification-and-security/opensmt;- Status: Open.#880 In usi-verification-and-security/opensmt;
Retrieving just a few partitions from
PartitionManageris inefficientperformanceIssue related to performance of OpenSMTIssue related to performance of OpenSMTStatus: Open.#879 In usi-verification-and-security/opensmt;- Status: Open.#878 In usi-verification-and-security/opensmt;