5 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	e86a918ae7	turn on ite simplification by default	2025-03-26 11:30:08 -07:00
Nikolaj Bjorner	29712503a0	add option to rewrite ite value trees	2025-03-25 11:09:56 -07:00
Guido Martínez	3517361a73	Adding some options in support of F* (#6774) ... * patterns: add option for pattern decomposition (pi.decompose_patterns) True by default, retaining current behavior. * rewriter: add option for sorting of disjunctions (rewriter.sort_disjunctions) True by default, retaining current behavior.	2023-06-20 16:10:37 -07:00
Nikolaj Bjorner	8afec86fe8	add option for flat_and_or	2022-11-08 12:19:27 -08:00
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

Renamed from src/ast/rewriter/bool_rewriter_params.pyg (Browse further)