Search results

Incremental solver issue with fmf-fun

Status: Open.

#12077 In cvc5/cvc5;

· allan-mercari opened on Aug 15, 2025

Heap Buffer Overflow in Function Application Type Checking

safe-options

Status: Open.

#12062 In cvc5/cvc5;

· merlinsun opened on Aug 12, 2025

FetchContent Issue

Status: Open.

Feature

#12061 In cvc5/cvc5;

· srod5125 opened on Aug 12, 2025

Set overflow

safe-options

Status: Open.

#12051 In cvc5/cvc5;

· Sarkoxed opened on Aug 5, 2025

Performance on string comparison benchmark

Status: Open.

Performance

#12042 In cvc5/cvc5;

· BillHallahan opened on Jul 31, 2025

Fatal failure at src/smt/check_models.cpp:207 with <code>--check-models --decision=internal</code>

safe-options

Status: Open.

#12026 In cvc5/cvc5;

· ds0ayane opened on Jul 18, 2025

Fatal failure at src/theory/theory_model.cpp:437

experimental

Status: Open.

#12000 In cvc5/cvc5;

· merlinsun opened on Jun 20, 2025

Well-founded check should consider <code>Array</code> as a special case

Status: Open.

Feature

#11997 In cvc5/cvc5;

· HuStmpHrrr opened on Jun 19, 2025

SyGuS weights

Status: Open.

Feature

#11982 In cvc5/cvc5;

· santolucito opened on Jun 13, 2025

Performance of inverting str.to_lower, str.to_upper

Status: Open.

Performance

#11970 In cvc5/cvc5;

· ti-m-o opened on Jun 6, 2025

Replacing option datatype results in 50x reduction in solver runtime

Status: Open.

Performance

#11961 In cvc5/cvc5;

· llingapp-amzn opened on Jun 4, 2025

Performance Bottleneck in cvc5 Sygus Solver for Large SMT Input

Status: Open.

Performance

#11933 In cvc5/cvc5;

· kkw423 opened on May 26, 2025