projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Update theory preprocessor to use Env (#7288)
[cvc5.git]
/
cmake
/
2021-10-01
Gereon Kremer
Remove (apparently obsolete) checks in cms config ...
tree
|
commitdiff
2021-09-30
Gereon Kremer
Refactor our static builds (#7251)
tree
|
commitdiff
2021-09-28
Gereon Kremer
Remove linking against RT (#7257)
tree
|
commitdiff
2021-08-16
Andrew V. Jones
Add check for static libraries when compiling CryptoMin...
tree
|
commitdiff
2021-07-24
Andres Noetzli
Fix CLN build (#6920)
tree
|
commitdiff
2021-07-23
Andres Noetzli
Configuration: Indicate dependencies being built (...
tree
|
commitdiff
2021-07-23
Andres Noetzli
Fix CoCoA build for newer compilers (#6919)
tree
|
commitdiff
2021-07-20
Andres Noetzli
ANTLR3: Install into `CMAKE_INSTALL_LIBDIR` (#6912)
tree
|
commitdiff
2021-07-19
Andrew V. Jones
'CryptoMiniSat_LIBRARIES' should respect lib/lib64...
tree
|
commitdiff
2021-07-19
Andrew V. Jones
'ANTLR3_RUNTIME' should respect lib/lib64 (#6906)
tree
|
commitdiff
2021-07-12
Andres Noetzli
Fix ANTLR build on CMake <3.11 (#6864)
tree
|
commitdiff
2021-07-09
Andres Noetzli
Use newer config.sub to fix build on Apple M1 (#6854)
tree
|
commitdiff
2021-07-02
Andres Noetzli
Fix CaDiCaL auto-download on macOS (#6828)
tree
|
commitdiff
2021-07-01
Gereon Kremer
Fix message to show that cadical and symfpu are require...
tree
|
commitdiff
2021-06-24
Mathias Preiner
cmake: Add new code coverage targets. (#6796)
tree
|
commitdiff
2021-06-21
Mathias Preiner
Update to CaDiCaL 1.4.1. (#6780)
tree
|
commitdiff
2021-06-18
Andres Noetzli
Remove obsolete libpoly patch (#6762)
tree
|
commitdiff
2021-06-18
Andres Noetzli
Fix CaDiCaL build on Windows (#6764)
tree
|
commitdiff
2021-06-15
Gereon Kremer
Update to a more recent libpoly version. (#6730)
tree
|
commitdiff
2021-06-15
Gereon Kremer
Add cocoalib (#6731)
tree
|
commitdiff
2021-05-21
makaimann
Use scikit-build CMake files for pycvc5 (#6543)
tree
|
commitdiff
2021-05-20
Mathias Preiner
Update version of CaDiCaL. (#6583)
tree
|
commitdiff
2021-05-20
Gereon Kremer
Use most recent version of libpoly (#6587)
tree
|
commitdiff
2021-05-18
mudathirmahgoub
Add Solver.java to the Java API (#6196)
tree
|
commitdiff
2021-05-04
Mathias Preiner
cmake: Fix ninja build. (#6481)
tree
|
commitdiff
2021-05-03
Aina Niemetz
SymFPU: Automatically apply patch from 2020-11-14....
tree
|
commitdiff
2021-04-27
Gereon Kremer
Initial setup for docs of python API (#6445)
tree
|
commitdiff
2021-04-23
Gereon Kremer
Add missing dependency for CaDiCaL (#6431)
tree
|
commitdiff
2021-04-22
Mathias Preiner
cmake: Do not require --auto-download for already downl...
tree
|
commitdiff
2021-04-21
Gereon Kremer
Pass GMP to libpoly (#6411)
tree
|
commitdiff
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
tree
|
commitdiff
2021-04-21
Mathias Preiner
cmake: Add optional module name argument for check_pyth...
tree
|
commitdiff
2021-04-20
Andres Noetzli
Fix `ANTLR3_COMMAND` for system ANTLR3 JAR (#6399)
tree
|
commitdiff
2021-04-20
Gereon Kremer
Properly link Poly against GMP (#6398)
tree
|
commitdiff
2021-04-16
Gereon Kremer
Refactor cmake: auto-download and default-on dependenci...
tree
|
commitdiff
2021-04-14
Gereon Kremer
Fix libpoly build and use new release (#6354)
tree
|
commitdiff
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
tree
|
commitdiff
2021-04-10
Aina Niemetz
Rename CVC4_ macros to CVC5_. (#6327)
tree
|
commitdiff
2021-04-07
Aina Niemetz
New C++ Api: Initial setup of Api documentation. (...
tree
|
commitdiff
2021-04-06
Mathias Preiner
cmake: Add helper to check if a given Python module...
tree
|
commitdiff
2021-04-02
Gereon Kremer
FindCaDiCaL: Avoid redirect to file (#6272)
tree
|
commitdiff
2021-04-01
Gereon Kremer
Refactor CLN dependency & Cleanup (#6251)
tree
|
commitdiff
2021-03-31
Gereon Kremer
Refactor GMP and Poly dependencies (#6245)
tree
|
commitdiff
2021-03-31
Gereon Kremer
Refactor dependencies for external SAT solvers (#6215)
tree
|
commitdiff
2021-03-31
Gereon Kremer
Refactor SymFPU dependency (#6218)
tree
|
commitdiff
2021-03-29
Gereon Kremer
Add external project to install gtest (#6229)
tree
|
commitdiff
2021-03-29
Aina Niemetz
Fix configuration printing. (#6236)
tree
|
commitdiff
2021-03-27
Andrew V. Jones
When building ANTLR via CMake, do not require javac...
tree
|
commitdiff
2021-03-27
Gereon Kremer
Refactor ANTLR3 dependency (#6202)
tree
|
commitdiff
2021-03-27
Aina Niemetz
Use color output to print configuration. (#6219)
tree
|
commitdiff
2021-03-24
Gereon Kremer
Refactor our integration of LFSC (#6201)
tree
|
commitdiff
2021-03-20
mudathirmahgoub
Generate cvc/Kind.java for the java API (#6143)
tree
|
commitdiff
2021-03-16
Mathias Preiner
cmake: Generate cvc4_export.h and set visibility to...
tree
|
commitdiff
2021-03-10
Mathias Preiner
cmake: Fix optimization level for debug builds. (#6097)
tree
|
commitdiff
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
tree
|
commitdiff
2021-03-05
Gereon Kremer
Reimplement time limit mechanism for windows (#6049)
tree
|
commitdiff
2021-03-04
Gereon Kremer
Add proper define for libpoly usage (#6050)
tree
|
commitdiff
2021-03-04
Gereon Kremer
Add cmake scripts for iwyu targets. (#6042)
tree
|
commitdiff
2021-03-02
Aina Niemetz
Remove obsolete dependency on CxxTest. (#6038)
tree
|
commitdiff
2021-03-02
Mathias Preiner
Add aarch64 (ARM64) cross-compile support. (#6033)
tree
|
commitdiff
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
tree
|
commitdiff
2020-09-02
Andres Noetzli
Use SMT-COMP configuration for competition build (...
tree
|
commitdiff
2020-09-02
Andres Noetzli
[API] Fix Python Examples (#4943)
tree
|
commitdiff
2020-07-30
Andrew V. Jones
When linking Editline, use 'pkg-config' to correctly...
tree
|
commitdiff
2020-07-17
Andrew V. Jones
Support for using 'libedit' over 'readline' #4571 ...
tree
|
commitdiff
2020-07-17
Gereon Kremer
Integration of libpoly (#4679)
tree
|
commitdiff
2020-07-01
Andres Noetzli
Add testing infrastructure for LFSC signatures (#4678)
tree
|
commitdiff
2020-06-09
Andres Noetzli
Language bindings: Enable catching of exceptions (...
tree
|
commitdiff
2020-06-09
Andres Noetzli
Fix Java target and Relations example (#4583)
tree
|
commitdiff
2020-05-22
Aina Niemetz
Add support for SAT solver Kissat. (#4514)
tree
|
commitdiff
2020-03-31
Andrew Reynolds
Remove replay and use-theory options and idl (#4186)
tree
|
commitdiff
2020-02-19
makaimann
Add Python bindings using Cython -- see below for more...
tree
|
commitdiff
2020-02-11
Mathias Preiner
cmake: Remove unused ENABLE_OPTIMIZED option. (#3749)
tree
|
commitdiff
2019-12-06
Mathias Preiner
contrib: Setup all dependencies in deps/ directory...
tree
|
commitdiff
2019-11-14
Alex Ozdemir
Use Shebang in cxxtestgen when appropriate (#3458)
tree
|
commitdiff
2019-10-09
Mathias Preiner
cmake: Fix include of CVC4JavaTargets.cmake. (#3373)
tree
|
commitdiff
2019-09-25
Mathias Preiner
Use separate CMake project for CVC4 examples. (#3196)
tree
|
commitdiff
2019-09-07
Andrew Reynolds
Remove portfolio (#3236)
tree
|
commitdiff
2019-08-30
Andrew Reynolds
Undo unintential change to FindCxxTest (#3240)
tree
|
commitdiff
2019-08-30
Andres Noetzli
Infer conflicts based on regular expression inclusion...
tree
|
commitdiff
2019-08-14
Mathias Preiner
cmake: Export CVC4 library interface. (#3179)
tree
|
commitdiff
2019-08-02
Mathias Preiner
Update CaDiCaL to version 1.0.3. (#3137)
tree
|
commitdiff
2019-05-18
Andres Noetzli
Support for incremental bit-blasting with CaDiCaL ...
tree
|
commitdiff
2019-04-16
makaimann
Check for rt library in configuration -- support for...
tree
|
commitdiff
2019-01-11
Alex Ozdemir
Fixed 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 Noetzli
Only build CryptoMiniSat library, no binary (#2657)
tree
|
commitdiff
2018-10-20
Mathias Preiner
Remove antlr_undefines.h. (#2664)
tree
|
commitdiff
2018-09-28
Mathias Preiner
cmake: Add CxxTest finder module to allow custom paths...
tree
|
commitdiff
2018-09-27
Mathias Preiner
cmake: Only print dumping warning if not disabled by...
tree
|
commitdiff
2018-09-24
Aina Niemetz
cmake: Fix and simplify git version info. (#2516)
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Build fully static binaries with option --static.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Add more documentation, some fixes and cleanup.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Add support for cross-compiling for Windows.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Do not allow dumping with portfolio build.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: FindANTLR: Check if antlr3FileStreamNew is avail...
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Add some more documentation, cleanup.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Move helper functions to cmake/Helpers.cmake.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Refactor and clean up build profile printing.
tree
|
commitdiff
next