Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | CVC4Config.cmake.in | 335 | logplain |
-rw-r--r-- | CodeCoverage.cmake | 11727 | logplain |
-rw-r--r-- | ConfigCompetition.cmake | 860 | logplain |
-rw-r--r-- | ConfigDebug.cmake | 724 | logplain |
-rw-r--r-- | ConfigProduction.cmake | 626 | logplain |
-rw-r--r-- | ConfigTesting.cmake | 625 | logplain |
-rw-r--r-- | ConfigureCVC4.cmake | 2861 | logplain |
-rw-r--r-- | FindABC.cmake | 975 | logplain |
-rw-r--r-- | FindANTLR.cmake | 1051 | logplain |
-rw-r--r-- | FindCLN.cmake | 1024 | logplain |
-rw-r--r-- | FindCaDiCaL.cmake | 545 | logplain |
-rw-r--r-- | FindCryptoMiniSat.cmake | 674 | logplain |
-rw-r--r-- | FindCxxTest.cmake | 1954 | logplain |
-rw-r--r-- | FindDrat2Er.cmake | 789 | logplain |
-rw-r--r-- | FindGLPK.cmake | 932 | logplain |
-rw-r--r-- | FindGMP.cmake | 471 | logplain |
-rw-r--r-- | FindHamcrest.cmake | 323 | logplain |
-rw-r--r-- | FindJUnit.cmake | 690 | logplain |
-rw-r--r-- | FindLFSC.cmake | 488 | logplain |
-rw-r--r-- | FindReadline.cmake | 2422 | logplain |
-rw-r--r-- | FindSymFPU.cmake | 321 | logplain |
-rw-r--r-- | FindValgrind.cmake | 412 | logplain |
-rw-r--r-- | Helpers.cmake | 5056 | logplain |
-rw-r--r-- | Toolchain-mingw64.cmake | 754 | logplain |