projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add support for re.all (#2980)
[cvc5.git] / src / parser / cvc /
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
2016-04-04 Tim KingUpdating the copyright headers and scripts. tree | commitdiff
2016-03-07 PaulMengmodified CVC4 native language parser to accept 1-tuple... tree | commitdiff
2016-02-15 PaulMengMerge remote-tracking branch 'origin/master' tree | commitdiff
2016-02-15 ajreynolMinor change to last commit tree | commitdiff
2016-02-15 ajreynolEliminate most of the internal representation infrastru... tree | commitdiff
2016-02-09 PaulMeng- extend cvc4 frontend parser to accept relational... tree | commitdiff
2016-02-02 Tim KingMoving dump.*, command.*, model.*, and ite_removal... tree | commitdiff
2016-01-28 Tim KingAdding listeners to Options. tree | commitdiff
2016-01-08 Tim KingDisabling the RESTART command. tree | commitdiff
2016-01-06 Tim KingImproving the documentation of the CVC command CONTINUE. tree | commitdiff
2015-12-19 Tim KingModifying emptyset.h and sexpr. Adding SetLanguage. tree | commitdiff
2015-12-15 Tim KingBreaking the include cycle between Record and Expr. tree | commitdiff
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking tree | commitdiff
2015-12-03 Tim KingRemoving the generated directory from the parsers. tree | commitdiff
2014-12-12 ajreynolAdd cvc parsing support for cardinality constraints... tree | commitdiff
2014-11-10 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-05 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-23 Morgan DetersParsing and infrastructure support for SMT-LIBv2.5... tree | commitdiff
2014-10-17 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-16 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-11 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x' tree | commitdiff
2014-10-10 Morgan DetersCleanup tree | commitdiff
2014-10-09 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-09 Morgan DetersAdd unsat cores support to CVC native language. tree | commitdiff
2014-10-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-06 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-06 Morgan DetersClear out decls/defs with RESET command. tree | commitdiff
2014-10-06 Morgan DetersMerge branch '1.4.x' tree | commitdiff
next