Leonardo de Moura 8744b26d06 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable		2012-12-03 09:37:57 -08:00
..
api	connected smt_params with new parameter infrastructure	2012-12-02 14:47:34 -08:00
ast	exposed rewriter parameters	2012-12-02 22:03:30 -08:00
cmd_context	fixed bug in using-params combinator in the SMT 2.0 front-end	2012-12-03 09:37:15 -08:00
math	added module descriptions	2012-12-02 13:15:56 -08:00
model	cleaned algebraic params	2012-12-02 12:47:20 -08:00
muz_qe	fixing handling of arrays	2012-12-03 08:29:28 -08:00
nlsat	added module descriptions	2012-12-02 13:15:56 -08:00
parsers	removed front-end-params	2012-12-02 10:05:29 -08:00
sat	exposed sat params	2012-12-02 16:38:33 -08:00
shell	exposed rewriter parameters	2012-12-02 22:03:30 -08:00
smt	connected smt_params with new parameter infrastructure	2012-12-02 14:47:34 -08:00
solver	removed front-end-params	2012-12-02 10:05:29 -08:00
tactic	FPA bugfix	2012-12-03 15:13:11 +00:00
test	removed front-end-params	2012-12-02 10:05:29 -08:00
util	exposed rewriter parameters	2012-12-02 22:03:30 -08:00