summaryrefslogtreecommitdiff
path: root/src/parser/cvc/Cvc.g
AgeCommit message (Expand)Author
2020-11-30Eliminate uses of SExpr from the parser. (#5496)Abdalrhman Mohamed
2020-11-20Fix use of declaration sequence command in cvc parser (#5479)Andrew Reynolds
2020-11-19Include stddef.h (needed for size_t) in cvc4_public.h (#5476)Aina Niemetz
2020-11-05Remove mkSingleton from the API (#5366)mudathirmahgoub
2020-10-29Update api::Sort to use TypeNode instead of Type (#5363)Andrew Reynolds
2020-10-29Add mkInteger to the API (#5274)mudathirmahgoub
2020-10-07New C++ API: Rename Term::isConst() to Term::isValue(). (#5211)Aina Niemetz
2020-10-04Remove subtyping for sets theory (#5179)mudathirmahgoub
2020-09-22Refactor Commands to use the Public API. (#5105)Abdalrhman Mohamed
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-08-31Fix spelling errors (#4977)FabianWolff
2020-08-03Update datatypes in cvc parser to the new API (#4826)Andrew Reynolds
2020-07-06Front end support for sequences (#4690)Andrew Reynolds
2020-06-18Add logic check for define-fun(s)-rec (#4577)Andres Noetzli
2020-06-16Update copyright headers.Aina Niemetz
2020-06-06Keep definitions when global-declarations enabled (#4572)Andres Noetzli
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback