Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | CVC4Config.cmake.in | 105 | logplain |
-rw-r--r-- | CodeCoverage.cmake | 11727 | logplain |
-rw-r--r-- | ConfigCompetition.cmake | 860 | logplain |
-rw-r--r-- | ConfigDebug.cmake | 984 | logplain |
-rw-r--r-- | ConfigProduction.cmake | 886 | logplain |
-rw-r--r-- | ConfigTesting.cmake | 885 | logplain |
-rw-r--r-- | ConfigureCVC4.cmake | 2861 | logplain |
-rw-r--r-- | FindABC.cmake | 1202 | logplain |
-rw-r--r-- | FindANTLR.cmake | 1675 | logplain |
-rw-r--r-- | FindCLN.cmake | 1024 | logplain |
-rw-r--r-- | FindCaDiCaL.cmake | 1151 | logplain |
-rw-r--r-- | FindCryptoMiniSat.cmake | 1407 | logplain |
-rw-r--r-- | FindCxxTest.cmake | 1753 | logplain |
-rw-r--r-- | FindDrat2Er.cmake | 1326 | logplain |
-rw-r--r-- | FindGLPK.cmake | 1517 | logplain |
-rw-r--r-- | FindGMP.cmake | 1043 | logplain |
-rw-r--r-- | FindHamcrest.cmake | 323 | logplain |
-rw-r--r-- | FindJUnit.cmake | 690 | logplain |
-rw-r--r-- | FindLFSC.cmake | 1076 | logplain |
-rw-r--r-- | FindReadline.cmake | 2422 | logplain |
-rw-r--r-- | FindSymFPU.cmake | 805 | logplain |
-rw-r--r-- | FindValgrind.cmake | 412 | logplain |
-rw-r--r-- | Helpers.cmake | 5056 | logplain |
-rw-r--r-- | Toolchain-mingw64.cmake | 754 | logplain |