6 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	11c90cc142	move parameters from ast/rewriter to params ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-08-29 11:11:16 -07:00
Nikolaj Bjorner	db9d6d12fc	fix #3836 remove unused and buggy hoist_cmul ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-11 15:27:18 -07:00
Xiao Liang	a1814bf384	doc.fix(ast/rewriter/poly_rewriter_params.pyg): typo som-of-monomials -> sum-of-monomials	2019-10-11 13:06:46 -07:00
Nikolaj Bjorner	88aa689a70	fix #2387, add ite-hoist rewriting, allow assumptions to be compound expressions ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-07-09 07:40:29 +01:00
Nikolaj Bjorner	583098b8b0	throttle som blowup by default factor of 10 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-11 17:11:54 -07:00
Leonardo de Moura	a99b8fe797	exposed rewriter parameters ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-12-02 22:03:30 -08:00