summaryrefslogtreecommitdiff
path: root/src/parser/cvc
AgeCommit message (Expand)Author
2020-04-08Added CHOOSE operator for sets (#4211)mudathirmahgoub
2020-03-31Remove replay and use-theory options and idl (#4186)Andrew Reynolds
2020-03-30Support indexed operators re.loop and re.^ (#4167)Andrew Reynolds
2020-03-30Frontend support for the choice operator (#4175)mudathirmahgoub
2020-03-27Support unicode internal representation and escape sequences (#3852)Andrew Reynolds
2020-03-12Convert most instances of dataypes in parsers to the new API (#4054)Andrew Reynolds
2020-03-09Clean up more uses of ExprManager in parsers (#3932)Andrew Reynolds
2020-03-06Simplify DatatypeDeclarationCommand command (#3928)Andrew Reynolds
2020-03-06Remove tester name from APIs (#3929)Andrew Reynolds
2020-03-05Migrate a majority of the functionality in parsers to the new API (#3838)Andrew Reynolds
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2020-02-27Refactor operator applications in the parser (#3831)Andrew Reynolds
2020-02-26Basic support for regular expression complement (#3437)Andrew Reynolds
2020-02-26Refactor type ascriptions in the parser (#3825)Andrew Reynolds
2020-02-26Minor cleaning of smt2 parser (#3823)Andrew Reynolds
2020-02-24Convert parser input interface to api::Term (#3809)Andrew Reynolds
2019-12-23Initial support for string reverse (#3581)Andrew Reynolds
2019-12-06Add ExprManager as argument to Datatype (#3535)Andrew Reynolds
2019-10-08[CVC Parser] Add support for regular expressions (#3346)Andres Noetzli
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2019-08-26Remove unnecessary code from Cvc.g (#3213)Andrew Reynolds
2019-08-10Simplify how defined functions are tracked during parsing (#3177)Andrew Reynolds
2019-06-21Fix and simplify handling of --force-logic (#3062)Andres Noetzli
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback