git.libre-soc.org Git - cvc5.git/search

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
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
next

RSS Atom