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

drwxr-xr-x		..
-rw-r--r--	5690	CMakeLists.txt	blob \| history \| raw
-rw-r--r--	3737	array_store_all.cpp	blob \| history \| raw
-rw-r--r--	2199	array_store_all.h	blob \| history \| raw
-rw-r--r--	1540	ascription_type.cpp	blob \| history \| raw
-rw-r--r--	1964	ascription_type.h	blob \| history \| raw
-rw-r--r--	3481	attribute.cpp	blob \| history \| raw
-rw-r--r--	19806	attribute.h	blob \| history \| raw
-rw-r--r--	15121	attribute_internals.h	blob \| history \| raw
-rw-r--r--	1717	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--	1915	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--	1734	emptybag.h	blob \| history \| raw
-rw-r--r--	2019	emptyset.cpp	blob \| history \| raw
-rw-r--r--	1779	emptyset.h	blob \| history \| raw
-rw-r--r--	3584	expr_iomanip.cpp	blob \| history \| raw
-rw-r--r--	4540	expr_iomanip.h	blob \| history \| raw
-rw-r--r--	2571	expr_manager_scope.h	blob \| history \| raw
-rw-r--r--	34261	expr_manager_template.cpp	blob \| history \| raw
-rw-r--r--	15870	expr_manager_template.h	blob \| history \| raw
-rw-r--r--	24089	expr_template.cpp	blob \| history \| raw
-rw-r--r--	18291	expr_template.h	blob \| history \| raw
-rw-r--r--	1600	kind_map.h	blob \| history \| raw
-rw-r--r--	2462	kind_template.cpp	blob \| history \| raw
-rw-r--r--	2920	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--	5354	metakind_template.cpp	blob \| history \| raw
-rw-r--r--	6113	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--	3879	node.cpp	blob \| history \| raw
-rw-r--r--	49338	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--	48184	node_builder.h	blob \| history \| raw
-rw-r--r--	37940	node_manager.cpp	blob \| history \| raw
-rw-r--r--	57791	node_manager.h	blob \| history \| raw
-rw-r--r--	1307	node_manager_attributes.h	blob \| history \| raw
-rw-r--r--	3299	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--	2912	node_value.cpp	blob \| history \| raw
-rw-r--r--	14978	node_value.h	blob \| history \| raw
-rw-r--r--	3281	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--	7712	proof_checker.h	blob \| history \| raw
-rw-r--r--	5248	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--	10865	proof_node_manager.cpp	blob \| history \| raw
-rw-r--r--	8122	proof_node_manager.h	blob \| history \| raw
-rw-r--r--	4466	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--	50692	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--	832	record.cpp	blob \| history \| raw
-rw-r--r--	1793	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--	9741	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--	5264	symbol_manager.h	blob \| history \| raw
-rw-r--r--	22027	symbol_table.cpp	blob \| history \| raw
-rw-r--r--	7084	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--	19572	term_conversion_proof_generator.cpp	blob \| history \| raw
-rw-r--r--	10679	term_conversion_proof_generator.h	blob \| history \| raw
-rw-r--r--	17602	type.cpp	blob \| history \| raw
-rw-r--r--	17816	type.h	blob \| history \| raw
-rw-r--r--	1118	type_checker.h	blob \| history \| raw
-rw-r--r--	1966	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--	19304	type_node.cpp	blob \| history \| raw
-rw-r--r--	33008	type_node.h	blob \| history \| raw
-rw-r--r--	3653	type_properties_template.h	blob \| history \| raw
-rw-r--r--	3214	uninterpreted_constant.cpp	blob \| history \| raw
-rw-r--r--	1951	uninterpreted_constant.h	blob \| history \| raw
-rw-r--r--	1696	variable_type_map.h	blob \| history \| raw