projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add support for re.all (#2980)
[cvc5.git] / src / parser / smt2 /
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
2018-05-03 Mathias PreinerFix redundant internalPush calls. (#1865) 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-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-08 Tim KingFixing more inconsistent usages of override. (#1575) tree | commitdiff
2018-02-07 Andrew ReynoldsAdd remaining transcendental functions (#1551) 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-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-05 Andrew ReynoldsMake higher-order a flag in logic info. (#1318) tree | commitdiff
2017-10-20 Andrew ReynoldsMake Sygus conjectures higher-order (#1244) 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 Andrew ReynoldsMinor change to how SyGus commands are translated to... tree | commitdiff
2017-10-03 Andrew ReynoldsOp overload parser (#1162) tree | commitdiff
2017-09-19 MartinFloating point symfpu support (#1103) 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-25 Aina NiemetzAdded missing includes (algorithm). tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-04 ajreynolSet default language to smt lib 2.6 (including as a... tree | commitdiff
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the... tree | commitdiff
2017-07-20 ajreynolFix a few bugs related to sygus. 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-10 ajreynolMerge ntExt branch. Adds support for transcendental... 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-07-05 ajreynolNon-linear supported in ALL logics. Minor fixes for... tree | commitdiff
2017-06-21 Andrew ReynoldsMerge pull request #175 from CVC4/fix_uninit tree | commitdiff
2017-06-16 Clark BarrettMerge pull request #170 from CVC4/fix_2_6_parser3 tree | commitdiff
2017-06-16 Andres NoetzliParse 'is', 'match' differently for non-DT input tree | commitdiff
2017-05-17 Clark BarrettMerge pull request #155 from makaimann/conditional_coverage tree | commitdiff
2017-05-16 Clark BarrettMerge pull request #161 from 4tXJ7f/fix_parser tree | commitdiff
2017-05-16 Andres NoetzliAvoid tokenizing FP tokens in non-FP input tree | commitdiff
2017-04-28 ajreynolMinor fixes tree | commitdiff
2017-04-24 ajreynolFix parsing selectors for nullary constructors in smtli... tree | commitdiff
2017-04-12 ajreynolAdd nullary operator metakind. tree | commitdiff
2017-03-22 ajreynolWork on new approach for sygus involving conditional... tree | commitdiff
2017-03-16 ajreynolMore fixes, features to examples. tree | commitdiff
2017-03-16 ajreynolMinor fixes, always expand applications of lambdas... tree | commitdiff
next