cvc5.git
2017-08-30 Andrew ReynoldsFix model construction for parametric types (#1059)
2017-08-30 Mathias PreinerRemove Coverity SSL certificate workaround from Travis...
2017-08-29 Mathias PreinerFix indentation for disabled Java tests.
2017-08-29 Mathias PreinerDisable Java tests for now until they get fixed.
2017-08-28 Pat HawksRun Ant on Travis
2017-08-28 Andres NoetzliTravis: Package instead of download for cxxtest (#1055)
2017-08-25 Aina NiemetzMove LFSC checker out of the CVC repository. (#222)
2017-08-25 Aina NiemetzAdded missing includes (algorithm).
2017-08-24 Pat HawksTest Java API on CI
2017-08-24 Andres NoetzliAdd include to fix build
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp
2017-08-24 Andres NoetzliFix typos
2017-08-23 Tim KingRemoving TODO for 'Optimize via the iterator'. Not...
2017-08-22 Aina NiemetzCleanup: use Assert rather than C assert. (#1052)
2017-08-22 Clark BarrettUpdated NYU -> Stanford
2017-08-21 Mathias PreinerChange Bugzilla urls to Github issues.
2017-08-17 Andres NoetzliRemove unused SubrangeBound(s) classes (#221)
2017-08-17 ajreynolAdd mbqi interleave option, change option fs-inst to...
2017-08-15 Andres NoetzliMinimize includes in expr.h: remove dups, iostream...
2017-08-15 Andres NoetzliMove function definitions from metakind.h to cpp (...
2017-08-15 Andres NoetzliMove function definitions from kind.h to kind.cpp ...
2017-08-14 Andres NoetzliMove function defns from smt_engine_scope.h to cpp...
2017-08-14 Mathias PreinerUse antlr-3.4 directory if already present in CVC4...
2017-08-14 Aina NiemetzMerge pull request #214 from CVC4/fix_warn_nonlinear
2017-08-14 Mark LawsBuild and test suite fixes for Windows (#186)
2017-08-12 Aina NiemetzFix compiler warnings in theory/arith/nonlinear_extensi...
2017-08-11 ajreynolMaintain frontier for tangent planes.
2017-08-10 Andres NoetzliFix line numbers in options_template
2017-08-09 Mathias PreinerFix compiler warning in src/context/context.h.
2017-08-09 Aina NiemetzFix help message for disable-unit-testing in configure...
2017-08-09 Mathias PreinerRemove AigBitblaster implementation if ABC is not compi...
2017-08-09 Aina NiemetzFix Assertion (compiler warning) in theory/bv/theory_bv.cpp
2017-08-09 Andres NoetzliFix compiler warning in sat_proof_implementation
2017-08-08 ajreynolUse cache for datatypes cycle check, add regression.
2017-08-08 Andrew ReynoldsMerge pull request #211 from CVC4/fix_warn_sygus
2017-08-08 Andres NoetzliOptionally split regression tests into test groups...
2017-08-08 Aina NiemetzFix compiler warning in theory/quantifiers/term_databas...
2017-08-07 ajreynolChange sygus output for failed reconstruction case.
2017-08-07 ajreynolMake quantifier elimination more robust to preprocessing.
2017-08-05 Aina NiemetzReorganized bitvector.h
2017-08-04 Aina NiemetzFix comments
2017-08-04 Aina NiemetzFix typos in comments
2017-08-04 ajreynolSet default language to smt lib 2.6 (including as a...
2017-08-02 Mathias PreinerDisable debug symbols for production builds.
2017-07-31 ajreynolMinor improvement for enumerative instantiation.
2017-07-30 Andres NoetzliFix memory leak in symbol table (#209)
2017-07-30 Andres NoetzliChange remaining hash_set -> unordered_set (#208)
2017-07-29 ajreynolAdd support for charat in native language, minor cleanup.
2017-07-28 ajreynolFix cache issues for cyclic string equations.
2017-07-27 Andres Noetzli-Og for non-opt build, parallel pcvc4 check (#206)
2017-07-26 Mathias PreinerUse TEST_CPPFLAGS/TEST_CXXFLAGS to add path to CxxTest...
2017-07-23 Tim KingDisabling compiling unit tests with coverity scan for...
2017-07-23 Tim KingDeprecating the unused convenience_node_builders.h...
2017-07-23 Tim KingConsolidating the opaque pointers in SymbolTable. ...
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the...
2017-07-20 ajreynolFix a few bugs related to sygus.
2017-07-20 Tim KingRemoving the unused CDAttribute. This makes CDHashMap...
2017-07-19 Andres NoetzliFix simple_vc_compat_cxx example (#202)
2017-07-18 Tim KingAdding a garbage list that get collected during the...
2017-07-17 Tim KingFixing the order of the comparison operation.
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp
2017-07-17 Andres NoetzliUse is_sorted, merge, copy from std (#199)
2017-07-17 Andres NoetzliRemove PtrCloser (#198)
2017-07-17 Tim KingMoving to static_assert now that c++11 is available.
2017-07-16 Andres NoetzliUse CXXFLAGS when compiling parsers (#197)
2017-07-15 Andres NoetzliFix warning about unknown escape sequence (#196)
2017-07-15 Andres NoetzliDisable separate gnu++11 tests on Travis (#193)
2017-07-14 Tim KingRemoving BOOST_FOREACH usage.
2017-07-14 Tim KingCleaning up the CVC4::String class.
2017-07-13 Aina NiemetzMerge pull request #188 from aniemetz/cx11
2017-07-13 Aina Niemetzautoconf: make -std=gnu++11 mandatory
2017-07-12 ajreynolFix unit tests for subranges. Fix destructors for conte...
2017-07-12 ajreynolFix .i files from last commit.
2017-07-12 ajreynolMake type rules more strict for operators whose type...
2017-07-11 Mathias PreinerRemove trailing slashes from directories if specified...
2017-07-10 ajreynolDo not exit when value/model/unsat-core/proof is reques...
2017-07-10 ajreynolAdd nl regression.
2017-07-10 ajreynolMerge ntExt branch. Adds support for transcendental...
2017-07-10 ajreynolSeparate sygus term utilities to new file, minor cleanu...
2017-07-10 ajreynolMerge datatype shared selectors/sygus comp 2017 branch...
2017-07-10 Mathias PreinerPrerelease versioning for master.
2017-07-10 Mathias PreinerCutting release 1.5.
2017-07-10 Mathias PreinerDisable tarball signing for now.
2017-07-08 Mathias PreinerMerge branch 'master' of github.com:CVC4/CVC4
2017-07-07 Mathias PreinerUpdate copyright year and refer to authors URL.
2017-07-07 Andres NoetzliRemove unused stacking_vector class (#185)
2017-07-07 Andres NoetzliAvoid invoking copy constructor when safe printing...
2017-07-07 Mathias PreinerUpdate copyright headers.
2017-07-07 Mathias PreinerUpdate files that are part of the CVC4 license, exclude...
2017-07-07 Mathias PreinerUse consistent author names for the copyright headers.
2017-07-07 Mathias PreinerUse new copyright header format.
2017-07-07 Mathias PreinerEscape left brace in regex in update-copyright script.
2017-07-06 Mathias PreinerFix passing antlr arguments to configure in contrib...
2017-07-06 Aina Niemetzcut-release: git co -> git checkout
2017-07-06 Aina Niemetzcut-release: option handling, get-antlr
2017-07-05 ajreynolFix for logic info, update regressions. Update casc...
2017-07-05 Mathias Preinerupdated INSTALL for version 1.5
2017-07-05 ajreynolUpdate unit test, news.
2017-07-05 ajreynolNon-linear supported in ALL logics. Minor fixes for...
next