projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix type issue for FP constants in LFSC node converter (#8612)
[cvc5.git]
/
CMakeLists.txt
2022-04-05
Mathias Preiner
Update copyright headers for release 1.0 (#8539)
blob
|
commitdiff
|
raw
2022-03-31
Andres Noetzli
Remove support for Python 2.x (#8488)
blob
|
commitdiff
|
raw
|
diff to current
2022-03-16
Andres Noetzli
[CI] Build and release Win64 binaries (#8321)
blob
|
commitdiff
|
raw
|
diff to current
2021-12-01
mudathirmahgoub
Enable Java examples (#7702)
blob
|
commitdiff
|
raw
|
diff to current
2021-11-30
Gereon Kremer
Remove now unused dumping infrastructure (#7703)
blob
|
commitdiff
|
raw
|
diff to current
2021-11-24
Andres Noetzli
Always enable API black box unit tests (#7696)
blob
|
commitdiff
|
raw
|
diff to current
2021-11-24
Mathias Preiner
cmake: Add option --[no]-static-binary. (#7695)
blob
|
commitdiff
|
raw
|
diff to current
2021-11-09
Mathias Preiner
cmake: Use fastcov for generating coverage reports...
blob
|
commitdiff
|
raw
|
diff to current
2021-11-04
Gereon Kremer
Refactor cmake to build either static or shared (#7534)
blob
|
commitdiff
|
raw
|
diff to current
2021-11-01
Mathias Preiner
bv: Remove layered solver. (#7455)
blob
|
commitdiff
|
raw
|
diff to current
2021-11-01
Gereon Kremer
Add fuzzing target for murxla (#7490)
blob
|
commitdiff
|
raw
|
diff to current
2021-10-28
Gereon Kremer
Combine `--static` and `--static-binary` (#7520)
blob
|
commitdiff
|
raw
|
diff to current
2021-10-28
Andrew V. Jones
Add support for checking if a `-Wno` flag exists before...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-21
Gereon Kremer
Add setup to generate graphs for cmake target dependenc...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-11
Gereon Kremer
Add CI workflow to test different cmake versions (...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-07
Gereon Kremer
Add a binary / SMT-LIB quickstart (#7315)
blob
|
commitdiff
|
raw
|
diff to current
2021-10-07
Gereon Kremer
Add new versioning scheme (#7253)
blob
|
commitdiff
|
raw
|
diff to current
2021-10-07
Gereon Kremer
Fix/Improve static and shared builds with CLN or Poly...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-05
Gereon Kremer
Reformulate (#7305)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-30
Gereon Kremer
Refactor our static builds (#7251)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-29
Gereon Kremer
remove stuff (#7258)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-20
Andres Noetzli
Optionally enable interprocedural optimization (#7209)
blob
|
commitdiff
|
raw
|
diff to current
2021-08-10
Andres Noetzli
Disable external initialization of `thread_local` varia...
blob
|
commitdiff
|
raw
|
diff to current
2021-07-23
Andres Noetzli
Configuration: Indicate dependencies being built (...
blob
|
commitdiff
|
raw
|
diff to current
2021-06-24
Mathias Preiner
cmake: Add new code coverage targets. (#6796)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-21
Mathias Preiner
Make CaDiCaL a required dependency. (#6761)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-16
Aina Niemetz
Make symfpu a required dependency. (#6749)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-15
Gereon Kremer
Add cocoalib (#6731)
blob
|
commitdiff
|
raw
|
diff to current
2021-05-25
Andres Noetzli
[Unit tests] Fix path of Java bindings (#6616)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-22
Mathias Preiner
cmake: Do not require --auto-download for already downl...
blob
|
commitdiff
|
raw
|
diff to current
2021-04-22
Gereon Kremer
Remove unused stuff from options setup (#6422)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-16
Gereon Kremer
Refactor cmake: auto-download and default-on dependenci...
blob
|
commitdiff
|
raw
|
diff to current
2021-04-12
Gereon Kremer
Only require GMP 6.1 (#6332)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-10
Aina Niemetz
Rename CVC4_ macros to CVC5_. (#6327)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-07
Aina Niemetz
New C++ Api: Initial setup of Api documentation. (...
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Gereon Kremer
Refactor CLN dependency & Cleanup (#6251)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-29
Aina Niemetz
Fix configuration printing. (#6236)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-27
Gereon Kremer
Refactor ANTLR3 dependency (#6202)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-27
Aina Niemetz
Use color output to print configuration. (#6219)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-23
Haniel Barbosa
Removing unused build options and deprecated proof...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-20
mudathirmahgoub
Generate cvc/Kind.java for the java API (#6143)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-16
Mathias Preiner
ci: Enable checking of proofs + unsat cores. (#6088)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-16
Mathias Preiner
cmake: Generate cvc4_export.h and set visibility to...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-10
Mathias Preiner
cmake: Fix optimization level for debug builds. (#6097)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-04
Gereon Kremer
Add cmake scripts for iwyu targets. (#6042)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-03
Gereon Kremer
Remove obsolete gcc check. (#6041)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-02
Aina Niemetz
Remove obsolete dependency on CxxTest. (#6038)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-01
Mathias Preiner
Make -Werror optional but enable it for CI. (#6032)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-25
Mathias Preiner
Enable -Werror. (#5969)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-23
Mathias Preiner
Switch to C++17. (#5959)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-09
Mathias Preiner
cmake: Make Python3 default and improve toml error...
blob
|
commitdiff
|
raw
|
diff to current
2020-12-02
Aina Niemetz
google test: Infrastructure and first api test. (#5548)
blob
|
commitdiff
|
raw
|
diff to current
2020-10-05
Aina Niemetz
cmake: Add warning when unit testing is disabled due...
blob
|
commitdiff
|
raw
|
diff to current
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
blob
|
commitdiff
|
raw
|
diff to current
2020-09-17
Andrew V. Jones
Do not allow to build Python bindings if building stati...
blob
|
commitdiff
|
raw
|
diff to current
2020-09-03
FabianWolff
Drop {INCLUDE,LIBRARY,RUNTIME}_INSTALL_DIR variables...
blob
|
commitdiff
|
raw
|
diff to current
2020-09-02
Andres Noetzli
Use SMT-COMP configuration for competition build (...
blob
|
commitdiff
|
raw
|
diff to current
2020-09-02
Andres Noetzli
[API] Fix Python Examples (#4943)
blob
|
commitdiff
|
raw
|
diff to current
2020-08-12
makaimann
Add option to only build library (#4801)
blob
|
commitdiff
|
raw
|
diff to current
2020-08-04
Mathias Preiner
Add documentation and build instructions for recompilat...
blob
|
commitdiff
|
raw
|
diff to current
2020-08-01
Andrew V. Jones
Ensure that we only find '.a's when building statically...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-17
Andrew V. Jones
Support for using 'libedit' over 'readline' #4571 ...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-17
Gereon Kremer
Integration of libpoly (#4679)
blob
|
commitdiff
|
raw
|
diff to current
2020-07-10
Gereon Kremer
Add deps/install/lib to RPATH and warn user when using...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-07
Andrew V. Jones
Increase the minimum version of CMake due to the use...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-03
Andres Noetzli
Remove SWIG bindings (#4683)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-24
Andres Noetzli
Fix CVC4_EXTRAVERSION variable (#4653)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-19
Andres Noetzli
Update version information post 1.8 release (#4635)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-19
Andres Noetzli
Update info for 1.8 release (#4633)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-12
Andres Noetzli
Fix install of static builds (#4604)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-05
Andrew V. Jones
If using 'ninja', tell the user to run 'ninja' not...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-22
Aina Niemetz
Add support for SAT solver Kissat. (#4514)
blob
|
commitdiff
|
raw
|
diff to current
2020-03-31
Andrew Reynolds
Remove replay and use-theory options and idl (#4186)
blob
|
commitdiff
|
raw
|
diff to current
2020-03-09
Andres Noetzli
Increase stack size for Windows builds to 100 MB (...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-05
Mathias Preiner
Enable -Wshadow and fix warnings. (#3909)
blob
|
commitdiff
|
raw
|
diff to current
2020-02-19
makaimann
Add Python bindings using Cython -- see below for more...
blob
|
commitdiff
|
raw
|
diff to current
2020-02-11
Mathias Preiner
cmake: Remove unused ENABLE_OPTIMIZED option. (#3749)
blob
|
commitdiff
|
raw
|
diff to current
2020-02-10
Mathias Preiner
cmake: Use ld.gold if available for faster link times...
blob
|
commitdiff
|
raw
|
diff to current
2019-12-19
Simon Dierl
Define all options modified by ENABLE_BEST using cvc4_o...
blob
|
commitdiff
|
raw
|
diff to current
2019-12-06
Mathias Preiner
contrib: Setup all dependencies in deps/ directory...
blob
|
commitdiff
|
raw
|
diff to current
2019-11-18
Andres Noetzli
Use -Wimplicit-fallthrough (#3464)
blob
|
commitdiff
|
raw
|
diff to current
2019-11-17
Andres Noetzli
Add support for ThreadSanitizer instrumentation (#3467)
blob
|
commitdiff
|
raw
|
diff to current
2019-11-08
Mathias Preiner
cmake: Disable C++ GNU extensions. (#3446)
blob
|
commitdiff
|
raw
|
diff to current
2019-10-15
Andres Noetzli
Remove remaining references to Boost and Autotools...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-11
Andres Noetzli
Add support for UBSan instrumentation (#3382)
blob
|
commitdiff
|
raw
|
diff to current
2019-10-08
Aina Niemetz
Build system: Add build type for incremental competitio...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-25
Mathias Preiner
Use separate CMake project for CVC4 examples. (#3196)
blob
|
commitdiff
|
raw
|
diff to current
2019-09-07
Andrew Reynolds
Remove portfolio (#3236)
blob
|
commitdiff
|
raw
|
diff to current
2019-08-15
Mathias Preiner
cmake: Use ExactVersion instead of SameMinorVersion...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Mathias Preiner
cmake: Export CVC4 library interface. (#3179)
blob
|
commitdiff
|
raw
|
diff to current
2019-08-08
Mathias Preiner
Fix issues with Ninja build system and add configure...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-12
Haniel Barbosa
Referring to prerelease 1.8 (#2943)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-05
Haniel Barbosa
prerelease -> release (#2941)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-04
Haniel Barbosa
Update release notes and lib version (#2933)
blob
|
commitdiff
|
raw
|
diff to current
2019-01-16
Andres Noetzli
CMake: Fix search for static libraries (#2798)
blob
|
commitdiff
|
raw
|
diff to current
2019-01-05
Mathias Preiner
cmake: Disable unit tests for static builds. (#2775)
blob
|
commitdiff
|
raw
|
diff to current
2018-12-17
Alex Ozdemir
Configured for linking against drat2er (#2754)
blob
|
commitdiff
|
raw
|
diff to current
next