Commits

Author Commit Message Labels Comments Date
Iago Abal
Add missing Z3_del_context API call
David Castro
Added support for reals.
David Castro
Fixed z3_l_undef!!!
David Castro
Created .cabal, LICENSE and Setup.hs.
David Castro
src/Z3/Base/C.hsc -> Z3/Base/C.hsc
David Castro
Fixed Z3_config in Z3.Base.C
David Castro
Fixed z3_del_config.
David Castro
Imported new functions:
David Castro
Fixed include: "z3.h" -> <z3.h>.
David Castro
Added values for type Z3_bool to Z3.Base.C.
Iago Abal
A very first version of Z3.Base.C: low-level bindings for the Z3 C API
  1. Prev
  2. Next