summaryrefslogtreecommitdiff
path: root/src/parser/cvc
AgeCommit message (Expand)Author
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-28Fix issues in cvc parser (#2901)Andrew Reynolds
2019-03-26Update copyright headers.Aina Niemetz
2018-11-21Support string replace all (#2704)Andrew Reynolds
2018-10-20Remove antlr_undefines.h. (#2664)Mathias Preiner
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-09-22cmake: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
2018-09-22cmake: Move find_package to where it is actually needed.Mathias Preiner
2018-09-22cmake: Cleanup CMakeLists.txt files, remove SHARED.Mathias Preiner
2018-09-22cmake: Working build infrastructure.Mathias Preiner
2018-09-22cmake: Antlr parser generation done.Mathias Preiner
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-08-08Plug solver API object into parser. (#2240)Aina Niemetz
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-29Track input language in a single place (#2003)Andres Noetzli
2018-05-21Improvements in parsing and printing related to mixed int/real (#1879)Andrew Reynolds
2018-04-06Add define rec fun to cvc parser (#1738)Arjun Viswanathan
2018-04-02Remove references to nyu (#1721)Clark Barrett
2018-02-07Fixing more inconsistent usages of override. (#1575)Tim King
2018-01-06Removing throw specifiers from src/parser/. (#1486)Tim King
2017-10-18Strings API escape sequences (#1245)Andrew Reynolds
2017-10-03Op overload parser (#1162)Andrew Reynolds
2017-09-14Remove unhandled subtypes (#1098)Andrew Reynolds
2017-09-05Remove support for conversions between uint32/uint16 and string. (#1069)Andrew Reynolds
2017-08-17Remove unused SubrangeBound(s) classes (#221)Andres Noetzli
2017-07-29Add support for charat in native language, minor cleanup.ajreynol
2017-07-17Remove PtrCloser (#198)Andres Noetzli
2017-07-16Use CXXFLAGS when compiling parsers (#197)Andres Noetzli
2017-07-12Make type rules more strict for operators whose type rules involve subtypes. ...ajreynol
2017-07-10Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ...ajreynol
2017-07-07Update copyright headers.Mathias Preiner
2017-07-07Use new copyright header format.Mathias Preiner
2017-04-20Support for relational operators identity and join imagePaul Meng
2017-04-12Add nullary operator metakind.ajreynol
2017-03-20fixed cvc4 parser for set complementPaul Meng
2017-03-16Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ...ajreynol
2017-03-07More fixes for printing/parsing sets, fix kind name.ajreynol
2017-03-07Fix cvc parser for set compliment.ajreynol
2017-03-06Support for set compliment and universe set. Simplify approach for sep.nil no...ajreynol
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2016-12-07Added cardinality to cvc language, fixes bug 753. Throw logic exception when ...ajreynol
2016-11-30Fix parsing of BVROTR by CVC parserAndres Notzli
2016-11-11Adding garbage collection for the CVC Parser for Commands when exceptions are...Tim King
2016-11-01Revert change to Datatypes API to return vector of DatatypeTypes, as before. ...ajreynol
2016-11-01Revert change to datatypes API for passing pointers, instead make deep copy d...ajreynol
2016-11-01Working memory leak free version, changes interface to pointers.ajreynol
2016-10-26New implementation of sets+cardinality. Merge Paul Meng's relation solver as...ajreynol
2016-10-13Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git"Tim King
2016-07-05Merge branch 'master' of https://github.com/CVC4/CVC4.gitPaulMeng
2016-05-05Removing a null pointer reference that was found by -fsanitize=null.Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback