summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-08-04Fix commentsAina Niemetz
2017-08-04Fix typos in commentsAina Niemetz
2017-08-04Set default language to smt lib 2.6 (including as a base language for sygus),...ajreynol
2017-08-02Disable debug symbols for production builds.Mathias Preiner
2017-07-31Minor improvement for enumerative instantiation.ajreynol
2017-07-30Fix memory leak in symbol table (#209)Andres Noetzli
2017-07-29Change remaining hash_set -> unordered_set (#208)Andres Noetzli
2017-07-29Add support for charat in native language, minor cleanup.ajreynol
2017-07-28Fix cache issues for cyclic string equations.ajreynol
2017-07-26-Og for non-opt build, parallel pcvc4 check (#206)Andres Noetzli
2017-07-26Use TEST_CPPFLAGS/TEST_CXXFLAGS to add path to CxxTest headers in configure.a...Mathias Preiner
2017-07-23Disabling compiling unit tests with coverity scan for now.Tim King
2017-07-22Deprecating the unused convenience_node_builders.h (#203)Tim King
2017-07-22Consolidating the opaque pointers in SymbolTable. (#204)Tim King
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-20Fix a few bugs related to sygus.ajreynol
2017-07-19Removing the unused CDAttribute. This makes CDHashMap::obliterate unused. Rem...Tim King
2017-07-19Fix simple_vc_compat_cxx example (#202)Andres Noetzli
2017-07-18Adding a garbage list that get collected during the ~Scope. Removing the CDHa...Tim King
2017-07-17Use is_sorted, merge, copy from std (#199)Andres Noetzli
2017-07-17Remove PtrCloser (#198)Andres Noetzli
2017-07-16Moving to static_assert now that c++11 is available.Tim King
2017-07-16Use CXXFLAGS when compiling parsers (#197)Andres Noetzli
2017-07-15Fix warning about unknown escape sequence (#196)Andres Noetzli
2017-07-14Disable separate gnu++11 tests on Travis (#193)Andres Noetzli
2017-07-14Removing BOOST_FOREACH usage.Tim King
2017-07-13Merge pull request #188 from aniemetz/cx11Aina Niemetz
2017-07-13autoconf: make -std=gnu++11 mandatoryAina Niemetz
2017-07-12Fix unit tests for subranges. Fix destructors for context objs in unit tests.ajreynol
2017-07-12Fix .i files from last commit.ajreynol
2017-07-12Make type rules more strict for operators whose type rules involve subtypes. ...ajreynol
2017-07-11Remove trailing slashes from directories if specified via command line.Mathias Preiner
2017-07-10Do not exit when value/model/unsat-core/proof is requested at wrong time, for...ajreynol
2017-07-10Add nl regression.ajreynol
2017-07-10Merge ntExt branch. Adds support for transcendental functions. Refactoring of...ajreynol
2017-07-10Separate sygus term utilities to new file, minor cleanup from last commit.ajreynol
2017-07-10Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ...ajreynol
2017-07-10Prerelease versioning for master.Mathias Preiner
2017-07-10Cutting release 1.5.Mathias Preiner
2017-07-10Disable tarball signing for now.Mathias Preiner
2017-07-07Merge branch 'master' of github.com:CVC4/CVC4Mathias Preiner
2017-07-07Update copyright year and refer to authors URL.Mathias Preiner
2017-07-07Remove unused stacking_vector class (#185)Andres Noetzli
2017-07-07Avoid invoking copy constructor when safe printing (#184)Andres Noetzli
2017-07-07Update copyright headers.Mathias Preiner
2017-07-07Update files that are part of the CVC4 license, exclude minisat files.Mathias Preiner
2017-07-07Use consistent author names for the copyright headers.Mathias Preiner
2017-07-07Use new copyright header format.Mathias Preiner
2017-07-07Escape left brace in regex in update-copyright script.Mathias Preiner
2017-07-06Fix passing antlr arguments to configure in contrib/cut-releaseMathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback