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

drwxr-xr-x		..
-rw-r--r--	71	Makefile	blob \| history \| raw
-rw-r--r--	4067	Makefile.am	blob \| history \| raw
-rw-r--r--	9394	README	blob \| history \| raw
-rw-r--r--	2701	argument_extender.h	blob \| history \| raw
-rw-r--r--	3209	argument_extender_implementation.cpp	blob \| history \| raw
-rw-r--r--	3564	argument_extender_implementation.h	blob \| history \| raw
-rw-r--r--	1095	arith_heuristic_pivot_rule.cpp	blob \| history \| raw
-rw-r--r--	1107	arith_heuristic_pivot_rule.h	blob \| history \| raw
-rw-r--r--	15422	arith_options.toml	blob \| history \| raw
-rw-r--r--	1139	arith_propagation_mode.cpp	blob \| history \| raw
-rw-r--r--	1094	arith_propagation_mode.h	blob \| history \| raw
-rw-r--r--	1219	arith_unate_lemma_mode.cpp	blob \| history \| raw
-rw-r--r--	1131	arith_unate_lemma_mode.h	blob \| history \| raw
-rw-r--r--	2178	arrays_options.toml	blob \| history \| raw
-rw-r--r--	2886	base_handlers.h	blob \| history \| raw
-rw-r--r--	5203	base_options.toml	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--	1903	bv_bitblast_mode.cpp	blob \| history \| raw
-rw-r--r--	1972	bv_bitblast_mode.h	blob \| history \| raw
-rw-r--r--	6376	bv_options.toml	blob \| history \| raw
-rw-r--r--	1287	datatypes_modes.h	blob \| history \| raw
-rw-r--r--	5442	datatypes_options.toml	blob \| history \| raw
-rw-r--r--	1135	decision_mode.cpp	blob \| history \| raw
-rw-r--r--	1632	decision_mode.h	blob \| history \| raw
-rw-r--r--	1806	decision_options.toml	blob \| history \| raw
-rw-r--r--	886	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--	21528	didyoumean_test.cpp	blob \| history \| raw
-rw-r--r--	2061	expr_options.toml	blob \| history \| raw
-rw-r--r--	60	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--	7304	language.cpp	blob \| history \| raw
-rw-r--r--	6799	language.h	blob \| history \| raw
-rw-r--r--	2247	language.i	blob \| history \| raw
-rw-r--r--	5274	main_options.toml	blob \| history \| raw
-rwxr-xr-x	52521	mkoptions.py	blob \| history \| raw
-rw-r--r--	860	module_template.cpp	blob \| history \| raw
-rw-r--r--	1075	module_template.h	blob \| history \| raw
-rw-r--r--	2916	open_ostream.cpp	blob \| history \| raw
-rw-r--r--	1960	open_ostream.h	blob \| history \| raw
-rw-r--r--	1790	option_exception.h	blob \| history \| raw
-rw-r--r--	83	option_exception.i	blob \| history \| raw
-rw-r--r--	18274	options.h	blob \| history \| raw
-rw-r--r--	249	options.i	blob \| history \| raw
-rw-r--r--	58901	options_handler.cpp	blob \| history \| raw
-rw-r--r--	11734	options_handler.h	blob \| history \| raw
-rw-r--r--	1029	options_holder_template.h	blob \| history \| raw
-rw-r--r--	7183	options_public_functions.cpp	blob \| history \| raw
-rw-r--r--	28189	options_template.cpp	blob \| history \| raw
-rw-r--r--	2202	parser_options.toml	blob \| history \| raw
-rw-r--r--	1427	printer_modes.cpp	blob \| history \| raw
-rw-r--r--	1601	printer_modes.h	blob \| history \| raw
-rw-r--r--	750	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--	2412	quantifiers_modes.cpp	blob \| history \| raw
-rw-r--r--	9238	quantifiers_modes.h	blob \| history \| raw
-rw-r--r--	48605	quantifiers_options.toml	blob \| history \| raw
-rw-r--r--	1406	sep_options.toml	blob \| history \| raw
-rw-r--r--	2456	set_language.cpp	blob \| history \| raw
-rw-r--r--	2716	set_language.h	blob \| history \| raw
-rw-r--r--	983	sets_options.toml	blob \| history \| raw
-rw-r--r--	1113	simplification_mode.cpp	blob \| history \| raw
-rw-r--r--	1217	simplification_mode.h	blob \| history \| raw
-rw-r--r--	10674	smt_options	blob \| history \| raw
-rw-r--r--	18309	smt_options.toml	blob \| history \| raw
-rw-r--r--	5567	strings_options.toml	blob \| history \| raw
-rw-r--r--	1129	sygus_out_mode.h	blob \| history \| raw
-rw-r--r--	1341	theory_options.toml	blob \| history \| raw
-rw-r--r--	1055	theoryof_mode.cpp	blob \| history \| raw
-rw-r--r--	1177	theoryof_mode.h	blob \| history \| raw
-rw-r--r--	3374	uf_options.toml	blob \| history \| raw
-rw-r--r--	1169	ufss_mode.h	blob \| history \| raw