projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Modify the smt2 parser to use the Sygus grammar. (#4829)
[cvc5.git] / src / parser / cvc /
2020-08-03 Andrew ReynoldsUpdate datatypes in cvc parser to the new API (#4826) tree | commitdiff
2020-07-06 Andrew ReynoldsFront end support for sequences (#4690) tree | commitdiff
2020-06-19 Andres NoetzliAdd logic check for define-fun(s)-rec (#4577) tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-06-06 Andres NoetzliKeep definitions when global-declarations enabled ... tree | commitdiff
2020-06-04 Aina NiemetzNew C++ Api: First batch of API guards. (#4557) tree | commitdiff
2020-06-02 Aina NiemetzNew C++ API: Keep reference to solver object in non... tree | commitdiff
2020-05-22 Andrew ReynoldsUpdate string kind names in new API (#4509) tree | commitdiff
2020-05-19 mudathirmahgoubRenamed operator CHOICE to WITNESS (#4207) tree | commitdiff
2020-04-08 mudathirmahgoubAdded CHOOSE operator for sets (#4211) tree | commitdiff
2020-03-31 Andrew ReynoldsRemove replay and use-theory options and idl (#4186) tree | commitdiff
2020-03-30 Andrew ReynoldsSupport indexed operators re.loop and re.^ (#4167) tree | commitdiff
2020-03-30 mudathirmahgoubFrontend support for the choice operator (#4175) tree | commitdiff
2020-03-27 Andrew ReynoldsSupport unicode internal representation and escape... tree | commitdiff
2020-03-12 Andrew ReynoldsConvert most instances of dataypes in parsers to the... tree | commitdiff
2020-03-09 Andrew ReynoldsClean up more uses of ExprManager in parsers (#3932) tree | commitdiff
2020-03-06 Andrew ReynoldsSimplify DatatypeDeclarationCommand command (#3928) tree | commitdiff
2020-03-06 Andrew ReynoldsRemove tester name from APIs (#3929) tree | commitdiff
2020-03-05 Andrew ReynoldsMigrate a majority of the functionality in parsers... tree | commitdiff
2020-03-05 Mathias PreinerEnable -Wshadow and fix warnings. (#3909) tree | commitdiff
2020-02-27 Andrew ReynoldsRefactor operator applications in the parser (#3831) tree | commitdiff
2020-02-26 Andrew ReynoldsBasic support for regular expression complement (#3437) tree | commitdiff
2020-02-26 Andrew ReynoldsRefactor type ascriptions in the parser (#3825) tree | commitdiff
2020-02-26 Andrew ReynoldsMinor cleaning of smt2 parser (#3823) tree | commitdiff
2020-02-24 Andrew ReynoldsConvert parser input interface to api::Term (#3809) tree | commitdiff
2019-12-23 Andrew ReynoldsInitial support for string reverse (#3581) tree | commitdiff
2019-12-06 Andrew ReynoldsAdd ExprManager as argument to Datatype (#3535) tree | commitdiff
2019-10-08 Andres Noetzli[CVC Parser] Add support for regular expressions (... tree | commitdiff
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) tree | commitdiff
2019-08-26 Andrew ReynoldsRemove unnecessary code from Cvc.g (#3213) tree | commitdiff
2019-08-10 Andrew ReynoldsSimplify how defined functions are tracked during parsi... tree | commitdiff
2019-06-21 Andres NoetzliFix and simplify handling of --force-logic (#3062) tree | commitdiff
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
2019-03-29 Andrew ReynoldsFix issues in cvc parser (#2901) tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2018-11-21 Andrew ReynoldsSupport string replace all (#2704) tree | commitdiff
2018-10-20 Mathias PreinerRemove antlr_undefines.h. (#2664) tree | commitdiff
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) tree | commitdiff
2018-09-22 Mathias Preinercmake: Only build libcvc4 and libcvc4parser as libraries. tree | commitdiff
2018-09-22 Mathias Preinercmake: Move find_package to where it is actually needed. tree | commitdiff
2018-09-22 Mathias Preinercmake: Cleanup CMakeLists.txt files, remove SHARED. tree | commitdiff
2018-09-22 Mathias Preinercmake: Working build infrastructure. tree | commitdiff
2018-09-22 Mathias Preinercmake: Antlr parser generation done. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-08-09 Aina NiemetzPlug solver API object into parser. (#2240) tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-05-29 Andres NoetzliTrack input language in a single place (#2003) tree | commitdiff
2018-05-21 Andrew ReynoldsImprovements in parsing and printing related to mixed... tree | commitdiff
2018-04-06 Arjun ViswanathanAdd define rec fun to cvc parser (#1738) tree | commitdiff
2018-04-02 Clark BarrettRemove references to nyu (#1721) tree | commitdiff
2018-02-08 Tim KingFixing more inconsistent usages of override. (#1575) tree | commitdiff
2018-01-06 Tim KingRemoving throw specifiers from src/parser/. (#1486) tree | commitdiff
2017-10-18 Andrew ReynoldsStrings API escape sequences (#1245) tree | commitdiff
2017-10-03 Andrew ReynoldsOp overload parser (#1162) tree | commitdiff
2017-09-14 Andrew ReynoldsRemove unhandled subtypes (#1098) tree | commitdiff
2017-09-05 Andrew ReynoldsRemove support for conversions between uint32/uint16... tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-17 Andres NoetzliRemove unused SubrangeBound(s) classes (#221) tree | commitdiff
2017-07-29 ajreynolAdd support for charat in native language, minor cleanup. tree | commitdiff
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-17 Andres NoetzliRemove PtrCloser (#198) tree | commitdiff
2017-07-16 Andres NoetzliUse CXXFLAGS when compiling parsers (#197) tree | commitdiff
2017-07-13 Aina NiemetzMerge pull request #188 from aniemetz/cx11 tree | commitdiff
2017-07-12 ajreynolMake type rules more strict for operators whose type... tree | commitdiff
2017-07-10 ajreynolMerge datatype shared selectors/sygus comp 2017 branch... tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2017-07-07 Mathias PreinerUse new copyright header format. tree | commitdiff
2017-04-20 Andrew ReynoldsMerge pull request #149 from PaulMeng/master tree | commitdiff
2017-04-20 Paul MengSupport for relational operators identity and join... tree | commitdiff
2017-04-12 ajreynolAdd nullary operator metakind. tree | commitdiff
2017-03-20 Andrew ReynoldsMerge pull request #135 from PaulMeng/master tree | commitdiff
2017-03-20 Paul Mengfixed cvc4 parser for set complement tree | commitdiff
2017-03-16 ajreynolParsing support for SMT LIB 2.6. Minor fixes for printi... tree | commitdiff
2017-03-07 ajreynolMore fixes for printing/parsing sets, fix kind name. tree | commitdiff
2017-03-07 ajreynolFix cvc parser for set compliment. tree | commitdiff
2017-03-06 ajreynolSupport for set compliment and universe set. Simplify... tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... tree | commitdiff
2016-12-07 ajreynolAdded cardinality to cvc language, fixes bug 753. Throw... tree | commitdiff
2016-12-02 Clark BarrettMerge pull request #113 from 4tXJ7f/remove_extract_rule tree | commitdiff
2016-11-30 Clark BarrettMerge pull request #115 from 4tXJ7f/bug766 tree | commitdiff
2016-11-30 Andres NotzliFix parsing of BVROTR by CVC parser tree | commitdiff
2016-11-12 Clark BarrettMerge pull request #107 from timothy-king/smt1-parser... tree | commitdiff
2016-11-12 Clark BarrettMerge pull request #106 from timothy-king/cvc-parser... tree | commitdiff
2016-11-12 Tim KingAdding garbage collection for the CVC Parser for Comman... tree | commitdiff
2016-11-01 ajreynolRevert change to Datatypes API to return vector of... tree | commitdiff
2016-11-01 ajreynolRevert change to datatypes API for passing pointers... tree | commitdiff
2016-11-01 ajreynolWorking memory leak free version, changes interface... tree | commitdiff
2016-10-26 Andrew ReynoldsMerge pull request #98 from 4tXJ7f/fix_dist_build tree | commitdiff
2016-10-26 ajreynolNew implementation of sets+cardinality. Merge Paul... tree | commitdiff
2016-10-13 Tim KingRevert "Merge branch 'origin' of https://github.com... tree | commitdiff
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-05-05 Tim KingRemoving a null pointer reference that was found by... tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-04-15 PaulMengchange transitive closure operator name to TCLOUSRE tree | commitdiff
2016-04-14 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-04-13 ajreynolUpdate native language support for strings. tree | commitdiff
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-04-09 Kshitij Bansalcardinality operation for finite sets (based on my... tree | commitdiff
next