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

drwxr-xr-x		..
-rw-r--r--	13943	CodeCoverage.cmake	blob \| history \| raw
-rw-r--r--	1614	ConfigCompetition.cmake	blob \| history \| raw
-rw-r--r--	1265	ConfigDebug.cmake	blob \| history \| raw
-rw-r--r--	1029	ConfigProduction.cmake	blob \| history \| raw
-rw-r--r--	1045	ConfigTesting.cmake	blob \| history \| raw
-rw-r--r--	3770	ConfigureCvc5.cmake	blob \| history \| raw
-rw-r--r--	1496	FindABC.cmake	blob \| history \| raw
-rw-r--r--	6341	FindANTLR3.cmake	blob \| history \| raw
-rw-r--r--	3672	FindCLN.cmake	blob \| history \| raw
-rw-r--r--	4464	FindCaDiCaL.cmake	blob \| history \| raw
-rw-r--r--	3207	FindCoCoA.cmake	blob \| history \| raw
-rw-r--r--	3893	FindCryptoMiniSat.cmake	blob \| history \| raw
-rw-r--r--	1324	FindDrat2Er.cmake	blob \| history \| raw
-rw-r--r--	3608	FindDummy.cmake.template	blob \| history \| raw
-rw-r--r--	2211	FindEditline.cmake	blob \| history \| raw
-rw-r--r--	1453	FindGLPK.cmake	blob \| history \| raw
-rw-r--r--	3307	FindGMP.cmake	blob \| history \| raw
-rw-r--r--	2980	FindGTest.cmake	blob \| history \| raw
-rw-r--r--	844	FindHamcrest.cmake	blob \| history \| raw
-rw-r--r--	2051	FindJUnit.cmake	blob \| history \| raw
-rw-r--r--	2870	FindKissat.cmake	blob \| history \| raw
-rw-r--r--	1224	FindLFSC.cmake	blob \| history \| raw
-rw-r--r--	6366	FindPoly.cmake	blob \| history \| raw
-rw-r--r--	760	FindSphinx.cmake	blob \| history \| raw
-rw-r--r--	2240	FindSymFPU.cmake	blob \| history \| raw
-rw-r--r--	933	FindValgrind.cmake	blob \| history \| raw
-rw-r--r--	7248	Helpers.cmake	blob \| history \| raw
-rw-r--r--	2002	IWYU.cmake	blob \| history \| raw
-rw-r--r--	1222	Toolchain-aarch64.cmake	blob \| history \| raw
-rw-r--r--	1302	Toolchain-mingw64.cmake	blob \| history \| raw
-rw-r--r--	1065	cvc5Config.cmake.in	blob \| history \| raw
-rw-r--r--	5308	deps-helper.cmake	blob \| history \| raw
drwxr-xr-x	-	deps-utils	tree \| history
-rw-r--r--	455	version-base.cmake	blob \| history \| raw
-rw-r--r--	470	version-base.cmake.template	blob \| history \| raw
-rw-r--r--	4672	version.cmake	blob \| history \| raw