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

drwxr-xr-x		..
-rw-r--r--	11129	ackermann.cpp	blob \| history \| raw
-rw-r--r--	3203	ackermann.h	blob \| history \| raw
-rw-r--r--	2381	apply_substs.cpp	blob \| history \| raw
-rw-r--r--	1465	apply_substs.h	blob \| history \| raw
-rw-r--r--	12311	bool_to_bv.cpp	blob \| history \| raw
-rw-r--r--	4156	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--	22376	bv_gauss.cpp	blob \| history \| raw
-rw-r--r--	3378	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--	9056	bv_to_bool.cpp	blob \| history \| raw
-rw-r--r--	2314	bv_to_bool.h	blob \| history \| raw
-rw-r--r--	38626	bv_to_int.cpp	blob \| history \| raw
-rw-r--r--	9465	bv_to_int.h	blob \| history \| raw
-rw-r--r--	1391	extended_rewriter_pass.cpp	blob \| history \| raw
-rw-r--r--	1315	extended_rewriter_pass.h	blob \| history \| raw
-rw-r--r--	3218	global_negate.cpp	blob \| history \| raw
-rw-r--r--	1679	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--	7867	int_to_bv.cpp	blob \| history \| raw
-rw-r--r--	1371	int_to_bv.h	blob \| history \| raw
-rw-r--r--	1523	ite_removal.cpp	blob \| history \| raw
-rw-r--r--	1317	ite_removal.h	blob \| history \| raw
-rw-r--r--	8964	ite_simp.cpp	blob \| history \| raw
-rw-r--r--	1462	ite_simp.h	blob \| history \| raw
-rw-r--r--	21862	miplib_trick.cpp	blob \| history \| raw
-rw-r--r--	1753	miplib_trick.h	blob \| history \| raw
-rw-r--r--	3830	nl_ext_purify.cpp	blob \| history \| raw
-rw-r--r--	1676	nl_ext_purify.h	blob \| history \| raw
-rw-r--r--	16554	non_clausal_simp.cpp	blob \| history \| raw
-rw-r--r--	1462	non_clausal_simp.h	blob \| history \| raw
-rw-r--r--	10279	pseudo_boolean_processor.cpp	blob \| history \| raw
-rw-r--r--	3369	pseudo_boolean_processor.h	blob \| history \| raw
-rw-r--r--	20187	quantifier_macros.cpp	blob \| history \| raw
-rw-r--r--	3135	quantifier_macros.h	blob \| history \| raw
-rw-r--r--	1879	quantifiers_preprocess.cpp	blob \| history \| raw
-rw-r--r--	1457	quantifiers_preprocess.h	blob \| history \| raw
-rw-r--r--	7119	real_to_int.cpp	blob \| history \| raw
-rw-r--r--	1499	real_to_int.h	blob \| history \| raw
-rw-r--r--	1257	rewrite.cpp	blob \| history \| raw
-rw-r--r--	1244	rewrite.h	blob \| history \| raw
-rw-r--r--	3679	sep_skolem_emp.cpp	blob \| history \| raw
-rw-r--r--	1244	sep_skolem_emp.h	blob \| history \| raw
-rw-r--r--	2923	sort_infer.cpp	blob \| history \| raw
-rw-r--r--	1501	sort_infer.h	blob \| history \| raw
-rw-r--r--	1586	static_learning.cpp	blob \| history \| raw
-rw-r--r--	1251	static_learning.h	blob \| history \| raw
-rw-r--r--	10808	sygus_inference.cpp	blob \| history \| raw
-rw-r--r--	2514	sygus_inference.h	blob \| history \| raw
-rw-r--r--	17875	synth_rew_rules.cpp	blob \| history \| raw
-rw-r--r--	3211	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--	27117	unconstrained_simplifier.cpp	blob \| history \| raw
-rw-r--r--	2524	unconstrained_simplifier.h	blob \| history \| raw