| .. |
|
api
|
Bugfixes for the optimization module in the ML API
|
2015-08-15 23:51:43 +01:00 |
|
ast
|
Merge branch 'unstable' of https://github.com/Z3Prover/z3 into unstable
|
2015-09-01 10:35:34 -07:00 |
|
cmd_context
|
Disabled superfluous wellformedness check and fixed type checking in basic_decl_plugin::join
|
2015-07-31 11:20:01 +01:00 |
|
duality
|
fail gracefully on interpolation errors
|
2015-07-10 14:39:11 -07:00 |
|
interp
|
fix for issue #171 (interpolation crash)
|
2015-07-27 11:15:33 -07:00 |
|
math
|
fix memory alias bug and non-termination bug exposed by issue #184
|
2015-08-31 14:45:10 -07:00 |
|
model
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
muz
|
change default behavior of solver pretty printer to include declarations
|
2015-08-06 18:57:11 +02:00 |
|
nlsat
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
opt
|
enable incremental bit-vector solving
|
2015-09-01 09:48:35 -07:00 |
|
parsers
|
make :weight understand both decimal and integral values, remove dweight, remove deprecated commands for optimization
|
2015-08-15 00:48:22 +02:00 |
|
qe
|
fix issue #196 related to resetting qe-sat tactic state over multiple calls
|
2015-09-01 12:36:45 -07:00 |
|
sat
|
enable incremental bit-vector solving
|
2015-09-01 09:52:48 -07:00 |
|
shell
|
fix wcnf front-end and unsat case in pd
|
2015-08-23 14:25:11 -07:00 |
|
smt
|
fix memory alias bug and non-termination bug exposed by issue #184
|
2015-08-31 14:45:10 -07:00 |
|
solver
|
have solver pretty print declarations, include also datatype declarations
|
2015-08-07 08:48:24 +02:00 |
|
tactic
|
change behavior on allocation excess to process exit to avoid memory smashes on exception unsafe code blocks. Fixes issue #175
|
2015-09-02 16:12:19 -07:00 |
|
test
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
util
|
change behavior on allocation excess to process exit to avoid memory smashes on exception unsafe code blocks. Fixes issue #175
|
2015-09-02 16:12:19 -07:00 |
