ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
cvc5/cmake
History
Johannes Kanig fdf148cc47 fix location of cadical files
2026-01-05 18:26:56 +09:00
..
deps-utils
Restore patch for cross-compiling Libpoly (#11885)
2025-05-14 19:29:21 +00:00
CMakeGraphVizOptions.cmake.in
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
CodeCoverage.cmake
cmake: Enable branch coverage for coverage builds. (#9667)
2023-04-11 11:38:22 -07:00
ConfigCompetition.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
ConfigDebug.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
ConfigProduction.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
ConfigTesting.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
ConfigureCvc5.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
cvc5Config.cmake.in
Add stable as a build type (#12128)
2025-09-18 18:36:59 +00:00
deps-helper.cmake
cmake: Introduce max version check for CaDiCaL. (#11691)
2025-02-28 01:06:54 +00:00
FindCaDiCaL.cmake
fix location of cadical files
2026-01-05 18:26:56 +09:00
FindCLN.cmake
cmake: Always set --build option when building GMP, CLN, and GLPK (#11953)
2025-06-02 17:08:24 +00:00
FindCoCoA.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
FindCryptoMiniSat.cmake
cmake: Remove workaround that got addressed on CMS side. (#11692)
2025-02-28 22:38:39 +00:00
FindCVC5PythonicAPI.cmake
Bump Pythonic API version (#12280)
2025-12-02 12:16:19 +00:00
FindCython.cmake
python: Allow None for tm argument in _term function (#12158)
2025-10-02 14:39:29 +00:00
FindDrat2Er.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
FindDummy.cmake.template
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
FindEditline.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
FindGLPK.cmake
Added --std=c99 to the GLPK build (#12160)
2025-10-03 21:33:42 +00:00
FindGMP.cmake
Merge cvc5 1.3.2 into AdaCore master
2026-01-05 10:43:25 +09:00
FindGTest.cmake
Update copyright headers, add missing header documentation. (#11990)
2025-06-18 19:41:07 +00:00
FindHamcrest.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
FindJUnit.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
FindKissat.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
FindLFSC.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
FindPip.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
FindPoly.cmake
Update wasm build (#11956)
2025-08-21 21:48:49 +00:00
FindRepairwheel.cmake
cmake: Install Sphinx if not available (#12020)
2025-07-15 15:02:19 +00:00
FindSetuptools.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
FindSphinx.cmake
cmake: Install Sphinx if not available (#12020)
2025-07-15 15:02:19 +00:00
FindSymFPU.cmake
Merge cvc5 1.3.2 into AdaCore master
2026-01-05 10:43:25 +09:00
FindValgrind.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
fuzzing-murxla.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
Helpers.cmake
Update copyright headers, add missing header documentation. (#11990)
2025-06-18 19:41:07 +00:00
install_python_wheel.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
IWYU.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
python-scripts-paths.cmake
cmake: Install Sphinx if not available (#12020)
2025-07-15 15:02:19 +00:00
target-graphs.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
Toolchain-aarch64.cmake
Fix GPL arm64 macOS builds (#11958)
2025-06-03 16:25:50 +00:00
Toolchain-mingw64.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
update_rpath_macos.cmake
Update copyright headers. (#11561)
2025-01-23 17:54:20 +00:00
version-base.cmake
Bump version to 1.3.2
2025-12-12 10:58:38 -08:00
version-base.cmake.template
Use Maven versioning scheme for cvc5 Java bindings (#12235)
2025-11-17 16:06:35 +00:00
version.cmake
Use Maven versioning scheme for cvc5 Java bindings (#12235)
2025-11-17 16:06:35 +00:00