projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2018-09-22 Mathias Preinercmake: Add module finder for ABC. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Compile Java tests and add to ctest if Java... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add SWIG support + Python and Java bindings. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Add dependencies for test targets and support... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Various portfolio/default option fixes. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Enable parallel execution for test targets regre... commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Build unit tests only if -DENABLE_UNIT_TESTING=ON. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Added system tests and target make systemtests. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add portfolio support. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add ASAN support. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Enable shared by default. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Disable W-suggest-override for unit tests. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Add target units. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Removed obsolete CMakeLists file in test. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Add support for CxxTest. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Filter through and disable unused HAVE_* variabl... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Do not set global output directories for binarie... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Fix some includes. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Added support for coverage and profiling. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Added 3-valued option handling (to enable detect... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add module finder for readline. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Generate token headers. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Added licensing options and warnings/errors. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Cleanup CMakeLists.txt files, remove SHARED. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Add build configurations. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Fixed compiler flag macros. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add module finder for LFSC. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add module finder for CaDiCaL. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add module finder for CryptoMiniSat. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add module finder for SymFPU. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add module finder for CLN. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add libsignatures for proofs. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Remove unused CMakeLists.txt commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Generate cvc4autoconfig.h (options currently... commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Added missing dependency for src/util commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Working build infrastructure. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Antlr parser generation done. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Generate trace and debug tags commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: .cpp generation done, .h generation not yet... commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. commit | commitdiff | tree
2018-09-19 Andrew ReynoldsDecision strategy: incorporate arrays. (#2495) commit | commitdiff | tree
2018-09-19 Andres NoetzliAdd rewrites for str.contains + str.replace/substr... commit | commitdiff | tree
2018-09-19 Andrew ReynoldsDecision strategy: incorporate separation logic. (... commit | commitdiff | tree
2018-09-19 Andrew ReynoldsAdd two rewrites for string contains character (#2492) commit | commitdiff | tree
2018-09-19 Andrew Reynolds Refactor strings extended functions inferences (#2480) commit | commitdiff | tree
2018-09-19 Aina NiemetzNew C++ API: Introduce new macro and exception for... commit | commitdiff | tree
2018-09-18 Andres NoetzliFix issue with str.idof in evaluator (#2493) commit | commitdiff | tree
2018-09-18 Andrew ReynoldsDecision strategy: incorporate strings fmf. (#2485) commit | commitdiff | tree
2018-09-18 Andrew ReynoldsMore aggressive caching of string skolems. (#2491) commit | commitdiff | tree
2018-09-18 Andrew ReynoldsMove and rename sygus solver classes (#2488) commit | commitdiff | tree
2018-09-18 Haniel Barbosafix assertion error (#2487) commit | commitdiff | tree
2018-09-18 Andrew ReynoldsClean remaining references to getNextDecisionRequest... commit | commitdiff | tree
2018-09-18 Andrew ReynoldsImprovements and fixes for symmetry detection and break... commit | commitdiff | tree
2018-09-17 Andrew ReynoldsMove inst_strategy_cbqi to inst_strategy_cegqi (#2477) commit | commitdiff | tree
2018-09-17 Andrew ReynoldsDecision strategy: incorporate cegis unif (#2482) commit | commitdiff | tree
2018-09-17 Andrew Reynolds Decision strategy: incorporate bounded integers (... commit | commitdiff | tree
2018-09-17 Andrew ReynoldsDecision strategy: incorporate datatypes sygus solver... commit | commitdiff | tree
2018-09-17 Andrew ReynoldsMore aggressive skolem caching for strings, document... commit | commitdiff | tree
2018-09-17 Andrew ReynoldsMake strings model construction robust to lengths that... commit | commitdiff | tree
2018-09-17 Andres NoetzliFollow redirects with cURL in contrib/get* scripts... commit | commitdiff | tree
2018-09-17 Andres NoetzliRemove broken dumping support from portfolio build... commit | commitdiff | tree
2018-09-17 Andres NoetzliRemove unnecessary tracing from preprocessing (#2472) commit | commitdiff | tree
2018-09-17 Andrew ReynoldsDecision strategy: incorporate UF with cardinality... commit | commitdiff | tree
2018-09-17 Andrew ReynoldsDecision strategy: incorporate sygus feasible and sygus... commit | commitdiff | tree
2018-09-15 Andres NoetzliRefactor how assertions are added to decision engine... commit | commitdiff | tree
2018-09-14 Andrew ReynoldsAdd Skolem cache for strings, refactor length registrat... commit | commitdiff | tree
2018-09-14 Andrew ReynoldsGeneralize CandidateRewriteDatabase to ExprMiner (... commit | commitdiff | tree
2018-09-13 Mathias PreinerFix #include for minisat headers in bvminisat. (#2463) commit | commitdiff | tree
2018-09-13 Haniel BarbosaUses information gain heuristic for building better... commit | commitdiff | tree
2018-09-13 Andrew ReynoldsSimplify storing of transcendental function application... commit | commitdiff | tree
2018-09-13 Andrew Reynolds Decision strategy: incorporate CEGQI (#2460) commit | commitdiff | tree
2018-09-12 Aina NiemetzNew C++ API: Try to fix (false positive) Coverity warni... commit | commitdiff | tree
2018-09-12 Aina NiemetzExamples: Remove obsolete flag CVC4_MAKE_EXAMPLES.... commit | commitdiff | tree
2018-09-12 Andrew Reynolds Initial infrastructure for theory decision manager... commit | commitdiff | tree
2018-09-12 Andrew ReynoldsFix for when strings process loop is disabled. (#2456) commit | commitdiff | tree
2018-09-11 Aina NiemetzFixe compiler warning in line_buffer.cpp. (#2453) commit | commitdiff | tree
2018-09-11 Andrew ReynoldsSupport model cores via option --produce-model-cores... commit | commitdiff | tree
2018-09-11 yoni206Avoid calling size() every iteration (#2450) commit | commitdiff | tree
2018-09-11 Andrew ReynoldsFix global negate (#2449) commit | commitdiff | tree
2018-09-11 Haniel Barbosafix (#2446) commit | commitdiff | tree
2018-09-11 Andres NoetzliSet NodeManager to nullptr when exporting vars (#2445) commit | commitdiff | tree
2018-09-11 Haniel BarbosaUsing a single condition enumerator in sygus-unif ... commit | commitdiff | tree
2018-09-11 Aina NiemetzRefactor non-clausal simplify preprocessing pass. ... commit | commitdiff | tree
2018-09-10 Andrew ReynoldsSquash implementation of counterexample-guided instanti... commit | commitdiff | tree
2018-09-10 Andres NoetzliAdd (str.replace (str.replace y w y) y z) rewrite ... commit | commitdiff | tree
2018-09-07 Mathias PreinerReplace boost::integer_traits with std::numeric_limits... commit | commitdiff | tree
2018-09-07 Mathias PreinerRemove clock_gettime() replacement for macOS. (#2436) commit | commitdiff | tree
2018-09-07 Andrew Reynolds Make isClosedEnumerable a member of TypeNode (#2434) commit | commitdiff | tree
2018-09-06 Andrew Reynolds Further simplify and fix initialization of ce guided... commit | commitdiff | tree
2018-09-06 Andrew ReynoldsRefactor and document quantifiers variable elimination... commit | commitdiff | tree
2018-09-06 Andrew ReynoldsMinor improvements to interface for rep set. (#2435) commit | commitdiff | tree
2018-09-05 Andrew Reynolds More extended rewrites for strings equality (#2431) commit | commitdiff | tree
2018-09-05 Andrew Reynolds Eliminate select over store in quantifier bodies ... commit | commitdiff | tree
2018-09-05 Mathias PreinerUse std::uniqe_ptr for d_eq_infer to make Coverity... commit | commitdiff | tree
2018-09-05 Andrew ReynoldsRemove printing support for sygus enumeration types... commit | commitdiff | tree
2018-09-05 Andrew ReynoldsFiner-grained inference of substitutions in incremental... commit | commitdiff | tree
2018-09-05 Andres NoetzliAdd regex grammar to rewriter verification tests (... commit | commitdiff | tree
2018-09-05 Andrew Reynolds Extended rewriter for string equalities (#2427) commit | commitdiff | tree
2018-09-05 Mathias PreinerAdd HAVE_CLOCK_GETTIME guard to clock_gettime.c (#2428) commit | commitdiff | tree
next