projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2018-09-22 Mathias Preinercmake: Various CMakeLists.txt fixes/cleanup. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Only build libcvc4 and libcvc4parser as libraries. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Move find_package to where it is actually needed. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Removed env vars help... commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Configurable build directory commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Create build dirs for... commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: done (except: configurable... commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Updated and prettified configuration printing. commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: option parsing commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Add ENABLE_DEBUG_CONTEXT_MM to enable the debug... commit | commitdiff | tree
2018-09-22 Aina Niemetzcmake: Add ENABLE_BEST to enable best configuration... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add Java runtime as required dependency (require... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add convenience wrappers for tag generation. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add library versioning for libcvc4.so. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Rebase with current master, add new tests/source... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add missing checks for cvc4autoconfig.h to Confi... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Use target specific includes for libcvc4. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add missing dependency. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add support for building static binaries/libraries. commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add options for specifying install directories... commit | commitdiff | tree
2018-09-22 Mathias Preinercmake: Add module finder for GLPK-cut-log. commit | commitdiff | tree
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
next