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

drwxr-xr-x		..
-rw-r--r--	2610	CMakeLists.txt	blob \| history \| raw
-rw-r--r--	9394	README	blob \| history \| raw
-rw-r--r--	2695	argument_extender.h	blob \| history \| raw
-rw-r--r--	3203	argument_extender_implementation.cpp	blob \| history \| raw
-rw-r--r--	3558	argument_extender_implementation.h	blob \| history \| raw
-rw-r--r--	1095	arith_heuristic_pivot_rule.cpp	blob \| history \| raw
-rw-r--r--	1101	arith_heuristic_pivot_rule.h	blob \| history \| raw
-rw-r--r--	15421	arith_options.toml	blob \| history \| raw
-rw-r--r--	1129	arith_propagation_mode.cpp	blob \| history \| raw
-rw-r--r--	1088	arith_propagation_mode.h	blob \| history \| raw
-rw-r--r--	1209	arith_unate_lemma_mode.cpp	blob \| history \| raw
-rw-r--r--	1125	arith_unate_lemma_mode.h	blob \| history \| raw
-rw-r--r--	2178	arrays_options.toml	blob \| history \| raw
-rw-r--r--	2895	base_handlers.h	blob \| history \| raw
-rw-r--r--	5203	base_options.toml	blob \| history \| raw
-rw-r--r--	1166	bool_to_bv_mode.cpp	blob \| history \| raw
-rw-r--r--	1336	bool_to_bv_mode.h	blob \| history \| raw
-rw-r--r--	84	booleans_options.toml	blob \| history \| raw
-rw-r--r--	82	builtin_options.toml	blob \| history \| raw
-rw-r--r--	2940	bv_bitblast_mode.cpp	blob \| history \| raw
-rw-r--r--	2960	bv_bitblast_mode.h	blob \| history \| raw
-rw-r--r--	7995	bv_options.toml	blob \| history \| raw
-rw-r--r--	1281	datatypes_modes.h	blob \| history \| raw
-rw-r--r--	4982	datatypes_options.toml	blob \| history \| raw
-rw-r--r--	1125	decision_mode.cpp	blob \| history \| raw
-rw-r--r--	1626	decision_mode.h	blob \| history \| raw
-rw-r--r--	1806	decision_options.toml	blob \| history \| raw
-rw-r--r--	865	decision_weight.h	blob \| history \| raw
-rw-r--r--	4454	didyoumean.cpp	blob \| history \| raw
-rw-r--r--	1480	didyoumean.h	blob \| history \| raw
-rw-r--r--	21454	didyoumean_test.cpp	blob \| history \| raw
-rw-r--r--	2061	expr_options.toml	blob \| history \| raw
-rw-r--r--	313	fp_options.toml	blob \| history \| raw
-rwxr-xr-x	99	generate-toml-files.sh	blob \| history \| raw
-rw-r--r--	318	idl_options.toml	blob \| history \| raw
-rw-r--r--	7572	language.cpp	blob \| history \| raw
-rw-r--r--	6947	language.h	blob \| history \| raw
-rw-r--r--	2243	language.i	blob \| history \| raw
-rw-r--r--	3630	main_options.toml	blob \| history \| raw
-rwxr-xr-x	52415	mkoptions.py	blob \| history \| raw
-rw-r--r--	845	module_template.cpp	blob \| history \| raw
-rw-r--r--	1069	module_template.h	blob \| history \| raw
-rw-r--r--	2931	open_ostream.cpp	blob \| history \| raw
-rw-r--r--	1954	open_ostream.h	blob \| history \| raw
-rw-r--r--	743	option_exception.cpp	blob \| history \| raw
-rw-r--r--	2103	option_exception.h	blob \| history \| raw
-rw-r--r--	83	option_exception.i	blob \| history \| raw
-rw-r--r--	17319	options.h	blob \| history \| raw
-rw-r--r--	249	options.i	blob \| history \| raw
-rw-r--r--	71755	options_handler.cpp	blob \| history \| raw
-rw-r--r--	13613	options_handler.h	blob \| history \| raw
-rw-r--r--	1023	options_holder_template.h	blob \| history \| raw
-rw-r--r--	6190	options_public_functions.cpp	blob \| history \| raw
-rw-r--r--	26486	options_template.cpp	blob \| history \| raw
-rw-r--r--	2469	parser_options.toml	blob \| history \| raw
-rw-r--r--	1417	printer_modes.cpp	blob \| history \| raw
-rw-r--r--	1595	printer_modes.h	blob \| history \| raw
-rw-r--r--	1006	printer_options.toml	blob \| history \| raw
-rw-r--r--	1070	proof_options.toml	blob \| history \| raw
-rw-r--r--	2381	prop_options.toml	blob \| history \| raw
-rw-r--r--	2248	quantifiers_modes.cpp	blob \| history \| raw
-rw-r--r--	11383	quantifiers_modes.h	blob \| history \| raw
-rw-r--r--	54572	quantifiers_options.toml	blob \| history \| raw
-rw-r--r--	1406	sep_options.toml	blob \| history \| raw
-rw-r--r--	2487	set_language.cpp	blob \| history \| raw
-rw-r--r--	2725	set_language.h	blob \| history \| raw
-rw-r--r--	766	sets_options.toml	blob \| history \| raw
-rw-r--r--	1088	smt_modes.cpp	blob \| history \| raw
-rw-r--r--	1892	smt_modes.h	blob \| history \| raw
-rw-r--r--	18539	smt_options.toml	blob \| history \| raw
-rw-r--r--	2168	strings_modes.cpp	blob \| history \| raw
-rw-r--r--	2018	strings_modes.h	blob \| history \| raw
-rw-r--r--	6234	strings_options.toml	blob \| history \| raw
-rw-r--r--	1123	sygus_out_mode.h	blob \| history \| raw
-rw-r--r--	1341	theory_options.toml	blob \| history \| raw
-rw-r--r--	1059	theoryof_mode.cpp	blob \| history \| raw
-rw-r--r--	1177	theoryof_mode.h	blob \| history \| raw
-rw-r--r--	2650	uf_options.toml	blob \| history \| raw
-rw-r--r--	1341	ufss_mode.h	blob \| history \| raw