git.libre-soc.org Git - cvc5.git/tree

drwxr-xr-x		..
-rw-r--r--	18	.gitignore	blob \| history \| raw
-rw-r--r--	70	Makefile	blob \| history \| raw
-rw-r--r--	2935	Makefile.am	blob \| history \| raw
-rw-r--r--	502	Makefile.subdirs	blob \| history \| raw
drwxr-xr-x	-	arith	tree \| history
drwxr-xr-x	-	arrays	tree \| history
drwxr-xr-x	-	booleans	tree \| history
drwxr-xr-x	-	builtin	tree \| history
drwxr-xr-x	-	bv	tree \| history
drwxr-xr-x	-	datatypes	tree \| history
drwxr-xr-x	-	example	tree \| history
-rw-r--r--	35603	inst_match.cpp	blob \| history \| raw
-rw-r--r--	16866	inst_match.h	blob \| history \| raw
-rw-r--r--	4203	inst_match_impl.h	blob \| history \| raw
-rw-r--r--	1975	instantiator_default.cpp	blob \| history \| raw
-rw-r--r--	1512	instantiator_default.h	blob \| history \| raw
-rw-r--r--	1155	instantiator_tables_template.cpp	blob \| history \| raw
-rw-r--r--	1634	interrupted.h	blob \| history \| raw
-rw-r--r--	13236	ite_simplifier.cpp	blob \| history \| raw
-rw-r--r--	4783	ite_simplifier.h	blob \| history \| raw
-rw-r--r--	8602	logic_info.cpp	blob \| history \| raw
-rw-r--r--	7895	logic_info.h	blob \| history \| raw
-rwxr-xr-x	5476	mkinstantiator	blob \| history \| raw
-rwxr-xr-x	5986	mkrewriter	blob \| history \| raw
-rwxr-xr-x	8992	mktheorytraits	blob \| history \| raw
-rw-r--r--	8070	output_channel.h	blob \| history \| raw
drwxr-xr-x	-	quantifiers	tree \| history
-rw-r--r--	29523	quantifiers_engine.cpp	blob \| history \| raw
-rw-r--r--	14829	quantifiers_engine.h	blob \| history \| raw
-rw-r--r--	8081	rewriter.cpp	blob \| history \| raw
-rw-r--r--	3214	rewriter.h	blob \| history \| raw
-rw-r--r--	2610	rewriter_attributes.h	blob \| history \| raw
-rw-r--r--	2021	rewriter_tables_template.h	blob \| history \| raw
drwxr-xr-x	-	rewriterules	tree \| history
-rw-r--r--	8942	shared_terms_database.cpp	blob \| history \| raw
-rw-r--r--	7507	shared_terms_database.h	blob \| history \| raw
-rw-r--r--	10747	substitutions.cpp	blob \| history \| raw
-rw-r--r--	5275	substitutions.h	blob \| history \| raw
-rw-r--r--	9894	term_registration_visitor.cpp	blob \| history \| raw
-rw-r--r--	4157	term_registration_visitor.h	blob \| history \| raw
-rw-r--r--	9247	theory.cpp	blob \| history \| raw
-rw-r--r--	26319	theory.h	blob \| history \| raw
-rw-r--r--	44833	theory_engine.cpp	blob \| history \| raw
-rw-r--r--	20959	theory_engine.h	blob \| history \| raw
-rw-r--r--	1487	theory_registrar.h	blob \| history \| raw
-rw-r--r--	3437	theory_test_utils.h	blob \| history \| raw
-rw-r--r--	1106	theory_traits_template.h	blob \| history \| raw
-rw-r--r--	1106	theoryof_mode.h	blob \| history \| raw
-rw-r--r--	17588	trigger.cpp	blob \| history \| raw
-rw-r--r--	6503	trigger.h	blob \| history \| raw
drwxr-xr-x	-	uf	tree \| history
-rw-r--r--	24343	unconstrained_simplifier.cpp	blob \| history \| raw
-rw-r--r--	1870	unconstrained_simplifier.h	blob \| history \| raw
-rw-r--r--	2920	valuation.cpp	blob \| history \| raw
-rw-r--r--	3939	valuation.h	blob \| history \| raw