| 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 |
| 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 |
| next |
projects / cvc5.git / search