| .. |
|
api
|
cleanning solver initialization, and fixing named assertion support
|
2012-11-02 16:35:08 -07:00 |
|
ast
|
fixed some warnings reported by clang++
|
2012-11-02 17:28:27 -07:00 |
|
cmd_context
|
fixed some warnings reported by clang++
|
2012-11-02 17:28:27 -07:00 |
|
front_end_params
|
old_params ==> front_end_params. Isolated abstract solver interface
|
2012-11-01 11:28:14 -07:00 |
|
math
|
bindings --> api; and moved nlsat/sat/subpaving tactics
|
2012-10-31 13:25:36 -07:00 |
|
model
|
isolated proto_model obsolete code
|
2012-10-29 20:15:33 -07:00 |
|
muz_qe
|
fix model completion bug in PDR, addhoc handling of reals for arithmetic realizers
|
2012-11-06 15:38:07 +02:00 |
|
nlsat
|
bindings --> api; and moved nlsat/sat/subpaving tactics
|
2012-10-31 13:25:36 -07:00 |
|
parsers
|
added support for named assertions
|
2012-11-02 14:00:43 -07:00 |
|
sat
|
bindings --> api; and moved nlsat/sat/subpaving tactics
|
2012-10-31 13:25:36 -07:00 |
|
shell
|
added support for named assertions
|
2012-11-02 14:00:43 -07:00 |
|
smt
|
fixed some warnings reported by clang++
|
2012-11-02 17:28:27 -07:00 |
|
solver
|
cleanning solver initialization, and fixing named assertion support
|
2012-11-02 16:35:08 -07:00 |
|
tactic
|
cleanning solver initialization, and fixing named assertion support
|
2012-11-02 16:35:08 -07:00 |
|
test
|
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
|
2012-11-04 12:49:58 -08:00 |
|
util
|
fix bugs in inliner and usage of unbound variable fix, reported by Arie Gurfinkel
|
2012-10-31 13:23:24 -07:00 |
