Search results

Infinite loop/performance regression in Z3 4.15.3

Status: Open.

#7991 In Z3Prover/z3;

· rod-chapman opened on Oct 18, 2025

Wrong verdict with <code>(set-option :sat.smt true)</code>

Status: Open.

#7990 In Z3Prover/z3;

· ThomasHaas opened on Oct 18, 2025

CI Failure DoctorCI Failure: ASSERTION VIOLATION in test_parametric_pair - vector index out of bounds

bug

ci-failure

Windows

Status: Open.

#7983 In Z3Prover/z3;

· github-actions opened on Oct 15, 2025

Z3 4.15.3 is not on opam

Status: Open.

#7958 In Z3Prover/z3;

· Lysxia opened on Oct 2, 2025

z3 behavior depends on the names of the functions

Status: Open.

#7957 In Z3Prover/z3;

· mikulas-patocka opened on Oct 1, 2025

Experiments in Semi-automatic Software Dev

Status: Open.

#7913 In Z3Prover/z3;

· dsyme opened on Sep 17, 2025

Daily Backlog Burner - Research, Roadmap and Plan

Status: Open.

#7903 In Z3Prover/z3;

· dsyme opened on Sep 17, 2025

Daily Test Coverage Improver - Research and Plan

daily-test-improver-plan

Status: Open.

#7884 In Z3Prover/z3;

· github-actions opened on Sep 16, 2025

Daily Perf Improver - Research and Plan

daily-perf-improver-plan

Status: Open.

#7883 In Z3Prover/z3;

· github-actions opened on Sep 16, 2025

z3 infinite loop

Status: Open.

#7874 In Z3Prover/z3;

· mikulas-patocka opened on Sep 13, 2025

Incorrect model

Floats

Status: Open.

#7842 In Z3Prover/z3;

· LeventErkok opened on Sep 2, 2025

Incorrect model for <code>QF_SLIA</code>

string

Status: Open.

#7841 In Z3Prover/z3;

· jurajsic opened on Sep 2, 2025