Search results

Transformer cache extension points

Status: Merged (completed).

UnitTestBot/ksmtnumber 176

#176 In UnitTestBot/ksmt;

· by Saloed was closed on Oct 8, 2025

Fix JDK

Status: Merged (completed).

UnitTestBot/ksmtnumber 175

#175 In UnitTestBot/ksmt;

· by Saloed was closed on Sep 25, 2025

Upgrade solvers

Status: Merged (completed).

UnitTestBot/ksmtnumber 174

#174 In UnitTestBot/ksmt;

· by Saloed was closed on Sep 24, 2025

Fix artifact sign

Status: Merged (completed).

UnitTestBot/ksmtnumber 173

#173 In UnitTestBot/ksmt;

· by Saloed was closed on May 12, 2025

Fix release task

Status: Merged (completed).

UnitTestBot/ksmtnumber 172

#172 In UnitTestBot/ksmt;

· by Saloed was closed on May 12, 2025

Migrate publication pipeline on Central Portal from Legacy OSSRH

Status: Merged (completed).

UnitTestBot/ksmtnumber 171

#171 In UnitTestBot/ksmt;

· by Saloed was closed on May 12, 2025

Run tests on macOS for all solvers

Status: Merged (completed).

UnitTestBot/ksmtnumber 170

#170 In UnitTestBot/ksmt;

· by Saloed was closed on Mar 23, 2025

Fix cvc5 on macOS

Status: Merged (completed).

UnitTestBot/ksmtnumber 169

#169 In UnitTestBot/ksmt;

· by Saloed was closed on Jan 14, 2025

Upgrade cvc to 1.2.0

Status: Merged (completed).

UnitTestBot/ksmtnumber 168

#168 In UnitTestBot/ksmt;

· by Saloed was closed on Jan 10, 2025

Upgrade z3 to 4.13.4

Status: Merged (completed).

UnitTestBot/ksmtnumber 167

#167 In UnitTestBot/ksmt;

· by Saloed was closed on Jan 9, 2025

Theories specialization

Status: Merged (completed).

UnitTestBot/ksmtnumber 163

#163 In UnitTestBot/ksmt;

· by Saloed was closed on Oct 18, 2024

Various fixes

Status: Merged (completed).

UnitTestBot/ksmtnumber 162

#162 In UnitTestBot/ksmt;

· by Saloed was closed on Aug 16, 2024