Leonardo de Moura 440f8b0df4 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable		2013-04-10 19:03:34 -07:00
..
api	stash	2013-04-03 17:06:45 -07:00
ast	reorganization of rule_set structure	2013-04-08 13:50:56 -07:00
cmd_context	Fix problem reported at http://stackoverflow.com/questions/15882140/z3-smt2-in-get-z3-version/15882868#comment22637420_15882868	2013-04-09 08:49:04 -07:00
math	Fix memory allocation problems in RCF module	2013-04-10 19:03:25 -07:00
model	Fix bug reported at http://stackoverflow.com/questions/15226944/segmentation-fault-in-z3	2013-03-05 09:04:03 -08:00
muz_qe	[datalog] fix a few bugs related with output predicates	2013-04-10 16:37:47 -07:00
nlsat	Add nlsat.factor option. This is a workaround for the slow factorization procedure.	2013-01-02 21:18:02 -08:00
parsers	Fix uninterpreted sort definition. There was a mismatch in the behavior of the API and SMT front-ends. The SMT front-ends were using user_sorts to be able to support parametric uninterpreted sorts. After this fix, the API also creates user_sorts.	2013-02-12 14:34:31 -08:00
sat	Fix bug in the SAT solver.	2013-04-09 08:42:14 -07:00
shell	reorganization of rule_set structure	2013-04-08 13:50:56 -07:00
smt	Add option smt.bv.enable_int2bv in the new parameter setting framework. This is the new name for the old parameter :bv-enable-int2bv-propagation. This modification addresses an issue reported at http://stackoverflow.com/questions/15798984/bv-enable-int2bv-propagation-option.	2013-04-03 15:51:09 -07:00
solver	Fix memout detected in nightly regressions	2012-12-15 13:26:11 -08:00
tactic	Remove dead code	2013-04-08 18:02:28 -07:00
test	Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	2013-04-10 19:03:34 -07:00
util	Fix memory allocation problems in RCF module	2013-04-10 19:03:25 -07:00