Christoph M. Wintersteiger 7037739453 Merge branch 'master' of https://github.com/Z3Prover/z3		2015-11-04 13:35:00 +00:00
..
api	Java API comments fix.	2015-11-04 13:34:50 +00:00
ast	Bugfix for arith rewriter to avoid rewriting loops.	2015-11-03 13:00:10 +00:00
cmd_context	Fixed initialization of interpolation context so it is properly disabled when solving SMT v1 benchmarks.	2015-11-03 12:29:02 +00:00
duality	better recovery from incompleteness and interp failure in duality	2015-10-09 14:21:05 -07:00
interp	fix merge conflicts	2015-10-28 16:09:46 -07:00
math	Make Groebner basis computation interruptable. Exponsed in issue #269	2015-10-28 11:39:59 -07:00
model	fix rewriter for model validation	2015-11-03 07:45:42 -08: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	use appropriate MaxSAT solver even if there are no soft constraints. Also avoid PB constraints when all soft constraints are false. Reported by Klaus Becker	2015-11-02 08:18:51 -08:00
parsers	add line/position information to unsupported command reports per zeph pull request	2015-10-30 19:23:31 -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	Trailing whitespace removed.	2015-11-03 12:28:10 +00:00
smt	Fix bug exposed in #281	2015-11-02 14:18:49 -08:00
solver	have solver pretty print declarations, include also datatype declarations	2015-08-07 08:48:24 +02:00
tactic	Bugfix for FP model converter (fp.min/fp.max models)	2015-11-02 19:55:25 +00:00
test	Fixed #include of <hash_set> which is deprecated in VS2015 and will be removed.	2015-10-27 17:11:40 +00:00
util	add line/position information to unsupported command reports per zeph pull request	2015-10-30 19:23:31 -07:00