Christoph M. Wintersteiger e472a8d4cf Enabled filenames in error messages during inclusion of files.		2017-01-16 15:46:58 +00:00
..
ackermannization	Adding translation to ackr_model_converter.	2016-06-06 18:06:45 +01:00
api	update macro_util logging to uniform format	2017-01-15 21:13:22 -08:00
ast	update macro_util logging to uniform format	2017-01-15 21:13:22 -08:00
cmd_context	ensure that FD logic understands pb from command context	2016-12-17 16:02:54 -08:00
duality	address warnings from #836	2016-12-10 13:14:36 +01:00
interp	fix build failures under linux	2016-07-09 13:28:39 -07:00
math	remove polynomial factorization as suggested by issue #852	2017-01-09 21:30:54 -08:00
model	bail out on failure to properly project	2016-12-11 04:23:07 +01:00
muz	fix memory leaks from cancellations	2017-01-15 20:09:27 -08:00
nlsat	fixing unsat core extraction for tactics	2016-11-02 14:14:55 +00:00
opt	Fix unsound handling of upper bounds in wmax, thanks to Patrick Trentin for report and careful repros #847	2017-01-15 11:52:48 -08:00
parsers	Added filenames to error messages for when we have more than one file.	2017-01-16 15:43:13 +00:00
qe	remove nested booleans during pre-processing. issue #837	2016-12-11 05:16:31 +01:00
sat	Fix unsound handling of upper bounds in wmax, thanks to Patrick Trentin for report and careful repros #847	2017-01-15 11:52:48 -08:00
shell	Added (include ...) SMT2 command.	2017-01-16 15:05:58 +00:00
smt	Enabled filenames in error messages during inclusion of files.	2017-01-16 15:46:58 +00:00
solver	ensure that FD logic understands pb from command context	2016-12-17 16:02:54 -08:00
tactic	merge	2016-12-21 10:04:02 -08:00
test	Removed polynomial factorization test cases. Relates to #852 and fixes #865.	2017-01-10 14:02:59 +00:00
util	Merge branch 'master' of https://github.com/Z3Prover/z3	2016-12-22 20:54:14 -08:00