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. TODO: * Review LICENSE and z3-haskell.cabal!! * Fill in 'Description' in z3-haskell.cabal
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: * 'Constants and applications' for sort bool and numerals. * Functions in 'Numerals'. * Assert and check in 'Constraints'. * Added TODO annotations for missing 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 This commit adds foreign imports for most basic API functions, but it is still incomplete.
  1. Prev
  2. Next