projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit (#8955)
[cvc5.git] / cmake /
2022-07-13 Jacob Lifshayfix incorrect 64-bit detection -- powerpc64le doesn... main tree | commitdiff
2022-06-16 Andres Noetzli[CMake] Remove redundant code (#8885) tree | commitdiff
2022-06-13 Aina Niemetzbv sat solvers: Update CaDiCaL and Kissat to most recen... tree | commitdiff
2022-06-13 Gereon KremerInfrastructure for portfolio solving (#8709) tree | commitdiff
2022-06-10 Andres Noetzli[Win64] Use `CC_FOR_BUILD` when compiling GMP (#8874) tree | commitdiff
2022-06-06 Andres Noetzli[CMake] Improve FindGMP (#8846) tree | commitdiff
2022-05-31 Gereon KremerFix FindCaDiCaL script (#8838) tree | commitdiff
2022-05-31 yoni206Update to GoogleTest 1.11.0 (#8813) tree | commitdiff
2022-05-21 Gereon KremerAdd cross-compilation for arm64 on macOS (#8758) tree | commitdiff
2022-05-13 Gereon KremerUpdate CoCoALib version (#8757) tree | commitdiff
2022-05-11 Gereon KremerRemove --build from GMP configure line (#8752) tree | commitdiff
2022-04-26 Andres NoetzliFix GMP cross-compilation when Wine installed (#8645) tree | commitdiff
2022-04-05 Mathias PreinerStart post-release for 1.0.0 tree | commitdiff
2022-04-05 Mathias PreinerBump version to 1.0.0 cvc5-1.0.0 tree | commitdiff
2022-04-05 Mathias PreinerUpdate copyright headers for release 1.0 (#8539) tree | commitdiff
2022-04-04 Mathias PreinerStart post-release for 0.0.12 tree | commitdiff
2022-04-04 Mathias PreinerBump version to 0.0.12 tree | commitdiff
2022-04-04 Alex OzdemirBump Pythonic (transcendentals) & exception example... tree | commitdiff
2022-04-03 Mathias PreinerStart post-release for 0.0.11 tree | commitdiff
2022-04-03 Mathias PreinerBump version to 0.0.11 tree | commitdiff
2022-04-02 Gereon KremerFollow renaming within pythonic API (#8532) tree | commitdiff
2022-04-01 Mathias PreinerStart post-release for 0.0.10 tree | commitdiff
2022-04-01 Mathias PreinerBump version to 0.0.10 tree | commitdiff
2022-04-01 Mathias PreinerStart post-release for 0.0.9 tree | commitdiff
2022-04-01 Mathias PreinerBump version to 0.0.9 tree | commitdiff
2022-03-31 Mathias PreinerStart post-release for 0.0.8 tree | commitdiff
2022-03-31 Mathias PreinerBump version to 0.0.8 tree | commitdiff
2022-03-23 Gereon KremerRun gen-versioninfo unconditionally (#8368) tree | commitdiff
2022-03-17 Andres Noetzli[CI] Use ccache for Windows builds (#8332) tree | commitdiff
2022-03-16 Andres NoetzliFix shared library Windows builds with LibPoly (#8306) tree | commitdiff
2022-03-16 Andres NoetzliIgnore `CMAKE_SYSROOT` when cross-compiling (#8318) tree | commitdiff
2022-03-08 Gereon KremerProduce intermediate json output for coverage (#8252) tree | commitdiff
2022-03-08 Gereon KremerScript to list not covered API functions (#8254) tree | commitdiff
2022-03-03 Mathias Preinercmake: Fix murxla setup. (#8215) tree | commitdiff
2022-03-03 Gereon KremerIntegrate pythonic api (#8131) tree | commitdiff
2022-02-08 Gereon KremerPrint more commonly used murxla commands (#8046) tree | commitdiff
2022-02-07 Andrew V. JonesCorrect search location for CLN libs (#8070) tree | commitdiff
2022-01-28 Mathias PreinerStart post-release for 0.0.7 tree | commitdiff
2022-01-28 Mathias PreinerBump version to 0.0.7 tree | commitdiff
2022-01-25 Mathias PreinerStart post-release for 0.0.6 tree | commitdiff
2022-01-25 Mathias PreinerBump version to 0.0.6 tree | commitdiff
2022-01-19 Gereon KremerUpdate to latest libpoly version (#7963) tree | commitdiff
2022-01-18 Matthew SotoudehFix 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 KremerUpdate to latest libpoly version (#7906) tree | commitdiff
2022-01-08 Mathias PreinerStart post-release for 0.0.5 tree | commitdiff
2022-01-08 Mathias PreinerBump version to 0.0.5 tree | commitdiff
2021-12-07 Gereon KremerSimpler versioning if release flag is set (#7758) tree | commitdiff
2021-12-01 mudathirmahgoubEnable Java examples (#7702) tree | commitdiff
2021-11-30 Gereon KremerRemove now unused dumping infrastructure (#7703) tree | commitdiff
2021-11-29 Mathias PreinerStart post-release for 0.0.4 tree | commitdiff
2021-11-29 Mathias PreinerBump version to 0.0.4 tree | commitdiff
2021-11-24 Mathias PreinerFix ANTLR3 config for i386 and aarch64 builds. (#7694) tree | commitdiff
2021-11-22 Gereon KremerSet proper system processor for arm64 toolchain (#7665) tree | commitdiff
2021-11-09 Mathias Preinercmake: Use fastcov for generating coverage reports... tree | commitdiff
2021-11-04 Gereon KremerRefactor cmake to build either static or shared (#7534) tree | commitdiff
2021-11-01 Mathias Preinerbv: Remove layered solver. (#7455) tree | commitdiff
2021-11-01 Gereon KremerAdd fuzzing target for murxla (#7490) tree | commitdiff
2021-10-29 Mathias PreinerStart post-release for 0.0.3 tree | commitdiff
2021-10-29 Mathias PreinerBump version to 0.0.3 tree | commitdiff
2021-10-28 Gereon KremerCombine `--static` and `--static-binary` (#7520) tree | commitdiff
2021-10-28 Andrew V. JonesAdd support for checking if a `-Wno` flag exists before... tree | commitdiff
2021-10-27 Gereon KremerFix patching for poly on windows (#7513) tree | commitdiff
2021-10-27 Gereon KremerFix libpoly build on windows (#7502) tree | commitdiff
2021-10-21 Gereon KremerWorking on windows builds (#7381) tree | commitdiff
2021-10-21 Gereon KremerAdd setup to generate graphs for cmake target dependenc... tree | commitdiff
2021-10-12 Mathias Preinercmake: Fix git info if build directory is outside of... tree | commitdiff
2021-10-12 Gereon KremerFix glpk, add antlr.so (#7341) tree | commitdiff
2021-10-11 Mathias PreinerStart post-release for 0.0.2 tree | commitdiff
2021-10-11 Mathias PreinerBump version to 0.0.2 tree | commitdiff
2021-10-11 Mathias PreinerStart post-release for 0.0.1 tree | commitdiff
2021-10-11 Mathias PreinerBump version to 0.0.1 tree | commitdiff
2021-10-11 Gereon KremerAntlr: runtime -> libraries (#7338) tree | commitdiff
2021-10-11 Gereon KremerRevert #7257 (#7337) tree | commitdiff
2021-10-11 Gereon KremerRestore compatibility with cmake 3.9 (#7329) tree | commitdiff
2021-10-07 Gereon KremerAdd new versioning scheme (#7253) tree | commitdiff
2021-10-07 Gereon KremerFix/Improve static and shared builds with CLN or Poly... tree | commitdiff
2021-10-06 Gereon KremerEnable static builds in CI (#7281) tree | commitdiff
2021-10-01 Gereon KremerRemove (apparently obsolete) checks in cms config ... tree | commitdiff
2021-09-30 Gereon KremerRefactor our static builds (#7251) tree | commitdiff
2021-09-28 Gereon KremerRemove linking against RT (#7257) tree | commitdiff
2021-08-16 Andrew V. JonesAdd check for static libraries when compiling CryptoMin... tree | commitdiff
2021-07-24 Andres NoetzliFix CLN build (#6920) tree | commitdiff
2021-07-23 Andres NoetzliConfiguration: Indicate dependencies being built (... tree | commitdiff
2021-07-23 Andres NoetzliFix CoCoA build for newer compilers (#6919) tree | commitdiff
2021-07-20 Andres NoetzliANTLR3: 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 NoetzliFix ANTLR build on CMake <3.11 (#6864) tree | commitdiff
2021-07-09 Andres NoetzliUse newer config.sub to fix build on Apple M1 (#6854) tree | commitdiff
2021-07-02 Andres NoetzliFix CaDiCaL auto-download on macOS (#6828) tree | commitdiff
2021-07-01 Gereon KremerFix message to show that cadical and symfpu are require... tree | commitdiff
2021-06-24 Mathias Preinercmake: Add new code coverage targets. (#6796) tree | commitdiff
2021-06-21 Mathias PreinerUpdate to CaDiCaL 1.4.1. (#6780) tree | commitdiff
2021-06-18 Andres NoetzliRemove obsolete libpoly patch (#6762) tree | commitdiff
2021-06-18 Andres NoetzliFix CaDiCaL build on Windows (#6764) tree | commitdiff
2021-06-15 Gereon KremerUpdate to a more recent libpoly version. (#6730) tree | commitdiff
2021-06-15 Gereon KremerAdd cocoalib (#6731) tree | commitdiff
2021-05-21 makaimannUse scikit-build CMake files for pycvc5 (#6543) tree | commitdiff
2021-05-20 Mathias PreinerUpdate version of CaDiCaL. (#6583) tree | commitdiff
next