projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Disable relational triggers (#2994)
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
commit
|
commitdiff
|
tree
2019-03-26
Mathias Preiner
get-authors: Exclude empty lines.
commit
|
commitdiff
|
tree
2019-03-26
Mathias Preiner
get-authors: Exclude common source code patterns. ...
commit
|
commitdiff
|
tree
2019-03-14
Mathias Preiner
Disable DCO signing for organization members.
commit
|
commitdiff
|
tree
2019-03-13
Mathias Preiner
Fix public headers for make install. (#2856)
commit
|
commitdiff
|
tree
2019-01-05
Mathias Preiner
cmake: Disable unit tests for static builds. (#2775)
commit
|
commitdiff
|
tree
2018-11-14
Mathias Preiner
cmake: Require boost 1.50.0 for examples. (#2710)
commit
|
commitdiff
|
tree
2018-11-08
Mathias Preiner
cmake: Add option to explicitely enable/disable static...
commit
|
commitdiff
|
tree
2018-10-20
Mathias Preiner
Remove antlr_undefines.h. (#2664)
commit
|
commitdiff
|
tree
2018-10-19
Mathias Preiner
Remove autotools build system. (#2639)
commit
|
commitdiff
|
tree
2018-10-19
Mathias Preiner
cmake: Run regression level 2 for make check. (#2645)
commit
|
commitdiff
|
tree
2018-10-16
Mathias Preiner
cmake: Add CxxTest include directory to unit test includes...
commit
|
commitdiff
|
tree
2018-10-15
Mathias Preiner
cmake: Generate git_versioninfo.cpp on build time....
commit
|
commitdiff
|
tree
2018-10-11
Mathias Preiner
cmake: Use gcovr instead lcov for coverage report generation...
commit
|
commitdiff
|
tree
2018-10-03
Mathias Preiner
unit: Fix ASAN detection for GCC. (#2561)
commit
|
commitdiff
|
tree
2018-10-02
Mathias Preiner
cmake: Add examples to build-tests, add warning for...
commit
|
commitdiff
|
tree
2018-10-01
Mathias Preiner
cmake: Generate compile_commands.json on configure...
commit
|
commitdiff
|
tree
2018-10-01
Mathias Preiner
cmake: Add build target build-tests to build all test...
commit
|
commitdiff
|
tree
2018-09-30
Mathias Preiner
cmake: Ignore ctest exit code for coverage reports.
commit
|
commitdiff
|
tree
2018-09-28
Mathias Preiner
cmake: Add CxxTest finder module to allow custom paths...
commit
|
commitdiff
|
tree
2018-09-27
Mathias Preiner
cmake: Only print dumping warning if not disabled by...
commit
|
commitdiff
|
tree
2018-09-26
Mathias Preiner
cmake: Fix test target dependency issues. (#2540)
commit
|
commitdiff
|
tree
2018-09-26
Mathias Preiner
cmake: Exclude examples for coverage target. (#2535)
commit
|
commitdiff
|
tree
2018-09-26
Mathias Preiner
cmake: Add check for GCC 4.5.1 and warn user. (#2533)
commit
|
commitdiff
|
tree
2018-09-25
Mathias Preiner
cmake: Fix tag code generation dependencies. (#2529)
commit
|
commitdiff
|
tree
2018-09-25
Mathias Preiner
cmake: Fix dependencies for code generation. (#2524)
commit
|
commitdiff
|
tree
2018-09-25
Mathias Preiner
Fix wiki urls. (#2504)
commit
|
commitdiff
|
tree
2018-09-24
Mathias Preiner
cmake: Fix theory order #2. (#2522)
commit
|
commitdiff
|
tree
2018-09-24
Mathias Preiner
cmake: Fix theory order. (#2518)
commit
|
commitdiff
|
tree
2018-09-24
Mathias Preiner
cmake: Add program prefix option. (#2515)
commit
|
commitdiff
|
tree
2018-09-24
Mathias Preiner
Fix generating debug/trace tags.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add python3 option.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Enable -Wall.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Fix systemtests dependency.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Build fully static binaries with option --static.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Run make coverage in parallel by default.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add more documentation, some fixes and cleanup.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: configure wrapper: Modify next steps message...
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Guard GetGitRevisionDescription.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add support for cross-compiling for Windows.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Require JUnit version 4.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Guard examples that require Boost.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Disable unit tests if assertions are not enabled.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: FindANTLR: Check if antlr3FileStreamNew is available.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: configure.sh wrapper: Fixes for sh.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
travis: Switch to cmake.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: configure.sh wrapper: Add --name option.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: configure.sh wrapper: Add --prefix for install...
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add some more documentation, cleanup.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Move helper functions to cmake/Helpers.cmake.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Simplify build type configuration.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add make install rule.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for Valgrind.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Various CMakeLists.txt fixes/cleanup.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Only build libcvc4 and libcvc4parser as libraries.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Move find_package to where it is actually needed.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add Java runtime as required dependency (required...
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add convenience wrappers for tag generation.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add library versioning for libcvc4.so.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Rebase with current master, add new tests/source...
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add missing checks for cvc4autoconfig.h to ConfigureC...
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Use target specific includes for libcvc4.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add missing dependency.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add support for building static binaries/libraries.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add options for specifying install directories...
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for GLPK-cut-log.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for ABC.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Compile Java tests and add to ctest if Java...
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add SWIG support + Python and Java bindings.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Various portfolio/default option fixes.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add portfolio support.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add ASAN support.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Enable shared by default.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Disable W-suggest-override for unit tests.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Do not set global output directories for binaries...
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Fix some includes.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for readline.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Generate token headers.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Cleanup CMakeLists.txt files, remove SHARED.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for LFSC.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for CaDiCaL.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for CryptoMiniSat.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for SymFPU.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for CLN.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add libsignatures for proofs.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Remove unused CMakeLists.txt
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Working build infrastructure.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Antlr parser generation done.
commit
|
commitdiff
|
tree
2018-09-13
Mathias Preiner
Fix #include for minisat headers in bvminisat. (#2463)
commit
|
commitdiff
|
tree
2018-09-07
Mathias Preiner
Replace boost::integer_traits with std::numeric_limits...
commit
|
commitdiff
|
tree
2018-09-07
Mathias Preiner
Remove clock_gettime() replacement for macOS. (#2436)
commit
|
commitdiff
|
tree
2018-09-05
Mathias Preiner
Use std::uniqe_ptr for d_eq_infer to make Coverity...
commit
|
commitdiff
|
tree
2018-09-05
Mathias Preiner
Add HAVE_CLOCK_GETTIME guard to clock_gettime.c (#2428)
commit
|
commitdiff
|
tree
2018-08-30
Mathias Preiner
Refactor theory preprocess into preprocessing pass...
commit
|
commitdiff
|
tree
2018-08-29
Mathias Preiner
Refactor MipLibTrick preprocessing pass. (#2359)
commit
|
commitdiff
|
tree
2018-08-27
Mathias Preiner
Use std:unique_ptr instead of raw pointers in theory...
commit
|
commitdiff
|
tree
2018-08-21
Mathias Preiner
Move d_realAssertionsEnd from SmtEnginePrivate to AssertionP...
commit
|
commitdiff
|
tree
2018-08-17
Mathias Preiner
Refactor eager atoms preprocessing pass. (#2318)
commit
|
commitdiff
|
tree
2018-08-15
Mathias Preiner
Add contrib/get-gmp script. (#2292)
commit
|
commitdiff
|
tree
next