projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add oracle checker utility (#8603)
[cvc5.git]
/
cmake
/
2022-04-05
Mathias Preiner
Start post-release for 1.0.0
tree
|
commitdiff
2022-04-05
Mathias Preiner
Bump version to 1.0.0
cvc5-1.0.0
tree
|
commitdiff
2022-04-05
Mathias Preiner
Update copyright headers for release 1.0 (#8539)
tree
|
commitdiff
2022-04-04
Mathias Preiner
Start post-release for 0.0.12
tree
|
commitdiff
2022-04-04
Mathias Preiner
Bump version to 0.0.12
tree
|
commitdiff
2022-04-04
Alex Ozdemir
Bump Pythonic (transcendentals) & exception example...
tree
|
commitdiff
2022-04-03
Mathias Preiner
Start post-release for 0.0.11
tree
|
commitdiff
2022-04-03
Mathias Preiner
Bump version to 0.0.11
tree
|
commitdiff
2022-04-02
Gereon Kremer
Follow renaming within pythonic API (#8532)
tree
|
commitdiff
2022-04-01
Mathias Preiner
Start post-release for 0.0.10
tree
|
commitdiff
2022-04-01
Mathias Preiner
Bump version to 0.0.10
tree
|
commitdiff
2022-04-01
Mathias Preiner
Start post-release for 0.0.9
tree
|
commitdiff
2022-04-01
Mathias Preiner
Bump version to 0.0.9
tree
|
commitdiff
2022-03-31
Mathias Preiner
Start post-release for 0.0.8
tree
|
commitdiff
2022-03-31
Mathias Preiner
Bump version to 0.0.8
tree
|
commitdiff
2022-03-23
Gereon Kremer
Run gen-versioninfo unconditionally (#8368)
tree
|
commitdiff
2022-03-17
Andres Noetzli
[CI] Use ccache for Windows builds (#8332)
tree
|
commitdiff
2022-03-16
Andres Noetzli
Fix shared library Windows builds with LibPoly (#8306)
tree
|
commitdiff
2022-03-16
Andres Noetzli
Ignore `CMAKE_SYSROOT` when cross-compiling (#8318)
tree
|
commitdiff
2022-03-08
Gereon Kremer
Produce intermediate json output for coverage (#8252)
tree
|
commitdiff
2022-03-08
Gereon Kremer
Script to list not covered API functions (#8254)
tree
|
commitdiff
2022-03-03
Mathias Preiner
cmake: Fix murxla setup. (#8215)
tree
|
commitdiff
2022-03-03
Gereon Kremer
Integrate pythonic api (#8131)
tree
|
commitdiff
2022-02-08
Gereon Kremer
Print more commonly used murxla commands (#8046)
tree
|
commitdiff
2022-02-07
Andrew V. Jones
Correct search location for CLN libs (#8070)
tree
|
commitdiff
2022-01-28
Mathias Preiner
Start post-release for 0.0.7
tree
|
commitdiff
2022-01-28
Mathias Preiner
Bump version to 0.0.7
tree
|
commitdiff
2022-01-25
Mathias Preiner
Start post-release for 0.0.6
tree
|
commitdiff
2022-01-25
Mathias Preiner
Bump version to 0.0.6
tree
|
commitdiff
2022-01-19
Gereon Kremer
Update to latest libpoly version (#7963)
tree
|
commitdiff
2022-01-18
Matthew Sotoudeh
Fix CMake script for static, auto-download, cln configu...
tree
|
commitdiff
2022-01-11
Andres Noetzli
[Win64] Link LibPoly statically for static builds ...
tree
|
commitdiff
2022-01-10
Gereon Kremer
Update to latest libpoly version (#7906)
tree
|
commitdiff
2022-01-08
Mathias Preiner
Start post-release for 0.0.5
tree
|
commitdiff
2022-01-08
Mathias Preiner
Bump version to 0.0.5
tree
|
commitdiff
2021-12-07
Gereon Kremer
Simpler versioning if release flag is set (#7758)
tree
|
commitdiff
2021-12-01
mudathirmahgoub
Enable Java examples (#7702)
tree
|
commitdiff
2021-11-30
Gereon Kremer
Remove now unused dumping infrastructure (#7703)
tree
|
commitdiff
2021-11-29
Mathias Preiner
Start post-release for 0.0.4
tree
|
commitdiff
2021-11-29
Mathias Preiner
Bump version to 0.0.4
tree
|
commitdiff
2021-11-24
Mathias Preiner
Fix ANTLR3 config for i386 and aarch64 builds. (#7694)
tree
|
commitdiff
2021-11-22
Gereon Kremer
Set proper system processor for arm64 toolchain (#7665)
tree
|
commitdiff
2021-11-09
Mathias Preiner
cmake: Use fastcov for generating coverage reports...
tree
|
commitdiff
2021-11-04
Gereon Kremer
Refactor cmake to build either static or shared (#7534)
tree
|
commitdiff
2021-11-01
Mathias Preiner
bv: Remove layered solver. (#7455)
tree
|
commitdiff
2021-11-01
Gereon Kremer
Add fuzzing target for murxla (#7490)
tree
|
commitdiff
2021-10-29
Mathias Preiner
Start post-release for 0.0.3
tree
|
commitdiff
2021-10-29
Mathias Preiner
Bump version to 0.0.3
tree
|
commitdiff
2021-10-28
Gereon Kremer
Combine `--static` and `--static-binary` (#7520)
tree
|
commitdiff
2021-10-28
Andrew V. Jones
Add support for checking if a `-Wno` flag exists before...
tree
|
commitdiff
2021-10-27
Gereon Kremer
Fix patching for poly on windows (#7513)
tree
|
commitdiff
2021-10-27
Gereon Kremer
Fix libpoly build on windows (#7502)
tree
|
commitdiff
2021-10-21
Gereon Kremer
Working on windows builds (#7381)
tree
|
commitdiff
2021-10-21
Gereon Kremer
Add setup to generate graphs for cmake target dependenc...
tree
|
commitdiff
2021-10-12
Mathias Preiner
cmake: Fix git info if build directory is outside of...
tree
|
commitdiff
2021-10-12
Gereon Kremer
Fix glpk, add antlr.so (#7341)
tree
|
commitdiff
2021-10-11
Mathias Preiner
Start post-release for 0.0.2
tree
|
commitdiff
2021-10-11
Mathias Preiner
Bump version to 0.0.2
tree
|
commitdiff
2021-10-11
Mathias Preiner
Start post-release for 0.0.1
tree
|
commitdiff
2021-10-11
Mathias Preiner
Bump version to 0.0.1
tree
|
commitdiff
2021-10-11
Gereon Kremer
Antlr: runtime -> libraries (#7338)
tree
|
commitdiff
2021-10-11
Gereon Kremer
Revert #7257 (#7337)
tree
|
commitdiff
2021-10-11
Gereon Kremer
Restore compatibility with cmake 3.9 (#7329)
tree
|
commitdiff
2021-10-07
Gereon Kremer
Add new versioning scheme (#7253)
tree
|
commitdiff
2021-10-07
Gereon Kremer
Fix/Improve static and shared builds with CLN or Poly...
tree
|
commitdiff
2021-10-06
Gereon Kremer
Enable static builds in CI (#7281)
tree
|
commitdiff
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
next