projects / cvc5.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit
[cvc5.git] / cmake /
drwxr-xr-x   ..
-rw-r--r-- 1152 CMakeGraphVizOptions.cmake.in blob | history | raw
-rw-r--r-- 2332 CodeCoverage.cmake blob | history | raw
-rw-r--r-- 1556 ConfigCompetition.cmake blob | history | raw
-rw-r--r-- 1209 ConfigDebug.cmake blob | history | raw
-rw-r--r-- 990 ConfigProduction.cmake blob | history | raw
-rw-r--r-- 989 ConfigTesting.cmake blob | history | raw
-rw-r--r-- 3790 ConfigureCvc5.cmake blob | history | raw
-rw-r--r-- 5981 FindANTLR3.cmake blob | history | raw
-rw-r--r-- 3283 FindCLN.cmake blob | history | raw
-rw-r--r-- 1510 FindCVC5PythonicAPI.cmake blob | history | raw
-rw-r--r-- 4480 FindCaDiCaL.cmake blob | history | raw
-rw-r--r-- 3223 FindCoCoA.cmake blob | history | raw
-rw-r--r-- 4055 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-- 2226 FindEditline.cmake blob | history | raw
-rw-r--r-- 1453 FindGLPK.cmake blob | history | raw
-rw-r--r-- 3118 FindGMP.cmake blob | history | raw
-rw-r--r-- 2997 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-- 2887 FindKissat.cmake blob | history | raw
-rw-r--r-- 1224 FindLFSC.cmake blob | history | raw
-rw-r--r-- 8429 FindPoly.cmake blob | history | raw
-rw-r--r-- 760 FindSphinx.cmake blob | history | raw
-rw-r--r-- 2254 FindSymFPU.cmake blob | history | raw
-rw-r--r-- 933 FindValgrind.cmake blob | history | raw
-rw-r--r-- 8735 Helpers.cmake blob | history | raw
-rw-r--r-- 2002 IWYU.cmake blob | history | raw
-rw-r--r-- 1257 Toolchain-aarch64.cmake blob | history | raw
-rw-r--r-- 1262 Toolchain-mingw64.cmake blob | history | raw
-rw-r--r-- 940 cvc5Config.cmake.in blob | history | raw
-rw-r--r-- 5342 deps-helper.cmake blob | history | raw
drwxr-xr-x - deps-utils tree | history
-rw-r--r-- 1793 fuzzing-murxla.cmake blob | history | raw
-rw-r--r-- 1179 target-graphs.cmake blob | history | raw
-rw-r--r-- 425 version-base.cmake blob | history | raw
-rw-r--r-- 441 version-base.cmake.template blob | history | raw
-rw-r--r-- 4797 version.cmake blob | history | raw