projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add support for re.all (#2980)
[cvc5.git] / src / parser /
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-29 Andrew ReynoldsFix issues in cvc parser (#2901) 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-03-14 Andrew ReynoldsImplement proper semantics for TPTP predicate is_rat... 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: Enable -Wall. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add support for cross-compiling for Windows. tree | commitdiff
2018-09-22 Aina Niemetzcmake: More documentation, clean up. tree | commitdiff
2018-09-22 Mathias Preinercmake: FindANTLR: Check if antlr3FileStreamNew is avail... tree | commitdiff
2018-09-22 Mathias Preinercmake: Add make install rule. 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: Add library versioning for libcvc4.so. tree | commitdiff
2018-09-22 Mathias Preinercmake: Fix some includes. 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-09-11 Aina NiemetzFixe compiler warning in line_buffer.cpp. (#2453) tree | commitdiff
2018-08-27 Andrew ReynoldsMake division chainable in the smt2 parser (#2367) tree | commitdiff
2018-08-23 Andres NoetzliUse "filename" instead of "name" in SmtEngine::setInfo... 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-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (... 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-07-02 Andrew ReynoldsImprove error message. (#2124) 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
2018-05-03 Mathias PreinerFix redundant internalPush calls. (#1865) tree | commitdiff
2018-05-03 Andrew ReynoldsSupport HORN logic string (#1849) tree | commitdiff
2018-05-03 Andrew ReynoldsInitial support for string standard in smt lib 2.6... tree | commitdiff
2018-04-08 Andrew ReynoldsCheck free variables in assertions (#1737) tree | commitdiff
2018-04-08 Andrew ReynoldsDo not introduce uinterpreted constants in TPTP parser... 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-03-09 Aina NiemetzAdd support for SMT-LIB v2.5 command get-unsat-assumpti... tree | commitdiff
2018-03-07 Mathias PreinerMake statistics output consistent. (#1647) tree | commitdiff
2018-03-05 Mathias PreinerEnable -Wsuggest-override by default. (#1643) tree | commitdiff
2018-03-05 Aina NiemetzAdd support for check-sat-assuming. (#1637) tree | commitdiff
2018-02-28 Aina NiemetzRemove unused code in pushDefineFunRecScop in smt2... tree | commitdiff
2018-02-20 Andrew ReynoldsMinor fixes and additions for transcendental functions... tree | commitdiff
2018-02-09 Tim KingInlining line_buffered_input to avoid warning about... tree | commitdiff
2018-02-08 Tim KingFixing more inconsistent usages of override. (#1575) tree | commitdiff
2018-02-07 Andrew ReynoldsAdd remaining transcendental functions (#1551) tree | commitdiff
2018-01-10 Tim KingCleaning up throw specifiers on Exception and subclasse... tree | commitdiff
2018-01-06 Tim KingRemoving throw specifiers from src/parser/. (#1486) tree | commitdiff
2017-12-28 Arjun ViswanathanRel smt parser (#1446) tree | commitdiff
2017-12-10 Andrew ReynoldsFix issue 1433. (#1435) tree | commitdiff
2017-12-07 Andrew ReynoldsAdd command for define-fun-rec and add to API (#1412) tree | commitdiff
2017-12-01 Andres NoetzliFix reset-assertions (#1413) tree | commitdiff
2017-12-01 Andrew ReynoldsRefactor and generalize PBE strategies (#1410) tree | commitdiff
2017-11-29 Tim KingSimplifying the conditions in checkLetBinding to avoid... tree | commitdiff
2017-11-24 Andrew ReynoldsHo parsing and regressions (#1350) tree | commitdiff
2017-11-22 Andrew ReynoldsSygus Lambda Grammars (#1390) tree | commitdiff
2017-11-20 Tim KingRemoving an unused variable from SygusInput. Resolves... tree | commitdiff
2017-11-07 Tim KingInitializing Smt1::d_logic in all cases. This was resol... tree | commitdiff
2017-11-07 Tim King Removing an unused member from Tptp. Initializing... tree | commitdiff
2017-11-05 Andrew ReynoldsMake higher-order a flag in logic info. (#1318) tree | commitdiff
2017-11-04 Andrew ReynoldsSuppport SAT logic (#1310) tree | commitdiff
2017-10-27 Andres NoetzliModify LDFLAGS to support shared libraries for Win... tree | commitdiff
2017-10-20 Andrew ReynoldsMake Sygus conjectures higher-order (#1244) tree | commitdiff
2017-10-18 Andrew ReynoldsTptp unsat cores (#1228) tree | commitdiff
2017-10-18 Andrew ReynoldsStrings API escape sequences (#1245) tree | commitdiff
2017-10-12 Andrew ReynoldsSygus logics (#1226) tree | commitdiff
2017-10-11 Andrew ReynoldsMove unsat core names to smt engine (#1192) tree | commitdiff
2017-10-10 Andrew ReynoldsSplit term database (#1206) tree | commitdiff
2017-10-05 Clark BarrettFix typo in comment. tree | commitdiff
2017-10-05 Andrew ReynoldsMinor change to how SyGus commands are translated to... tree | commitdiff
2017-10-03 Andrew ReynoldsOp overload parser (#1162) tree | commitdiff
2017-09-27 Andres NoetzliFix seeking for buffered input (#1145) tree | commitdiff
2017-09-26 Tim KingFixing Cid 1172009 (#1141) tree | commitdiff
2017-09-19 Tim KingRemoving a potentially invalid comparison in the TPTP... tree | commitdiff
next