summaryrefslogtreecommitdiff
path: root/src/parser/cvc/Cvc.g
AgeCommit message (Expand)Author
2020-06-03New C++ Api: First batch of API guards. (#4557)Aina Niemetz
2020-06-02New C++ API: Keep reference to solver object in non-solver objects. (#4549)Aina Niemetz
2020-05-21Update string kind names in new API (#4509)Andrew Reynolds
2020-05-19Renamed operator CHOICE to WITNESS (#4207)mudathirmahgoub
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
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-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-06-25Updated copyright headers.Aina Niemetz
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
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-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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback