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 |
2018-08-07 |
Mathias Preiner | Make output of flushInformation and safeFlushInformation...
|
commit | commitdiff | tree |
2018-08-03 |
Mathias Preiner | Fix printing statistics in case of signals. (#2267)
|
commit | commitdiff | tree |
2018-08-01 |
Mathias Preiner | Fix bool-to-bv preprocessing pass for non-{bv,bool...
|
commit | commitdiff | tree |
2018-08-01 |
Mathias Preiner | Remove hasAssertions() method from eager BV solver...
|
commit | commitdiff | tree |
2018-07-31 |
Mathias Preiner | Fix option handler for lazy/bv-sat-solver combinations...
|
commit | commitdiff | tree |
2018-07-30 |
Mathias Preiner | Add support for incremental eager bit-blasting. (#1838)
|
commit | commitdiff | tree |
2018-07-27 |
Mathias Preiner | Require argument description for non-{bool,void} options...
|
commit | commitdiff | tree |
2018-07-27 |
Mathias Preiner | Make Python a required CVC4 dependency. (#2227)
|
commit | commitdiff | tree |
2018-07-27 |
Mathias Preiner | Fix CryptoMiniSat config to allow system versions....
|
commit | commitdiff | tree |
2018-07-25 |
Mathias Preiner | Use CryptoMiniSat 5.6.3. (#2205)
|
commit | commitdiff | tree |
2018-06-08 |
Mathias Preiner | Disable BV-abstraction in the competition script. ...
|
commit | commitdiff | tree |
2018-06-02 |
Mathias Preiner | Fix BV-abstraction check to consider SKOLEM. (#2042)
|
commit | commitdiff | tree |
2018-05-31 |
Mathias Preiner | Fix bv-abstraction check for AND with non bit-vector...
|
commit | commitdiff | tree |
2018-05-30 |
Mathias Preiner | Normalize negated bit-vector terms over equalities...
|
commit | commitdiff | tree |
2018-05-30 |
Mathias Preiner | Use CaDiCaL for eager bit-blasting in QF_NIA and QF_UFBV...
|
commit | commitdiff | tree |
2018-05-26 |
Mathias Preiner | Update SymFPU. (#1992)
|
commit | commitdiff | tree |
2018-05-25 |
Mathias Preiner | Add QF_BV configuration for SMTCOMP'18. (#1981)
|
commit | commitdiff | tree |
2018-05-22 |
Mathias Preiner | Add SymFPU licensing information. (#1952)
|
commit | commitdiff | tree |
2018-05-14 |
Mathias Preiner | Add contrib/get-symfpu for downloading symfpu. (#1905)
|
commit | commitdiff | tree |
2018-05-08 |
Mathias Preiner | Refactor bv-abstraction preprocessing pass. (#1860)
|
commit | commitdiff | tree |
2018-05-04 |
Mathias Preiner | Refactor bv-intro-pow2 preprocessing pass. (#1851)
|
commit | commitdiff | tree |
2018-05-03 |
Mathias Preiner | Fix redundant internalPush calls. (#1865)
|
commit | commitdiff | tree |
2018-04-05 |
Mathias Preiner | Add more general SignExtendUltConst rewriting. (#1385)
|
commit | commitdiff | tree |
2018-04-02 |
Mathias Preiner | Reorganize bitblaster code. (#1695)
|
commit | commitdiff | tree |
2018-03-25 |
Mathias Preiner | Remove doc/libcvc4.3 from options/Makefile.am. (#1696)
|
commit | commitdiff | tree |
2018-03-22 |
Mathias Preiner | Ignore whitespaces and moved code for contrib/get-authors.
|
commit | commitdiff | tree |
2018-03-21 |
Mathias Preiner | Refactor mkoptions (#1631)
|
commit | commitdiff | tree |
2018-03-20 |
Mathias Preiner | Add support for CaDiCaL as eager BV SAT solver. (#1675)
|
commit | commitdiff | tree |
2018-03-13 |
Mathias Preiner | Use Cryptominisat version 5.0.2 (instead of 4.2.0)...
|
commit | commitdiff | tree |
2018-03-09 |
Mathias Preiner | Cleanup Cryptominisat SAT wrapper. (#1652)
|
commit | commitdiff | tree |
2018-03-09 |
Mathias Preiner | Fix Travis for unit test compilation errors. (#1651)
|
commit | commitdiff | tree |
2018-03-07 |
Mathias Preiner | Make statistics output consistent. (#1647)
|
commit | commitdiff | tree |
2018-03-05 |
Mathias Preiner | Fix boost url in contrib/get-win-dependencies.
|
commit | commitdiff | tree |
2018-03-05 |
Mathias Preiner | Enable -Wsuggest-override by default. (#1643)
|
commit | commitdiff | tree |
2018-02-08 |
Mathias Preiner | Check whether Cryptominisat4/ABC was installed via...
|
commit | commitdiff | tree |
2018-02-07 |
Mathias Preiner | Cleanup Cryptominisat header. (#1561)
|
commit | commitdiff | tree |
2018-02-07 |
Mathias Preiner | Use separate shell script for common get-* script parts...
|
commit | commitdiff | tree |
2018-01-10 |
Mathias Preiner | Fix linearization for terms where the solve variable...
|
commit | commitdiff | tree |
2018-01-06 |
Mathias Preiner | Add special {SGE,SGT,NE}_UDIV1 side conditions for...
|
commit | commitdiff | tree |
2018-01-06 |
Mathias Preiner | Use simpler EQUAL SCs for LSHR0, LSHR1, ASHR0, AHSR1...
|
commit | commitdiff | tree |
2018-01-05 |
Mathias Preiner | Add UGT/SGT side conditions for AND/OR + other fixes...
|
commit | commitdiff | tree |
2018-01-05 |
Mathias Preiner | Add side conditions for inequalities of SHL. (#1472)
|
commit | commitdiff | tree |
2018-01-03 |
Mathias Preiner | Add UGT/SGT side conditions for LSHR. (#1469)
|
commit | commitdiff | tree |
2018-01-03 |
Mathias Preiner | Add side conditions for inequalities of ASHR. (#1461)
|
commit | commitdiff | tree |
2018-01-03 |
Mathias Preiner | Fix handling for UGT/SGT. (#1467)
|
commit | commitdiff | tree |
next |