Nikolaj Bjorner 7768aa5487 compiler warning by daniel j h ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2015-10-04 10:35:48 -07:00
..
api	put break statement in else branh. Issue #230 (broken loop)	2015-10-03 17:15:45 -07:00
ast	compiler warning by daniel j h	2015-10-04 10:35:48 -07:00
cmd_context	adding rlimit resource limit facility to provide platform and architecture independent method for canceling activities	2015-09-28 13:37:59 -07:00
duality	fail gracefully on interpolation errors	2015-07-10 14:39:11 -07:00
interp	enable coercions when interpolation creates MILP constraints. Issue #217	2015-09-12 14:47:35 +02:00
math	Bug/assertion fix for power monomials in nlsat.	2015-09-17 16:31:51 +01:00
model	update header guards to be C++ style. Fixes issue #9	2015-07-08 23:18:40 -07:00
muz	compiler warning by daniel j h	2015-10-04 10:35:48 -07:00
nlsat	include rlimit in nlsat, include dedicated error message, for issue #216	2015-09-29 09:16:46 -07:00
opt	adding rlimit resource limit facility to provide platform and architecture independent method for canceling activities	2015-09-28 13:37:59 -07:00
parsers	annotate enode hash as signed character to address issue #210	2015-09-29 14:14:29 -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	adding rlimit resource limit facility to provide platform and architecture independent method for canceling activities	2015-09-28 13:37:59 -07:00
smt	add catch for cancellation intermixed with return value l_true. To address regressions in QF_LIA tests	2015-09-29 16:50:59 -07:00
solver	have solver pretty print declarations, include also datatype declarations	2015-08-07 08:48:24 +02:00
tactic	Fixed a memory leak	2015-10-01 13:31:37 +01:00
test	disable memory finalization after quant_solve unit test. Related to issue #210	2015-10-03 17:37:33 -07:00
util	put break statement in else branh. Issue #230 (broken loop)	2015-10-03 17:15:54 -07:00