Search results

Rare crashes while popping a solver frame

Status: Open.

#616 In SRI-CSL/yices2;

· daniel-raffler opened on Mar 13, 2026

Yices crashes during interpolation

Status: Open.

#615 In SRI-CSL/yices2;

· daniel-raffler opened on Mar 13, 2026

MCSAT crashes when generating models for curried functions

Status: Open.

#613 In SRI-CSL/yices2;

· daniel-raffler opened on Mar 11, 2026

Website is outdated

Status: Open.

#612 In SRI-CSL/yices2;

· daniel-raffler opened on Mar 11, 2026

minor doc bug: https://yices.csl.sri.com/ Sources has broken link to https://yices.csl.sri.com/releases/2.7.0/yices-2.7.0-src.tar.gz

Status: Open.

#598 In SRI-CSL/yices2;

· banshee opened on Jan 4, 2026

Support for constant arrays

Status: Open.

#597 In SRI-CSL/yices2;

· blishko opened on Jul 18, 2025

Linking problems on Windows (msys2+ucrt64)

Status: Open.

#532 In SRI-CSL/yices2;

· Febbe opened on Oct 6, 2024

C++ interface for parsing ys files into formulas

Status: Open.

#526 In SRI-CSL/yices2;

· dyd1024 opened on Aug 23, 2024

Feature request : please support Finite Field simplification.

Status: Open.

#521 In SRI-CSL/yices2;

· ytrezq opened on Jun 23, 2024

Major performance difference between Yices2 and Z3 on BV benchmarks

Status: Open.

#492 In SRI-CSL/yices2;

· ThomasHaas opened on Mar 9, 2024

Yices global lock in egraph final check

Status: Open.

#487 In SRI-CSL/yices2;

· Saloed opened on Feb 5, 2024

Merge the per-thread-state branch into master

Status: Open.

#469 In SRI-CSL/yices2;

· ahmed-irfan opened on Oct 11, 2023