IagoAbal/haskell-z3

Issues

• Unable to install on M1/M2 Mac

  #89 opened a year ago by niconaus
  1

• Installation on Windows 10

  #86 opened 2 years ago by tjausm
  0

• "Unexpected code was reached." when parsing

  #81 opened 2 years ago by qaristote
  2

• Possibility of an interface with better ergonomics?

  #63 opened 3 years ago by ksqsf
  6

• Reference URL's in haddock documentation seem to be broken

  #76 opened 2 years ago by niconaus
  0

• Support for parametric datatypes

  #77 opened 2 years ago by facundominguez
  1

• Reference URL's in haddock documentation seem to be broken.

  #75 opened 2 years ago by niconaus
  0

• Publish new version with new combinators (mkPower missing)

  #72 opened 3 years ago by Munksgaard
  4

• Program hangs when running evalZ3 or evalZ3WithEnv more than once

  #71 opened 3 years ago by Javran
  4

• Inconsistent integer argument handling

  #69 opened 3 years ago by maurobringolf
  1

• Nondeterministic segfaults from z3

  #27 opened 3 years ago by walkie
  14

• segfault on evalBv

  #29 opened 4 years ago by deian
  1

• Crash on parseSMTLib2String

  #23 opened 4 years ago by rcdickerson
  8

• error dyld Library not loaded: libz3.dylib

  #43 opened 4 years ago by AHaliq
  2

• MonadZ3 for ReaderT

  #37 opened 4 years ago by 0xd34df00d
  1

• MonadFail and GHC 8.6+

  #33 opened 5 years ago by conal
  1

• Cannot build with Z3 4.8.5

  #30 opened 5 years ago by ocharles
  6

• solverCheckAndGetModel segfaults on timeout

  #31 opened 5 years ago by deian
  4

• Empty model with Z3 >=4.8

  #28 opened 5 years ago by valderman
  4

• Z3 removed Z3_fixpoint_push/pop

  #22 opened 5 years ago by santolucito
  1

• Problem installing on OSX

  #25 opened 5 years ago by JesseBalster
  1

• Question about the monadic semantic

  #10 opened 5 years ago by meditans
  5

• Question: understanding the timing of `evalZ3`

  #17 opened 5 years ago by meditans
  1

• Failure to compile with z3 4.8.5

  #20 opened 5 years ago by fare
  3

• Runtime incompatibility with z3 >= 4.8 (undefined symbol: Z3_get_parser_error)

  #9 opened 6 years ago by srhb
  5

• Derive a proper test suite from the existing examples

  #18 opened 5 years ago by IagoAbal
  2

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

  #12 opened 6 years ago by IagoAbal
  0

• Queens4.hs dies with "Z3.Base.toBool: illegal `Z3_bool' value" on OS X

  #7 opened 6 years ago by xcthulhu
  0

• Things to know when updating bindings

  #15 opened 6 years ago by meditans
  1

• Question about a fixpoint example

  #11 opened 6 years ago by meditans
  2

• Installer deletes header files

  #5 opened 6 years ago by btj
  2

• Error running examples on Ubuntu 18.04

  #6 opened 6 years ago by nvazquez
  1