issues
search
IagoAbal
/
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
Other
57
stars
43
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
docs: added linear programming example
#91
leoslf
opened
6 months ago
0
Add bindigs for getting algebraic numbers
#90
michiari
opened
7 months ago
0
Unable to install on M1/M2 Mac
#89
niconaus
opened
1 year ago
1
Murcake/steps to z3 4.11 support
#88
temyurchenko
closed
1 year ago
3
Fix `Z3.orElseTactic`
#87
aemartinez
closed
1 year ago
0
Installation on Windows 10
#86
tjausm
opened
1 year ago
0
add bindings for string comparison
#85
owestphal
closed
1 year ago
0
Add binding to `Z3_eval_smtlib2_string`
#84
qaristote
closed
1 year ago
0
Prepare release of version 4011.0.1
#83
temyurchenko
closed
1 year ago
4
Add examples and document it
#82
GuillaumeGen
opened
1 year ago
0
"Unexpected code was reached." when parsing
#81
qaristote
closed
1 year ago
2
Add `tacticUsingParams`
#80
ElijahVlasov
closed
2 years ago
1
Added `MonadZ3` instance for `ExceptT`
#79
ElijahVlasov
closed
2 years ago
0
Added several missing function
#78
ElijahVlasov
closed
2 years ago
2
Support for parametric datatypes
#77
facundominguez
closed
2 years ago
1
Reference URL's in haddock documentation seem to be broken
#76
niconaus
opened
2 years ago
0
Reference URL's in haddock documentation seem to be broken.
#75
niconaus
closed
2 years ago
0
Fix some warnings and style issues
#74
Munksgaard
closed
7 months ago
0
instance MonadZ3 m => MonadZ3 (StateT s m), take 2
#73
Munksgaard
closed
2 years ago
2
Publish new version with new combinators (mkPower missing)
#72
Munksgaard
opened
2 years ago
4
Program hangs when running evalZ3 or evalZ3WithEnv more than once
#71
Javran
opened
2 years ago
4
Test cases for two recent pull requests
#70
maurobringolf
closed
2 years ago
0
Inconsistent integer argument handling
#69
maurobringolf
opened
2 years ago
1
Add hackage version to README.md
#68
maurobringolf
closed
2 years ago
0
Run CI against all supported Z3 versions and document compatibility table
#67
maurobringolf
closed
2 years ago
1
Add floating point support
#66
zsusag
closed
2 years ago
1
optimizeAssertSoft=undefined
#65
owestphal
closed
2 years ago
3
Collection of small fixes
#64
maurobringolf
closed
2 years ago
0
Possibility of an interface with better ergonomics?
#63
ksqsf
opened
3 years ago
6
Lift a few more functions from the tactics API and examples from the Z3 tutorial
#62
maurobringolf
closed
3 years ago
0
Fix non-deterministic segfaults caused by concurrent garbage collector
#61
maurobringolf
closed
3 years ago
16
Add Monad Spec with examples/Monad/IntList plus assertions
#60
maurobringolf
closed
3 years ago
0
More lifting of a few API functions
#59
maurobringolf
closed
3 years ago
1
[CI] Add a github action for running testsuite against latest Z3 version
#58
maurobringolf
closed
3 years ago
0
Update list of C functions in C.hsc
#57
maurobringolf
closed
3 years ago
1
[CI] Add script for coverage report
#56
maurobringolf
closed
3 years ago
0
Add z3_mk_atmost and z3_mk_atleast.
#55
stevana
closed
3 years ago
0
Add support for recursive functions by supporting new Z3 API functions Z3_mk_rec_func_decl and Z3_add_rec_def
#54
sedwards-lab
closed
3 years ago
0
deriving generic in base
#53
doyougnu
opened
3 years ago
0
More sorts makers: mkArraySortN, mkEnumerationSort, mkListSort
#52
maurobringolf
closed
3 years ago
4
Some work towards more complete API: Algebraic Numbers and Global Parameters
#51
maurobringolf
closed
3 years ago
3
Extend quantifier API to support user specified weights
#50
maurobringolf
closed
3 years ago
0
Add wrapper type for tuple sorts
#49
maurobringolf
closed
3 years ago
2
Syntax highlighting in README
#48
maurobringolf
closed
3 years ago
0
Cover various accessor API functions for sorts
#47
maurobringolf
closed
3 years ago
0
Add mkPow API
#46
maurobringolf
closed
3 years ago
2
Fix issue 29: correct implementation of evalBv
#45
maurobringolf
closed
3 years ago
5
Fix issue#23: parseSMTLib2String now returns list of ASTs
#44
maurobringolf
closed
3 years ago
0
error dyld Library not loaded: libz3.dylib
#43
AHaliq
closed
3 years ago
2
One new C function, several documentation changes
#42
plredmond
closed
3 years ago
1
Next