Enable -Wshadow and fix warnings. (#3909)
[cvc5.git] / src / parser /
2020-03-05 Mathias PreinerEnable -Wshadow and fix warnings. (#3909)
2020-02-29 Andres NoetzliAdd support for str.from_code (#3829)
2020-02-27 Andrew ReynoldsRefactor operator applications in the parser (#3831)
2020-02-27 Haniel BarbosaChanging TPTP parser to accomodate new API (#3837)
2020-02-27 Andrew ReynoldsUpdate purifySygusGTerm to the new API (#3830)
2020-02-27 Andrew ReynoldsAdd support for is_digit and regular expression differe...
2020-02-27 Andrew ReynoldsMove fix for vacuous sygus types out of the parser...
2020-02-26 Andrew ReynoldsMore fixes for printing sygus commands (#3812)
2020-02-26 Andrew ReynoldsBasic support for regular expression complement (#3437)
2020-02-26 Andrew ReynoldsRefactor type ascriptions in the parser (#3825)
2020-02-26 Andrew ReynoldsMinor improvement to ParseOp (#3808)
2020-02-26 Andrew ReynoldsMinor cleaning of smt2 parser (#3823)
2020-02-26 Andrew ReynoldsEmbed mkAssociative utilities within the API. (#3801)
2020-02-24 Andrew ReynoldsConvert parser input interface to api::Term (#3809)
2020-02-24 Abdalrhman MohamedFix bugs related to printing Sygus commands (#3804)
2020-02-21 Andrew ReynoldsSimple changes towards unicode string standard (#3791)
2020-02-20 Andrew ReynoldsRemove front-end support for Chain (#3767)
2020-02-20 Andres NoetzliRemove parser from bindings (#3779)
2020-02-20 Mathias Preinerresource manager: Add statistic for every resource...
2020-02-17 Haniel BarbosaUsing ParseOp in TPTP (#3764)
2020-02-17 Abdalrhman MohamedSupport dumping Sygus commands. (#3763)
2020-02-14 Andrew ReynoldsRemove quantifiers rewrite rules infrastructure (#3754)
2020-02-14 Andrew ReynoldsUpdate sygus v1 parser to use ParseOp utility (#3756)
2020-01-07 Andrew ReynoldsFix unary minus parse check (#3594)
2019-12-23 Andrew ReynoldsInitial support for string reverse (#3581)
2019-12-17 Andrew ReynoldsFix spurious parse error for rational real array consta...
2019-12-13 Andrew ReynoldsAdd support for set comprehension (#3312)
2019-12-10 Haniel BarbosaFix ufho issues (#3551)
2019-12-06 Andrew ReynoldsAdd ExprManager as argument to Datatype (#3535)
2019-12-02 makaimannOpTerm Refactor: Allow retrieving OpTerm used to create...
2019-11-30 Haniel Barbosaimproving parsing error messages related to HOL (#3510)
2019-11-29 Andrew ReynoldsCheck free variables in assertions when using SyGuS...
2019-11-25 Andrew ReynoldsBetter front-end type checking for SyGuS (#3496)
2019-11-18 Andres NoetzliUse -Wimplicit-fallthrough (#3464)
2019-11-15 Andrew ReynoldsFix wrong kind in sygus version 1 parser (#3463)
2019-11-13 Andres NoetzliAllow (set-logic ...) after (reset) (#3457)
2019-11-04 Andrew ReynoldsAvoid non-well-founded sygus grammars (#3434)
2019-10-27 Andres NoetzliFix global-declarations support (#3403)
2019-10-11 Andrew ReynoldsCheck that logic is set when synth-fun command is encou...
2019-10-11 Aina NiemetzMake order of theories explicit in the source code...
2019-10-09 Andres NoetzliAvoid printing success for `--force-logic` (#3363)
2019-10-08 Andres Noetzli[CVC Parser] Add support for regular expressions (...
2019-10-08 Andres Noetzli[SMT2 Parser] Move code of `rewriterulesCommand` (...
2019-10-03 Andres Noetzli[SMT2 Parser] Move code of `sygusCommand` (#3335)
2019-09-30 Andrew ReynoldsAvoid cases of empty sygus grammars (#3301)
2019-09-28 Andrew ReynoldsSupport smt2 language "match" term (#3258)
2019-09-25 Andrew ReynoldsAdd isParameterized function to Expr (#3303)
2019-09-25 Mathias PreinerUse separate CMake project for CVC4 examples. (#3196)
2019-09-16 Aina Niemetzparser: Improve error message for unrecognized input...
2019-09-13 Andrew ReynoldsDisallow let in sygus grammars, check for free variable...
2019-09-06 Mathias PreinerRemove parsing/printing of meta-info command. (#3260)
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228)
2019-08-26 Andrew ReynoldsRemove unnecessary code from Cvc.g (#3213)
2019-08-18 Andrew Reynolds Cleaning make bound var in smt2 parser (#3192)
2019-08-17 Andrew ReynoldsMark symbols introduced by named attributes as defined...
2019-08-14 Mathias Preinercmake: Export CVC4 library interface. (#3179)
2019-08-13 Andrew ReynoldsIntroduce smt2 parsing utility ParseOp and refactor...
2019-08-12 Andrew ReynoldsClean smt2 parsing of named attributes (#3172)
2019-08-10 Andrew ReynoldsSimplify how defined functions are tracked during parsi...
2019-08-06 Andrew ReynoldsProperly parse qualified identifiers (#3111)
2019-07-31 Haniel BarbosaParsing THF and adding several regressions (#3131)
2019-07-29 Andrew ReynoldsModel blocker feature (#3112)
2019-07-29 Andrew ReynoldsSupport get-abduct smt2 command (#3122)
2019-07-23 Andrew ReynoldsFix sygus datatype parsing in sygus v1 format (#3113)
2019-07-16 Andrew ReynoldsAdd support for str.tolower and str.toupper (#3092)
2019-07-01 Andrew ReynoldsSupport sygus version 2 format (#3066)
2019-06-21 Andres NoetzliFix and simplify handling of --force-logic (#3062)
2019-06-12 Andres NoetzliRefactor parser to define fewer tokens for symbols...
2019-06-11 Andrew ReynoldsDo not require sygus constructors to be flattened ...
2019-05-06 Andres NoetzliAdd support for re.all (#2980)
2019-04-30 Andrew ReynoldsEliminate APPLY kind (#2976)
2019-04-26 Aina NiemetzNew C++ API: Clean up API: mkVar vs mkConst vs mkBoundV...
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974)
2019-04-16 Andres NoetzliMake bv{add,mul,and,or,xor,xnor} left-associative ...
2019-03-29 Andrew ReynoldsFix issues in cvc parser (#2901)
2019-03-26 Aina NiemetzUpdate copyright headers.
2019-03-19 Andrew ReynoldsMake declare-datatype(s) a standard, non-extended comma...
2019-03-19 Aina NiemetzNew C++: Remove redundant mkVar function.
2019-03-14 Andrew ReynoldsImplement proper semantics for TPTP predicate is_rat...
2019-01-10 Aina NiemetzNew C++ API: Get rid of mkConst functions (simplify...
2019-01-03 Andres NoetzliAPI/Smt2 parser: refactor termAtomic (#2674)
2018-11-27 Andres NoetzliReduce lookahead when parsing string literals (#2721)
2018-11-21 Andrew ReynoldsSupport string replace all (#2704)
2018-10-20 Mathias PreinerRemove antlr_undefines.h. (#2664)
2018-10-19 Mathias PreinerRemove autotools build system. (#2639)
2018-10-18 Haniel BarbosaIntroducing internal commands for SyGuS commands (...
2018-10-03 Andres NoetzliAllow (_ to_fp ...) in strict parsing mode (#2566)
2018-09-26 Haniel BarbosaMakes SyGuS parsing more robust in invariant problems...
2018-09-22 Mathias Preinercmake: Enable -Wall.
2018-09-22 Mathias Preinercmake: Add support for cross-compiling for Windows.
2018-09-22 Aina Niemetzcmake: More documentation, clean up.
2018-09-22 Mathias Preinercmake: FindANTLR: Check if antlr3FileStreamNew is avail...
2018-09-22 Mathias Preinercmake: Add make install rule.
2018-09-22 Mathias Preinercmake: Only build libcvc4 and libcvc4parser as libraries.
2018-09-22 Mathias Preinercmake: Move find_package to where it is actually needed.
2018-09-22 Mathias Preinercmake: Add library versioning for libcvc4.so.
2018-09-22 Mathias Preinercmake: Fix some includes.
2018-09-22 Mathias Preinercmake: Cleanup CMakeLists.txt files, remove SHARED.
2018-09-22 Mathias Preinercmake: Working build infrastructure.
2018-09-22 Mathias Preinercmake: Antlr parser generation done.
next