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

drwxr-xr-x		..
-rw-r--r--	11301	ackermann.cpp	blob \| history \| raw
-rw-r--r--	3212	ackermann.h	blob \| history \| raw
-rw-r--r--	2306	apply_substs.cpp	blob \| history \| raw
-rw-r--r--	1459	apply_substs.h	blob \| history \| raw
-rw-r--r--	12447	bool_to_bv.cpp	blob \| history \| raw
-rw-r--r--	4085	bool_to_bv.h	blob \| history \| raw
-rw-r--r--	2289	bv_abstraction.cpp	blob \| history \| raw
-rw-r--r--	1624	bv_abstraction.h	blob \| history \| raw
-rw-r--r--	1769	bv_eager_atoms.cpp	blob \| history \| raw
-rw-r--r--	1322	bv_eager_atoms.h	blob \| history \| raw
-rw-r--r--	22763	bv_gauss.cpp	blob \| history \| raw
-rw-r--r--	3346	bv_gauss.h	blob \| history \| raw
-rw-r--r--	3016	bv_intro_pow2.cpp	blob \| history \| raw
-rw-r--r--	1366	bv_intro_pow2.h	blob \| history \| raw
-rw-r--r--	9200	bv_to_bool.cpp	blob \| history \| raw
-rw-r--r--	2243	bv_to_bool.h	blob \| history \| raw
-rw-r--r--	36058	bv_to_int.cpp	blob \| history \| raw
-rw-r--r--	10314	bv_to_int.h	blob \| history \| raw
-rw-r--r--	1523	extended_rewriter_pass.cpp	blob \| history \| raw
-rw-r--r--	1260	extended_rewriter_pass.h	blob \| history \| raw
-rw-r--r--	4642	foreign_theory_rewrite.cpp	blob \| history \| raw
-rw-r--r--	2234	foreign_theory_rewrite.h	blob \| history \| raw
-rw-r--r--	15381	fun_def_fmf.cpp	blob \| history \| raw
-rw-r--r--	3776	fun_def_fmf.h	blob \| history \| raw
-rw-r--r--	3297	global_negate.cpp	blob \| history \| raw
-rw-r--r--	1683	global_negate.h	blob \| history \| raw
-rw-r--r--	17295	ho_elim.cpp	blob \| history \| raw
-rw-r--r--	5877	ho_elim.h	blob \| history \| raw
-rw-r--r--	7945	int_to_bv.cpp	blob \| history \| raw
-rw-r--r--	1316	int_to_bv.h	blob \| history \| raw
-rw-r--r--	2737	ite_removal.cpp	blob \| history \| raw
-rw-r--r--	1218	ite_removal.h	blob \| history \| raw
-rw-r--r--	9003	ite_simp.cpp	blob \| history \| raw
-rw-r--r--	1487	ite_simp.h	blob \| history \| raw
-rw-r--r--	22135	miplib_trick.cpp	blob \| history \| raw
-rw-r--r--	1737	miplib_trick.h	blob \| history \| raw
-rw-r--r--	3900	nl_ext_purify.cpp	blob \| history \| raw
-rw-r--r--	1621	nl_ext_purify.h	blob \| history \| raw
-rw-r--r--	17635	non_clausal_simp.cpp	blob \| history \| raw
-rw-r--r--	3161	non_clausal_simp.h	blob \| history \| raw
-rw-r--r--	10378	pseudo_boolean_processor.cpp	blob \| history \| raw
-rw-r--r--	3285	pseudo_boolean_processor.h	blob \| history \| raw
-rw-r--r--	20686	quantifier_macros.cpp	blob \| history \| raw
-rw-r--r--	3466	quantifier_macros.h	blob \| history \| raw
-rw-r--r--	2015	quantifiers_preprocess.cpp	blob \| history \| raw
-rw-r--r--	1402	quantifiers_preprocess.h	blob \| history \| raw
-rw-r--r--	7205	real_to_int.cpp	blob \| history \| raw
-rw-r--r--	1419	real_to_int.h	blob \| history \| raw
-rw-r--r--	1300	rewrite.cpp	blob \| history \| raw
-rw-r--r--	1189	rewrite.h	blob \| history \| raw
-rw-r--r--	3760	sep_skolem_emp.cpp	blob \| history \| raw
-rw-r--r--	1189	sep_skolem_emp.h	blob \| history \| raw
-rw-r--r--	3115	sort_infer.cpp	blob \| history \| raw
-rw-r--r--	1371	sort_infer.h	blob \| history \| raw
-rw-r--r--	1815	static_learning.cpp	blob \| history \| raw
-rw-r--r--	1196	static_learning.h	blob \| history \| raw
-rw-r--r--	1860	strings_eager_pp.cpp	blob \| history \| raw
-rw-r--r--	1305	strings_eager_pp.h	blob \| history \| raw
-rw-r--r--	10772	sygus_inference.cpp	blob \| history \| raw
-rw-r--r--	2432	sygus_inference.h	blob \| history \| raw
-rw-r--r--	17559	synth_rew_rules.cpp	blob \| history \| raw
-rw-r--r--	3156	synth_rew_rules.h	blob \| history \| raw
-rw-r--r--	2561	theory_preprocess.cpp	blob \| history \| raw
-rw-r--r--	1266	theory_preprocess.h	blob \| history \| raw
-rw-r--r--	3548	theory_rewrite_eq.cpp	blob \| history \| raw
-rw-r--r--	1875	theory_rewrite_eq.h	blob \| history \| raw
-rw-r--r--	27344	unconstrained_simplifier.cpp	blob \| history \| raw
-rw-r--r--	2396	unconstrained_simplifier.h	blob \| history \| raw