| .. |
|
api
|
Merge branch 'master' of https://github.com/npricci/z3 into npricci-master
|
2015-10-19 14:22:56 +01:00 |
|
ast
|
use Z3_fallthrough instead of __falthrough directly to avoid messing with reserved identifiers
|
2015-10-09 18:06:49 +01:00 |
|
cmd_context
|
adding rlimit resource limit facility to provide platform and architecture independent method for canceling activities
|
2015-09-28 13:37:59 -07:00 |
|
duality
|
fail gracefully on interpolation errors
|
2015-07-10 14:39:11 -07:00 |
|
interp
|
remove reinterpret_cast. Issue #229, issue #24
|
2015-10-04 10:54:19 -07:00 |
|
math
|
Bug/assertion fix for power monomials in nlsat.
|
2015-09-17 16:31:51 +01:00 |
|
model
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
muz
|
remove reinterpret_cast. Issue #229, issue #24
|
2015-10-04 10:54:19 -07:00 |
|
nlsat
|
include rlimit in nlsat, include dedicated error message, for issue #216
|
2015-09-29 09:16:46 -07:00 |
|
opt
|
adding rlimit resource limit facility to provide platform and architecture independent method for canceling activities
|
2015-09-28 13:37:59 -07:00 |
|
parsers
|
annotate enode hash as signed character to address issue #210
|
2015-09-29 14:14:29 -07:00 |
|
qe
|
fix unintialized memory read exposed by nightly build
|
2015-09-06 14:15:08 -07:00 |
|
sat
|
adding rlimit resource limit facility to provide platform and architecture independent method for canceling activities
|
2015-09-28 13:37:59 -07:00 |
|
shell
|
adding rlimit resource limit facility to provide platform and architecture independent method for canceling activities
|
2015-09-28 13:37:59 -07:00 |
|
smt
|
fix for fixed size rational difference logic
|
2015-10-13 09:24:02 -07:00 |
|
solver
|
have solver pretty print declarations, include also datatype declarations
|
2015-08-07 08:48:24 +02:00 |
|
tactic
|
Corrected unspecified behavior of corner cases in fp.min/fp.max.
|
2015-10-07 20:39:36 +01:00 |
|
test
|
comment out unit test that depends on hard-wired path
|
2015-10-04 16:34:23 -07:00 |
|
util
|
use Z3_fallthrough instead of __falthrough directly to avoid messing with reserved identifiers
|
2015-10-09 18:06:49 +01:00 |
