git.libre-soc.org Git - cvc5.git/tree - src/preprocessing/passes/

drwxr-xr-x		..
-rw-r--r--	11144	ackermann.cpp	blob \| history \| raw
-rw-r--r--	3191	ackermann.h	blob \| history \| raw
-rw-r--r--	2364	apply_substs.cpp	blob \| history \| raw
-rw-r--r--	1448	apply_substs.h	blob \| history \| raw
-rw-r--r--	12339	bool_to_bv.cpp	blob \| history \| raw
-rw-r--r--	4155	bool_to_bv.h	blob \| history \| raw
-rw-r--r--	2409	bv_abstraction.cpp	blob \| history \| raw
-rw-r--r--	1679	bv_abstraction.h	blob \| history \| raw
-rw-r--r--	1637	bv_eager_atoms.cpp	blob \| history \| raw
-rw-r--r--	1377	bv_eager_atoms.h	blob \| history \| raw
-rw-r--r--	22317	bv_gauss.cpp	blob \| history \| raw
-rw-r--r--	3297	bv_gauss.h	blob \| history \| raw
-rw-r--r--	2930	bv_intro_pow2.cpp	blob \| history \| raw
-rw-r--r--	1421	bv_intro_pow2.h	blob \| history \| raw
-rw-r--r--	9084	bv_to_bool.cpp	blob \| history \| raw
-rw-r--r--	2307	bv_to_bool.h	blob \| history \| raw
-rw-r--r--	38639	bv_to_int.cpp	blob \| history \| raw
-rw-r--r--	9481	bv_to_int.h	blob \| history \| raw
-rw-r--r--	1391	extended_rewriter_pass.cpp	blob \| history \| raw
-rw-r--r--	1298	extended_rewriter_pass.h	blob \| history \| raw
-rw-r--r--	3214	global_negate.cpp	blob \| history \| raw
-rw-r--r--	1662	global_negate.h	blob \| history \| raw
-rw-r--r--	17372	ho_elim.cpp	blob \| history \| raw
-rw-r--r--	5829	ho_elim.h	blob \| history \| raw
-rw-r--r--	10207	int_to_bv.cpp	blob \| history \| raw
-rw-r--r--	1354	int_to_bv.h	blob \| history \| raw
-rw-r--r--	1506	ite_removal.cpp	blob \| history \| raw
-rw-r--r--	1300	ite_removal.h	blob \| history \| raw
-rw-r--r--	8964	ite_simp.cpp	blob \| history \| raw
-rw-r--r--	1445	ite_simp.h	blob \| history \| raw
-rw-r--r--	21863	miplib_trick.cpp	blob \| history \| raw
-rw-r--r--	1753	miplib_trick.h	blob \| history \| raw
-rw-r--r--	3813	nl_ext_purify.cpp	blob \| history \| raw
-rw-r--r--	1659	nl_ext_purify.h	blob \| history \| raw
-rw-r--r--	16547	non_clausal_simp.cpp	blob \| history \| raw
-rw-r--r--	1445	non_clausal_simp.h	blob \| history \| raw
-rw-r--r--	10279	pseudo_boolean_processor.cpp	blob \| history \| raw
-rw-r--r--	3352	pseudo_boolean_processor.h	blob \| history \| raw
-rw-r--r--	20185	quantifier_macros.cpp	blob \| history \| raw
-rw-r--r--	3118	quantifier_macros.h	blob \| history \| raw
-rw-r--r--	1879	quantifiers_preprocess.cpp	blob \| history \| raw
-rw-r--r--	1440	quantifiers_preprocess.h	blob \| history \| raw
-rw-r--r--	7092	real_to_int.cpp	blob \| history \| raw
-rw-r--r--	1482	real_to_int.h	blob \| history \| raw
-rw-r--r--	1257	rewrite.cpp	blob \| history \| raw
-rw-r--r--	1227	rewrite.h	blob \| history \| raw
-rw-r--r--	3679	sep_skolem_emp.cpp	blob \| history \| raw
-rw-r--r--	1227	sep_skolem_emp.h	blob \| history \| raw
-rw-r--r--	2923	sort_infer.cpp	blob \| history \| raw
-rw-r--r--	1484	sort_infer.h	blob \| history \| raw
-rw-r--r--	1597	static_learning.cpp	blob \| history \| raw
-rw-r--r--	1234	static_learning.h	blob \| history \| raw
-rw-r--r--	10781	sygus_inference.cpp	blob \| history \| raw
-rw-r--r--	2497	sygus_inference.h	blob \| history \| raw
-rw-r--r--	18071	synth_rew_rules.cpp	blob \| history \| raw
-rw-r--r--	3194	synth_rew_rules.h	blob \| history \| raw
-rw-r--r--	1609	theory_preprocess.cpp	blob \| history \| raw
-rw-r--r--	1321	theory_preprocess.h	blob \| history \| raw
-rw-r--r--	25981	unconstrained_simplifier.cpp	blob \| history \| raw
-rw-r--r--	2316	unconstrained_simplifier.h	blob \| history \| raw