projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Revisit strings extended function decomposition (#2892)
[cvc5.git] / cmake /
2019-01-11 Alex OzdemirFixed linking against drat2er, and use drat2er (#2785) tree | commitdiff
2018-12-17 Alex Ozdemir Configured for linking against drat2er (#2754) tree | commitdiff
2018-10-22 Andres NoetzliOnly build CryptoMiniSat library, no binary (#2657) tree | commitdiff
2018-10-20 Mathias PreinerRemove antlr_undefines.h. (#2664) tree | commitdiff
2018-09-28 Mathias Preinercmake: Add CxxTest finder module to allow custom paths... tree | commitdiff
2018-09-27 Mathias Preinercmake: Only print dumping warning if not disabled by... tree | commitdiff
2018-09-24 Aina Niemetzcmake: Fix and simplify git version info. (#2516) tree | commitdiff
2018-09-22 Mathias Preinercmake: Build fully static binaries with option --static. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add more documentation, some fixes and cleanup. tree | commitdiff
2018-09-22 Mathias Preinercmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add support for cross-compiling for Windows. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Do not allow dumping with portfolio build. tree | commitdiff
2018-09-22 Mathias Preinercmake: FindANTLR: Check if antlr3FileStreamNew is avail... tree | commitdiff
2018-09-22 Mathias Preinercmake: Add some more documentation, cleanup. tree | commitdiff
2018-09-22 Mathias Preinercmake: Move helper functions to cmake/Helpers.cmake. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Refactor and clean up build profile printing. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for Valgrind. tree | commitdiff
2018-09-22 Mathias Preinercmake: Various CMakeLists.txt fixes/cleanup. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add missing checks for cvc4autoconfig.h to Confi... tree | commitdiff
2018-09-22 Mathias Preinercmake: Add options for specifying install directories... tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for GLPK-cut-log. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for ABC. tree | commitdiff
2018-09-22 Mathias Preinercmake: Compile Java tests and add to ctest if Java... tree | commitdiff
2018-09-22 Mathias Preinercmake: Various portfolio/default option fixes. tree | commitdiff
2018-09-22 Mathias Preinercmake: Enable shared by default. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Add support for CxxTest. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Filter through and disable unused HAVE_* variabl... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added support for coverage and profiling. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added 3-valued option handling (to enable detect... tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for readline. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added licensing options and warnings/errors. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Add build configurations. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for LFSC. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for CaDiCaL. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for CryptoMiniSat. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for SymFPU. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for CLN. tree | commitdiff
2018-09-22 Mathias Preinercmake: Antlr parser generation done. tree | commitdiff
2018-09-22 Aina Niemetzcmake: .cpp generation done, .h generation not yet... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff