projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add support for str.from_code (#3829)
[cvc5.git] / src / parser / smt2 /
2020-02-29 Andres NoetzliAdd support for str.from_code (#3829) tree | commitdiff
2020-02-27 Andrew ReynoldsRefactor operator applications in the parser (#3831) tree | commitdiff
2020-02-27 Andrew ReynoldsUpdate purifySygusGTerm to the new API (#3830) tree | commitdiff
2020-02-27 Andrew ReynoldsAdd support for is_digit and regular expression differe... tree | commitdiff
2020-02-27 Andrew ReynoldsMove fix for vacuous sygus types out of the parser... tree | commitdiff
2020-02-26 Andrew ReynoldsMore fixes for printing sygus commands (#3812) 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-26 Andrew ReynoldsEmbed mkAssociative utilities within the API. (#3801) tree | commitdiff
2020-02-24 Andrew ReynoldsConvert parser input interface to api::Term (#3809) tree | commitdiff
2020-02-24 Abdalrhman MohamedFix bugs related to printing Sygus commands (#3804) tree | commitdiff
2020-02-21 Andrew ReynoldsSimple changes towards unicode string standard (#3791) tree | commitdiff
2020-02-20 Andrew ReynoldsRemove front-end support for Chain (#3767) tree | commitdiff
2020-02-17 Haniel BarbosaUsing ParseOp in TPTP (#3764) tree | commitdiff
2020-02-17 Abdalrhman MohamedSupport dumping Sygus commands. (#3763) tree | commitdiff
2020-02-14 Andrew ReynoldsRemove quantifiers rewrite rules infrastructure (#3754) tree | commitdiff
2020-02-14 Andrew ReynoldsUpdate sygus v1 parser to use ParseOp utility (#3756) tree | commitdiff
2020-01-07 Andrew ReynoldsFix unary minus parse check (#3594) tree | commitdiff
2019-12-23 Andrew ReynoldsInitial support for string reverse (#3581) tree | commitdiff
2019-12-17 Andrew ReynoldsFix spurious parse error for rational real array consta... tree | commitdiff
2019-12-13 Andrew ReynoldsAdd support for set comprehension (#3312) tree | commitdiff
2019-12-10 Haniel BarbosaFix ufho issues (#3551) tree | commitdiff
2019-12-06 Andrew ReynoldsAdd ExprManager as argument to Datatype (#3535) tree | commitdiff
2019-12-02 makaimannOpTerm Refactor: Allow retrieving OpTerm used to create... tree | commitdiff
2019-11-30 Haniel Barbosaimproving parsing error messages related to HOL (#3510) tree | commitdiff
2019-11-29 Andrew ReynoldsCheck free variables in assertions when using SyGuS... tree | commitdiff
2019-11-25 Andrew ReynoldsBetter front-end type checking for SyGuS (#3496) tree | commitdiff
2019-11-18 Andres NoetzliUse -Wimplicit-fallthrough (#3464) tree | commitdiff
2019-11-15 Andrew ReynoldsFix wrong kind in sygus version 1 parser (#3463) tree | commitdiff
2019-11-13 Andres NoetzliAllow (set-logic ...) after (reset) (#3457) tree | commitdiff
2019-11-04 Andrew ReynoldsAvoid non-well-founded sygus grammars (#3434) tree | commitdiff
2019-10-11 Andrew ReynoldsCheck that logic is set when synth-fun command is encou... tree | commitdiff
2019-10-11 Aina NiemetzMake order of theories explicit in the source code... tree | commitdiff
2019-10-09 Andres NoetzliAvoid printing success for `--force-logic` (#3363) tree | commitdiff
2019-10-08 Andres Noetzli[SMT2 Parser] Move code of `rewriterulesCommand` (... tree | commitdiff
2019-10-03 Andres Noetzli[SMT2 Parser] Move code of `sygusCommand` (#3335) tree | commitdiff
2019-09-30 Andrew ReynoldsAvoid cases of empty sygus grammars (#3301) tree | commitdiff
2019-09-28 Andrew ReynoldsSupport smt2 language "match" term (#3258) tree | commitdiff
2019-09-25 Andrew ReynoldsAdd isParameterized function to Expr (#3303) tree | commitdiff
2019-09-13 Andrew ReynoldsDisallow let in sygus grammars, check for free variable... tree | commitdiff
2019-09-06 Mathias PreinerRemove parsing/printing of meta-info command. (#3260) tree | commitdiff
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) tree | commitdiff
2019-08-18 Andrew Reynolds Cleaning make bound var in smt2 parser (#3192) tree | commitdiff
2019-08-17 Andrew ReynoldsMark symbols introduced by named attributes as defined... tree | commitdiff
2019-08-13 Andrew ReynoldsIntroduce smt2 parsing utility ParseOp and refactor... tree | commitdiff
2019-08-12 Andrew ReynoldsClean smt2 parsing of named attributes (#3172) tree | commitdiff
2019-08-10 Andrew ReynoldsSimplify how defined functions are tracked during parsi... tree | commitdiff
2019-08-06 Andrew ReynoldsProperly parse qualified identifiers (#3111) tree | commitdiff
2019-07-29 Andrew ReynoldsModel blocker feature (#3112) tree | commitdiff
2019-07-29 Andrew ReynoldsSupport get-abduct smt2 command (#3122) tree | commitdiff
2019-07-23 Andrew ReynoldsFix sygus datatype parsing in sygus v1 format (#3113) tree | commitdiff
2019-07-16 Andrew ReynoldsAdd support for str.tolower and str.toupper (#3092) tree | commitdiff
2019-07-01 Andrew ReynoldsSupport sygus version 2 format (#3066) tree | commitdiff
2019-06-21 Andres NoetzliFix and simplify handling of --force-logic (#3062) tree | commitdiff
2019-06-12 Andres NoetzliRefactor parser to define fewer tokens for symbols... tree | commitdiff
2019-06-11 Andrew ReynoldsDo not require sygus constructors to be flattened ... tree | commitdiff
2019-05-06 Andres NoetzliAdd support for re.all (#2980) tree | commitdiff
2019-04-30 Andrew ReynoldsEliminate APPLY kind (#2976) tree | commitdiff
2019-04-26 Aina NiemetzNew C++ API: Clean up API: mkVar vs mkConst vs mkBoundV... tree | commitdiff
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
2019-04-16 Andres NoetzliMake bv{add,mul,and,or,xor,xnor} left-associative ... tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-03-19 Andrew ReynoldsMake declare-datatype(s) a standard, non-extended comma... tree | commitdiff
2019-03-19 Aina NiemetzNew C++: Remove redundant mkVar function. tree | commitdiff
2019-01-10 Aina NiemetzNew C++ API: Get rid of mkConst functions (simplify... tree | commitdiff
2019-01-03 Andres NoetzliAPI/Smt2 parser: refactor termAtomic (#2674) tree | commitdiff
2018-11-27 Andres NoetzliReduce lookahead when parsing string literals (#2721) 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-10-18 Haniel BarbosaIntroducing internal commands for SyGuS commands (... tree | commitdiff
2018-10-03 Andres NoetzliAllow (_ to_fp ...) in strict parsing mode (#2566) tree | commitdiff
2018-09-26 Haniel BarbosaMakes SyGuS parsing more robust in invariant problems... 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-27 Andrew ReynoldsMake division chainable in the smt2 parser (#2367) tree | commitdiff
2018-08-22 Andrew Reynolds Fix processing of nested Variable construct in sygus... tree | commitdiff
2018-08-21 Andrew ReynoldsWarn and enable quantifiers when using sygus + logics... tree | commitdiff
2018-08-20 Andrew Reynolds Remove support for prototype (non-sygus) synthesis... tree | commitdiff
2018-08-17 Andrew ReynoldsSplit sygus grammar to its own ANTLR grammar (#2307) tree | commitdiff
2018-08-09 Aina NiemetzPlug solver API object into parser. (#2240) tree | commitdiff
2018-08-08 Andrew ReynoldsSimplify and improve the sygus parser (#2266) tree | commitdiff
2018-08-07 Andrew ReynoldsAdd RegLan to smt2/sygus parsers. (#2276) tree | commitdiff
2018-08-07 Andrew ReynoldsRemove support for Enum sygus syntax. (#2264) tree | commitdiff
2018-08-02 Andrew ReynoldsParse standard separation logic inputs (#2257) tree | commitdiff
2018-08-02 Andrew ReynoldsFix issues with printing parametric datatypes in smt2... tree | commitdiff
2018-07-14 Andrew ReynoldssygusComp2018: update semantics for declare-fun in... tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-06-05 Andres NoetzliOnly enable transcendentals if logic is N[I]RAT (#2052) tree | commitdiff
2018-05-29 Andres Noetzli Make user's SMT2 version override file version (#2004) tree | commitdiff
2018-05-29 Andres NoetzliTrack input language in a single place (#2003) tree | commitdiff
2018-05-22 Andrew ReynoldsParse error for sygus grammar term with multiple let... tree | commitdiff
2018-05-21 Andrew ReynoldsImprovements in parsing and printing related to mixed... tree | commitdiff
2018-05-08 Andrew ReynoldsSupport for str.<= and str.< (#1882) tree | commitdiff
2018-05-07 Andrew ReynoldsAdd support for str.code (#1821) tree | commitdiff
next