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 |
2018-01-02 |
Mathias Preiner | Add side conditions for inequalities of LSHR. (#1462)
|
commit | commitdiff | tree |
2017-12-29 |
Mathias Preiner | Add side conditions for inequalities of AND/OR. (#1457)
|
commit | commitdiff | tree |
2017-12-21 |
Mathias Preiner | Add rewriting rule for ranking benchmarks. (#1448)
|
commit | commitdiff | tree |
2017-12-12 |
Mathias Preiner | Add SIGTERM handler. (#1440)
|
commit | commitdiff | tree |
2017-12-09 |
Mathias Preiner | Add CEGQI BV linearization of additions and equalities...
|
commit | commitdiff | tree |
2017-12-05 |
Mathias Preiner | Fix output of --show-trace-tags. (#1430)
|
commit | commitdiff | tree |
2017-12-04 |
Mathias Preiner | Fix side condition for BITVECTOR_MULT. (#1422)
|
commit | commitdiff | tree |
2017-11-29 |
Mathias Preiner | Add Cryptominisat script and patches to source file...
|
commit | commitdiff | tree |
2017-10-24 |
Mathias Preiner | Remove clang-format options introduced in version 5.0.
|
commit | commitdiff | tree |
2017-10-24 |
Mathias Preiner | New clang-format style based on the Google style. ...
|
commit | commitdiff | tree |
2017-10-21 |
Mathias Preiner | Add rewriting rules for Eq/Ult with sign_extend and...
|
commit | commitdiff | tree |
2017-10-21 |
Mathias Preiner | Simplify atoms introduced while bitblasting. (#1267)
|
commit | commitdiff | tree |
2017-10-12 |
Mathias Preiner | Reduce number of travis builds.
|
commit | commitdiff | tree |
2017-10-12 |
Mathias Preiner | Add side conditions for UDIV_TOTAL, SHL, CONCAT. (...
|
commit | commitdiff | tree |
2017-10-05 |
Mathias Preiner | Split COPYING file, add missing licenses. (#1195)
|
commit | commitdiff | tree |
2017-10-03 |
Mathias Preiner | Add Cryptominisat and LFSC to --show-config output...
|
commit | commitdiff | tree |
2017-10-02 |
Mathias Preiner | Address comments from PR #1164. (#1174)
|
commit | commitdiff | tree |
2017-09-29 |
Mathias Preiner | Move BvInverter class into separate file. (#1173)
|
commit | commitdiff | tree |
2017-09-29 |
Mathias Preiner | Fix output of --show-config for readline. (#1159)
|
commit | commitdiff | tree |
2017-09-05 |
Mathias Preiner | Fix link in configure.ac.
|
commit | commitdiff | tree |
2017-08-30 |
Mathias Preiner | Remove Coverity SSL certificate workaround from Travis...
|
commit | commitdiff | tree |
2017-08-29 |
Mathias Preiner | Fix indentation for disabled Java tests.
|
commit | commitdiff | tree |
2017-08-29 |
Mathias Preiner | Disable Java tests for now until they get fixed.
|
commit | commitdiff | tree |
2017-08-21 |
Mathias Preiner | Change Bugzilla urls to Github issues.
|
commit | commitdiff | tree |
2017-08-14 |
Mathias Preiner | Use antlr-3.4 directory if already present in CVC4...
|
commit | commitdiff | tree |
2017-08-09 |
Mathias Preiner | Fix compiler warning in src/context/context.h.
|
commit | commitdiff | tree |
2017-08-09 |
Mathias Preiner | Remove AigBitblaster implementation if ABC is not compiled...
|
commit | commitdiff | tree |
2017-08-02 |
Mathias Preiner | Disable debug symbols for production builds.
|
commit | commitdiff | tree |
2017-07-26 |
Mathias Preiner | Use TEST_CPPFLAGS/TEST_CXXFLAGS to add path to CxxTest...
|
commit | commitdiff | tree |
2017-07-11 |
Mathias Preiner | Remove trailing slashes from directories if specified...
|
commit | commitdiff | tree |
2017-07-10 |
Mathias Preiner | Prerelease versioning for master.
|
commit | commitdiff | tree |
2017-07-10 |
Mathias Preiner | Cutting release 1.5.
|
commit | commitdiff | tree |
2017-07-10 |
Mathias Preiner | Disable tarball signing for now.
|
commit | commitdiff | tree |
2017-07-08 |
Mathias Preiner | Merge branch 'master' of github.com:CVC4/CVC4
|
commit | commitdiff | tree |
2017-07-07 |
Mathias Preiner | Update copyright year and refer to authors URL.
|
commit | commitdiff | tree |
2017-07-07 |
Mathias Preiner | Update copyright headers.
|
commit | commitdiff | tree |
2017-07-07 |
Mathias Preiner | Update files that are part of the CVC4 license, exclude...
|
commit | commitdiff | tree |
2017-07-07 |
Mathias Preiner | Use consistent author names for the copyright headers.
|
commit | commitdiff | tree |
2017-07-07 |
Mathias Preiner | Use new copyright header format.
|
commit | commitdiff | tree |
2017-07-07 |
Mathias Preiner | Escape left brace in regex in update-copyright script.
|
commit | commitdiff | tree |
2017-07-06 |
Mathias Preiner | Fix passing antlr arguments to configure in contrib...
|
commit | commitdiff | tree |
2017-07-05 |
Mathias Preiner | updated INSTALL for version 1.5
|
commit | commitdiff | tree |
|