Search results

Build / Dependency Simplification - Z3 now supports MkAbs / OP_ABS

Status: Open.

#88 In epfl-lara/ScalaZ3;

· Dessix opened on May 17, 2024

Support for SMTLIB2's IEEE Floats

Status: Open.

#87 In epfl-lara/ScalaZ3;

· Dessix opened on May 5, 2024

Scala 3 / dotty support?

Status: Open.

#81 In epfl-lara/ScalaZ3;

· edwardcwang opened on Mar 31, 2022

Replace custom build of Z3 with z3-turnkey

Status: Open.

#78 In epfl-lara/ScalaZ3;

· romac opened on Sep 23, 2020

Where is mkEnumType/EnumSort?

Status: Open.

#77 In epfl-lara/ScalaZ3;

· delenius opened on Aug 24, 2020

sbt test fails with NullPointerException when loading jar

Status: Open.

#76 In epfl-lara/ScalaZ3;

· jad-hamza opened on Feb 17, 2020

Could not find mkFPConst(String) for floats similar to mkRealCons(String)

Status: Open.

#75 In epfl-lara/ScalaZ3;

· AnishGG opened on Dec 13, 2019

Reflective access in Z3Wrapper yields warning on Java 11

Status: Open.

#74 In epfl-lara/ScalaZ3;

· romac opened on Sep 18, 2019

Provide module with high-level monadic/pure API

Status: Open.

#69 In epfl-lara/ScalaZ3;

· romac opened on Jun 18, 2019

Address potential build issue

Status: Open.

#67 In epfl-lara/ScalaZ3;

· romac opened on Jun 18, 2019

GC cannot collect unused AST nodes/Z3Object instances

Status: Open.

#44 In epfl-lara/ScalaZ3;

· mtappler opened on Dec 29, 2014

QuickPA test fails with Z3 >= 4.0

Status: Open.

#10 In epfl-lara/ScalaZ3;

· psuter opened on Oct 16, 2012