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

drwxr-xr-x		..
-rw-r--r--	4493	CMakeLists.txt	blob \| history \| raw
-rw-r--r--	3737	array_store_all.cpp	blob \| history \| raw
-rw-r--r--	2137	array_store_all.h	blob \| history \| raw
-rw-r--r--	1540	ascription_type.cpp	blob \| history \| raw
-rw-r--r--	1929	ascription_type.h	blob \| history \| raw
-rw-r--r--	3460	attribute.cpp	blob \| history \| raw
-rw-r--r--	19758	attribute.h	blob \| history \| raw
-rw-r--r--	15061	attribute_internals.h	blob \| history \| raw
-rw-r--r--	1697	attribute_unique_id.h	blob \| history \| raw
-rw-r--r--	1493	bound_var_manager.cpp	blob \| history \| raw
-rw-r--r--	3368	bound_var_manager.h	blob \| history \| raw
-rw-r--r--	2513	buffered_proof_generator.cpp	blob \| history \| raw
-rw-r--r--	2035	buffered_proof_generator.h	blob \| history \| raw
-rw-r--r--	1140	datatype_index.cpp	blob \| history \| raw
-rw-r--r--	1854	datatype_index.h	blob \| history \| raw
-rw-r--r--	27866	dtype.cpp	blob \| history \| raw
-rw-r--r--	26200	dtype.h	blob \| history \| raw
-rw-r--r--	20118	dtype_cons.cpp	blob \| history \| raw
-rw-r--r--	13276	dtype_cons.h	blob \| history \| raw
-rw-r--r--	2092	dtype_selector.cpp	blob \| history \| raw
-rw-r--r--	2421	dtype_selector.h	blob \| history \| raw
-rw-r--r--	1901	emptybag.cpp	blob \| history \| raw
-rw-r--r--	1698	emptybag.h	blob \| history \| raw
-rw-r--r--	2018	emptyset.cpp	blob \| history \| raw
-rw-r--r--	1743	emptyset.h	blob \| history \| raw
-rw-r--r--	3575	expr_iomanip.cpp	blob \| history \| raw
-rw-r--r--	4487	expr_iomanip.h	blob \| history \| raw
-rw-r--r--	1600	kind_map.h	blob \| history \| raw
-rw-r--r--	2447	kind_template.cpp	blob \| history \| raw
-rw-r--r--	2823	kind_template.h	blob \| history \| raw
-rw-r--r--	7510	lazy_proof.cpp	blob \| history \| raw
-rw-r--r--	4399	lazy_proof.h	blob \| history \| raw
-rw-r--r--	11063	lazy_proof_chain.cpp	blob \| history \| raw
-rw-r--r--	6122	lazy_proof_chain.h	blob \| history \| raw
-rw-r--r--	5656	match_trie.cpp	blob \| history \| raw
-rw-r--r--	2526	match_trie.h	blob \| history \| raw
-rw-r--r--	5212	metakind_template.cpp	blob \| history \| raw
-rw-r--r--	6078	metakind_template.h	blob \| history \| raw
-rwxr-xr-x	7231	mkexpr	blob \| history \| raw
-rwxr-xr-x	9809	mkkind	blob \| history \| raw
-rwxr-xr-x	10363	mkmetakind	blob \| history \| raw
-rw-r--r--	3878	node.cpp	blob \| history \| raw
-rw-r--r--	47794	node.h	blob \| history \| raw
-rw-r--r--	18728	node_algorithm.cpp	blob \| history \| raw
-rw-r--r--	8602	node_algorithm.h	blob \| history \| raw
-rw-r--r--	48157	node_builder.h	blob \| history \| raw
-rw-r--r--	37439	node_manager.cpp	blob \| history \| raw
-rw-r--r--	54747	node_manager.h	blob \| history \| raw
-rw-r--r--	1288	node_manager_attributes.h	blob \| history \| raw
-rw-r--r--	3291	node_self_iterator.h	blob \| history \| raw
-rw-r--r--	4092	node_traversal.cpp	blob \| history \| raw
-rw-r--r--	4718	node_traversal.h	blob \| history \| raw
-rw-r--r--	2970	node_trie.cpp	blob \| history \| raw
-rw-r--r--	3961	node_trie.h	blob \| history \| raw
-rw-r--r--	2902	node_value.cpp	blob \| history \| raw
-rw-r--r--	14925	node_value.h	blob \| history \| raw
-rw-r--r--	3280	node_visitor.h	blob \| history \| raw
-rw-r--r--	13648	proof.cpp	blob \| history \| raw
-rw-r--r--	12399	proof.h	blob \| history \| raw
-rw-r--r--	10279	proof_checker.cpp	blob \| history \| raw
-rw-r--r--	7774	proof_checker.h	blob \| history \| raw
-rw-r--r--	5256	proof_ensure_closed.cpp	blob \| history \| raw
-rw-r--r--	2578	proof_ensure_closed.h	blob \| history \| raw
-rw-r--r--	2254	proof_generator.cpp	blob \| history \| raw
-rw-r--r--	4060	proof_generator.h	blob \| history \| raw
-rw-r--r--	2151	proof_node.cpp	blob \| history \| raw
-rw-r--r--	5248	proof_node.h	blob \| history \| raw
-rw-r--r--	5409	proof_node_algorithm.cpp	blob \| history \| raw
-rw-r--r--	2401	proof_node_algorithm.h	blob \| history \| raw
-rw-r--r--	10885	proof_node_manager.cpp	blob \| history \| raw
-rw-r--r--	8122	proof_node_manager.h	blob \| history \| raw
-rw-r--r--	4345	proof_node_to_sexpr.cpp	blob \| history \| raw
-rw-r--r--	2112	proof_node_to_sexpr.h	blob \| history \| raw
-rw-r--r--	9093	proof_node_updater.cpp	blob \| history \| raw
-rw-r--r--	6002	proof_node_updater.h	blob \| history \| raw
-rw-r--r--	10614	proof_rule.cpp	blob \| history \| raw
-rw-r--r--	51104	proof_rule.h	blob \| history \| raw
-rw-r--r--	2191	proof_set.h	blob \| history \| raw
-rw-r--r--	2957	proof_step_buffer.cpp	blob \| history \| raw
-rw-r--r--	2879	proof_step_buffer.h	blob \| history \| raw
-rw-r--r--	830	record.cpp	blob \| history \| raw
-rw-r--r--	1756	record.h	blob \| history \| raw
-rw-r--r--	7950	sequence.cpp	blob \| history \| raw
-rw-r--r--	5748	sequence.h	blob \| history \| raw
-rw-r--r--	9275	skolem_manager.cpp	blob \| history \| raw
-rw-r--r--	10252	skolem_manager.h	blob \| history \| raw
-rw-r--r--	3542	subs.cpp	blob \| history \| raw
-rw-r--r--	2946	subs.h	blob \| history \| raw
-rw-r--r--	3354	sygus_datatype.cpp	blob \| history \| raw
-rw-r--r--	4646	sygus_datatype.h	blob \| history \| raw
-rw-r--r--	10723	symbol_manager.cpp	blob \| history \| raw
-rw-r--r--	5289	symbol_manager.h	blob \| history \| raw
-rw-r--r--	22027	symbol_table.cpp	blob \| history \| raw
-rw-r--r--	7110	symbol_table.h	blob \| history \| raw
-rw-r--r--	5293	tconv_seq_proof_generator.cpp	blob \| history \| raw
-rw-r--r--	4894	tconv_seq_proof_generator.h	blob \| history \| raw
-rw-r--r--	5911	term_canonize.cpp	blob \| history \| raw
-rw-r--r--	3658	term_canonize.h	blob \| history \| raw
-rw-r--r--	3413	term_context.cpp	blob \| history \| raw
-rw-r--r--	6058	term_context.h	blob \| history \| raw
-rw-r--r--	2368	term_context_node.cpp	blob \| history \| raw
-rw-r--r--	2467	term_context_node.h	blob \| history \| raw
-rw-r--r--	2304	term_context_stack.cpp	blob \| history \| raw
-rw-r--r--	2152	term_context_stack.h	blob \| history \| raw
-rw-r--r--	19592	term_conversion_proof_generator.cpp	blob \| history \| raw
-rw-r--r--	10457	term_conversion_proof_generator.h	blob \| history \| raw
-rw-r--r--	1110	type_checker.h	blob \| history \| raw
-rw-r--r--	1958	type_checker_template.cpp	blob \| history \| raw
-rw-r--r--	5156	type_checker_util.h	blob \| history \| raw
-rw-r--r--	3180	type_matcher.cpp	blob \| history \| raw
-rw-r--r--	2300	type_matcher.h	blob \| history \| raw
-rw-r--r--	19547	type_node.cpp	blob \| history \| raw
-rw-r--r--	31310	type_node.h	blob \| history \| raw
-rw-r--r--	3645	type_properties_template.h	blob \| history \| raw
-rw-r--r--	3213	uninterpreted_constant.cpp	blob \| history \| raw
-rw-r--r--	1939	uninterpreted_constant.h	blob \| history \| raw