Nikolaj Bjorner 10cdbb881f enable canceling simplex on interrupt, investigating PDR inconsistency ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2015-03-25 12:13:57 -07:00
..
api	break on small cores	2015-02-08 10:22:06 +01:00
ast	take conflicts during restart into account. reported by Arie Gurfinkel	2015-02-21 02:08:00 -08:00
cmd_context	fix crash in explanation generation. Codeplex issue 181	2015-02-24 17:03:34 -08:00
duality	populate proofs in opt specific tactics	2015-01-05 16:44:33 -08:00
interp	local changes	2014-12-22 09:27:33 -08:00
math	break on small cores	2015-02-08 10:22:06 +01:00
model	working on hitting sets	2014-06-08 14:12:54 +01:00
muz	enable canceling simplex on interrupt, investigating PDR inconsistency	2015-03-25 12:13:57 -07:00
nlsat	Fix bug reported by Florian <corzilius@cs.rwth-aachen.de>	2013-06-21 10:31:11 -07:00
opt	debugging assertion violation	2015-03-10 20:57:01 -07:00
parsers	parse also bit-vector constants with set-info. Reported by David Cok	2014-03-19 20:30:58 -07:00
qe	add assertions to simplifier	2015-01-14 22:09:48 +05:30
sat	break on small cores	2015-02-08 10:22:06 +01:00
shell	fix debug build	2015-01-25 18:31:04 +00:00
smt	enable canceling simplex on interrupt, investigating PDR inconsistency	2015-03-25 12:13:57 -07:00
solver	merge unstable into opt	2014-09-26 12:12:24 -07:00
tactic	break on small cores	2015-02-08 10:22:06 +01:00
test	muZ/datalog/udoc: fix bug in join_project	2014-12-28 17:05:17 +00:00
util	Merge branch 'opt' of https://git01.codeplex.com/z3 into opt	2015-02-08 10:25:44 +01:00