projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Refactor cmake: auto-download and default-on dependencies (#6355)
[cvc5.git]
/
cmake
/
drwxr-xr-x
..
-rw-r--r--
1058
CVC4Config.cmake.in
blob
|
history
|
raw
-rw-r--r--
11727
CodeCoverage.cmake
blob
|
history
|
raw
-rw-r--r--
1627
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
ConfigureCVC4.cmake
blob
|
history
|
raw
-rw-r--r--
1496
FindABC.cmake
blob
|
history
|
raw
-rw-r--r--
4775
FindANTLR3.cmake
blob
|
history
|
raw
-rw-r--r--
2749
FindCLN.cmake
blob
|
history
|
raw
-rw-r--r--
3616
FindCaDiCaL.cmake
blob
|
history
|
raw
-rw-r--r--
3706
FindCryptoMiniSat.cmake
blob
|
history
|
raw
-rw-r--r--
2493
FindCython.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--
2039
FindEditline.cmake
blob
|
history
|
raw
-rw-r--r--
1453
FindGLPK.cmake
blob
|
history
|
raw
-rw-r--r--
2544
FindGMP.cmake
blob
|
history
|
raw
-rw-r--r--
2897
FindGTest.cmake
blob
|
history
|
raw
-rw-r--r--
844
FindHamcrest.cmake
blob
|
history
|
raw
-rw-r--r--
1211
FindJUnit.cmake
blob
|
history
|
raw
-rw-r--r--
2740
FindKissat.cmake
blob
|
history
|
raw
-rw-r--r--
1224
FindLFSC.cmake
blob
|
history
|
raw
-rw-r--r--
4510
FindPoly.cmake
blob
|
history
|
raw
-rw-r--r--
18960
FindPythonExtensions.cmake
blob
|
history
|
raw
-rw-r--r--
760
FindSphinx.cmake
blob
|
history
|
raw
-rw-r--r--
2050
FindSymFPU.cmake
blob
|
history
|
raw
-rw-r--r--
933
FindValgrind.cmake
blob
|
history
|
raw
-rw-r--r--
6598
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--
13942
UseCython.cmake
blob
|
history
|
raw
-rw-r--r--
4636
deps-helper.cmake
blob
|
history
|
raw
drwxr-xr-x
-
deps-utils
tree
|
history
-rw-r--r--
14634
targetLinkLibrariesWithDynamicLookup.cmake
blob
|
history
|
raw