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

drwxr-xr-x		..
-rw-r--r--	2273	CMakeLists.txt	blob \| history \| raw
-rw-r--r--	9378	README	blob \| history \| raw
-rw-r--r--	16858	arith_options.toml	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--	3893	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--	8998	bv_options.toml	blob \| history \| raw
-rw-r--r--	5003	datatypes_options.toml	blob \| history \| raw
-rw-r--r--	2203	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--	21458	didyoumean_test.cpp	blob \| history \| raw
-rw-r--r--	1289	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--	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--	2616	main_options.toml	blob \| history \| raw
-rwxr-xr-x	47459	mkoptions.py	blob \| history \| raw
-rw-r--r--	879	module_template.cpp	blob \| history \| raw
-rw-r--r--	1078	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--	16057	options.h	blob \| history \| raw
-rw-r--r--	130	options.i	blob \| history \| raw
-rw-r--r--	19139	options_handler.cpp	blob \| history \| raw
-rw-r--r--	5123	options_handler.h	blob \| history \| raw
-rw-r--r--	1023	options_holder_template.h	blob \| history \| raw
-rw-r--r--	5897	options_public_functions.cpp	blob \| history \| raw
-rw-r--r--	24405	options_template.cpp	blob \| history \| raw
-rw-r--r--	2245	parser_options.toml	blob \| history \| raw
-rw-r--r--	1061	printer_modes.cpp	blob \| history \| raw
-rw-r--r--	1264	printer_modes.h	blob \| history \| raw
-rw-r--r--	1509	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--	62505	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--	19163	smt_options.toml	blob \| history \| raw
-rw-r--r--	6095	strings_options.toml	blob \| history \| raw
-rw-r--r--	1170	theory_options.toml	blob \| history \| raw
-rw-r--r--	3026	uf_options.toml	blob \| history \| raw