Nikolaj Bjorner 6a50f10b8b Merge branch 'unstable' of https://github.com/Z3Prover/z3 into unstable		2015-06-17 12:48:28 -07:00
..
api	add missing copyright	2015-06-17 12:48:16 -07:00
ast	Bugfix for distinct of floats.	2015-06-12 12:58:19 +01:00
cmd_context	Enable datalog plugin for AST extensions	2015-06-10 19:59:57 +01:00
duality	tabs	2015-05-19 11:01:15 +01:00
interp	fix for issue #109	2015-05-27 16:05:40 -07:00
math	fix by anomaly detection, issue #118	2015-06-02 10:42:03 -07:00
model	pull unstable	2015-04-01 14:57:11 -07:00
muz	Fixed a bug in udoc_relation's join project	2015-06-17 17:14:23 +01:00
nlsat	Removed unnecessary variables and added initialization to others to silence warnings.	2015-02-07 14:47:26 +00:00
opt	remove ite terms from objectives to synchronize values in tableau with objective value. Fixes part of (three repros) from issue #120	2015-06-02 10:38:22 -07:00
parsers	added missing Copyright forms	2015-06-10 11:54:02 -07:00
qe	added missing Copyright forms	2015-06-10 11:54:02 -07:00
sat	Added smallFloats files.	2015-05-28 14:31:34 +02:00
shell	added missing Copyright forms	2015-06-10 11:54:02 -07:00
smt	added missing Copyright forms	2015-06-10 11:54:02 -07:00
solver	pull unstable	2015-04-01 14:57:11 -07:00
tactic	Merge branch 'unstable' of https://github.com/AleksandarZeljic/z3 into smallFloats	2015-06-12 18:35:59 +02:00
test	Fixed a bug in udoc_relation's join project	2015-06-17 17:14:23 +01:00
util	Merge branch 'unstable' of https://github.com/wintersteiger/z3 into unstable	2015-06-14 19:00:09 -07:00