projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
cmake: Add some more documentation, cleanup.
[cvc5.git]
/
cmake
/
drwxr-xr-x
..
-rw-r--r--
11727
CodeCoverage.cmake
blob
|
history
|
raw
-rw-r--r--
860
ConfigCompetition.cmake
blob
|
history
|
raw
-rw-r--r--
724
ConfigDebug.cmake
blob
|
history
|
raw
-rw-r--r--
626
ConfigProduction.cmake
blob
|
history
|
raw
-rw-r--r--
625
ConfigTesting.cmake
blob
|
history
|
raw
-rw-r--r--
2239
ConfigureCVC4.cmake
blob
|
history
|
raw
-rw-r--r--
1123
FindABC.cmake
blob
|
history
|
raw
-rw-r--r--
1161
FindANTLR.cmake
blob
|
history
|
raw
-rw-r--r--
945
FindCLN.cmake
blob
|
history
|
raw
-rw-r--r--
1060
FindCaDiCaL.cmake
blob
|
history
|
raw
-rw-r--r--
1267
FindCryptoMiniSat.cmake
blob
|
history
|
raw
-rw-r--r--
1435
FindGLPK.cmake
blob
|
history
|
raw
-rw-r--r--
964
FindGMP.cmake
blob
|
history
|
raw
-rw-r--r--
323
FindHamcrest.cmake
blob
|
history
|
raw
-rw-r--r--
690
FindJUnit.cmake
blob
|
history
|
raw
-rw-r--r--
994
FindLFSC.cmake
blob
|
history
|
raw
-rw-r--r--
1028
FindReadline.cmake
blob
|
history
|
raw
-rw-r--r--
805
FindSymFPU.cmake
blob
|
history
|
raw
-rw-r--r--
412
FindValgrind.cmake
blob
|
history
|
raw
-rw-r--r--
4963
GetGitRevisionDescription.cmake
blob
|
history
|
raw
-rw-r--r--
1283
GetGitRevisionDescription.cmake.in
blob
|
history
|
raw
-rw-r--r--
5024
Helpers.cmake
blob
|
history
|
raw