summaryrefslogtreecommitdiff
path: root/src/parser
AgeCommit message (Expand)Author
2020-04-08Added CHOOSE operator for sets (#4211)mudathirmahgoub
2020-04-03New C++ API: Remove Op::getSort(). (#4208)Aina Niemetz
2020-03-31Support char smt-lib syntax (#4188)Andrew Reynolds
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-30Fix arguments to print callback (#4171)Andrew Reynolds
2020-03-30Frontend support for the choice operator (#4175)mudathirmahgoub
2020-03-28Change is-cons to (_ is cons) in Sygus benchmarks. (#4174)Abdalrhman Mohamed
2020-03-28Stop printing datatype declaration for Sygus V1 grammar. (#4168)Abdalrhman Mohamed
2020-03-27Support unicode internal representation and escape sequences (#3852)Andrew Reynolds
2020-03-21Convert V1 Sygus files to V2. (#4136)Abdalrhman Mohamed
2020-03-20Parse error for SyGuS version 1.0 vs 2.0 (#4057)Andrew Reynolds
2020-03-18Only allow bv2nat/int2bv with BV and integer logic (#4118)Andres Noetzli
2020-03-12Convert most instances of dataypes in parsers to the new API (#4054)Andrew Reynolds
2020-03-11Fix non-parametrized operators in subgoal generation (#4023)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-06Make sygus datatype building independent of parser in sygus v2 (#3923)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-28Add support for str.from_code (#3829)Andres Noetzli
2020-02-27Refactor operator applications in the parser (#3831)Andrew Reynolds
2020-02-27Changing TPTP parser to accomodate new API (#3837)Haniel Barbosa
2020-02-27Update purifySygusGTerm to the new API (#3830)Andrew Reynolds
2020-02-26Add support for is_digit and regular expression difference (#3828)Andrew Reynolds
2020-02-26Move fix for vacuous sygus types out of the parser (#3820)Andrew Reynolds
2020-02-26More fixes for printing sygus commands (#3812)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 improvement to ParseOp (#3808)Andrew Reynolds
2020-02-26Minor cleaning of smt2 parser (#3823)Andrew Reynolds
2020-02-25Embed mkAssociative utilities within the API. (#3801)Andrew Reynolds
2020-02-24Convert parser input interface to api::Term (#3809)Andrew Reynolds
2020-02-24Fix bugs related to printing Sygus commands (#3804)Abdalrhman Mohamed
2020-02-21Simple changes towards unicode string standard (#3791)Andrew Reynolds
2020-02-20Remove front-end support for Chain (#3767)Andrew Reynolds
2020-02-20Remove parser from bindings (#3779)Andres Noetzli
2020-02-19resource manager: Add statistic for every resource. (#3772)Mathias Preiner
2020-02-17Using ParseOp in TPTP (#3764)Haniel Barbosa
2020-02-17Support dumping Sygus commands. (#3763)Abdalrhman Mohamed
2020-02-14Remove quantifiers rewrite rules infrastructure (#3754)Andrew Reynolds
2020-02-13Update sygus v1 parser to use ParseOp utility (#3756)Andrew Reynolds
2020-01-07Fix unary minus parse check (#3594)Andrew Reynolds
2019-12-23Initial support for string reverse (#3581)Andrew Reynolds
2019-12-17Fix spurious parse error for rational real array constants (#3554)Andrew Reynolds
2019-12-13Add support for set comprehension (#3312)Andrew Reynolds
2019-12-10Fix ufho issues (#3551)Haniel Barbosa
2019-12-06Add ExprManager as argument to Datatype (#3535)Andrew Reynolds
2019-12-02OpTerm Refactor: Allow retrieving OpTerm used to create Term in public C++ AP...makaimann
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback