Search results

Test failures on newer z3 versions

Status: Open.

#94 In IagoAbal/haskell-z3;

· numinit opened on Jan 3, 2025

Unable to install on M1/M2 Mac

Status: Open.

#89 In IagoAbal/haskell-z3;

· niconaus opened on Sep 5, 2023

Installation on Windows 10

Status: Open.

#86 In IagoAbal/haskell-z3;

· tjausm opened on Nov 28, 2022

Reference URL's in haddock documentation seem to be broken

good first issueGood for newcomersGood for newcomers

Status: Open.

#76 In IagoAbal/haskell-z3;

· niconaus opened on May 17, 2022

Publish new version with new combinators (mkPower missing)

Status: Open.

#72 In IagoAbal/haskell-z3;

· Munksgaard opened on Jan 18, 2022

Program hangs when running evalZ3 or evalZ3WithEnv more than once

Status: Open.

#71 In IagoAbal/haskell-z3;

· Javran opened on Dec 27, 2021

Inconsistent integer argument handling

Status: Open.

#69 In IagoAbal/haskell-z3;

· maurobringolf opened on Oct 3, 2021

Possibility of an interface with better ergonomics?

Status: Open.

#63 In IagoAbal/haskell-z3;

· ksqsf opened on Jun 2, 2021

solverCheckAndGetModel segfaults on timeout

Status: Open.

#31 In IagoAbal/haskell-z3;

· deian opened on Nov 17, 2019

Empty model with Z3 >=4.8

Status: Open.

#28 In IagoAbal/haskell-z3;

· valderman opened on Oct 1, 2019

Derive a proper test suite from the existing examples

choreBoring but needs to be doneBoring but needs to be done

Status: Open.

#18 In IagoAbal/haskell-z3;

· IagoAbal opened on Mar 17, 2019

Things to know when updating bindings

Status: Open.

#15 In IagoAbal/haskell-z3;

· meditans opened on Mar 8, 2019