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

Set up CI to check that the bindings work against new Z3 releases

choreBoring but needs to be doneBoring but needs to be done

Status: Open.

#12 In IagoAbal/haskell-z3;

· IagoAbal opened on Feb 10, 2019

Question about a fixpoint example

Status: Open.

#11 In IagoAbal/haskell-z3;

· meditans opened on Feb 10, 2019