projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add bag inferences for operators: intersection, duplicate_removal, and empty bags...
[cvc5.git] / src / parser /
2021-01-21 Andrew ReynoldsAdd div, mod, abs in non-strict parsing mode (#5793) tree | commitdiff
2021-01-20 Aina NiemetzSMT2 parser: Do not add non-linear symbols for linear... tree | commitdiff
2021-01-08 mudathirmahgoubAdd bags inference generator (#5731) tree | commitdiff
2021-01-07 Haniel BarbosaRemove dependency on expression layer in TPTP parser... tree | commitdiff
2021-01-07 Haniel BarbosaFix warning in TPTP parser (#5752) tree | commitdiff
2021-01-05 Andrew ReynoldsRemove a few miscellaneous references to the expr layer... tree | commitdiff
2020-12-16 Andrew ReynoldsUse uint64 utility when parsing tuple selectors in... tree | commitdiff
2020-12-03 Andrew ReynoldsRefactor handling of global declarations (#5577) tree | commitdiff
2020-12-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-12-02 Aina NiemetzRename macro Message to CVC4Message. (#5576) tree | commitdiff
2020-11-30 Abdalrhman MohamedEliminate uses of SExpr from the parser. (#5496) tree | commitdiff
2020-11-25 Andrew ReynoldsUse symbol manager for printing responses get-model... tree | commitdiff
2020-11-20 Andrew ReynoldsFix use of declaration sequence command in cvc parser... tree | commitdiff
2020-11-19 Aina NiemetzInclude stddef.h (needed for size_t) in cvc4_public... tree | commitdiff
2020-11-19 Andrew ReynoldsUse symbol manager for unsat cores (#5468) tree | commitdiff
2020-11-18 Andrew ReynoldsUse symbol manager for get assignment (#5451) tree | commitdiff
2020-11-16 Andrew ReynoldsCleaning up scopes in preparation for symbol manager... tree | commitdiff
2020-11-13 Andrew ReynoldsAdd more features to symbol manager (#5434) tree | commitdiff
2020-11-12 Andrew ReynoldsMake symbol manager context dependent (#5424) tree | commitdiff
2020-11-11 Andrew ReynoldsMove symbol manager to src/expr/ (#5420) tree | commitdiff
2020-11-10 Andrew ReynoldsAdd proper support for the declare-heap command for... tree | commitdiff
2020-11-09 Andrew ReynoldsAdd symbol manager (#5380) tree | commitdiff
2020-11-06 Andrew ReynoldsSimplify printing with respect to expression types... tree | commitdiff
2020-11-05 mudathirmahgoubRemove mkSingleton from the API (#5366) tree | commitdiff
2020-11-02 Andrew ReynoldsMiscellaneous cleaning of parser (#5369) tree | commitdiff
2020-10-30 Andrew ReynoldsUpdate api::Sort to use TypeNode instead of Type (... tree | commitdiff
2020-10-29 mudathirmahgoubAdd mkInteger to the API (#5274) tree | commitdiff
2020-10-28 Andrew ReynoldsConvert symbol table from Expr-level to Term-level... tree | commitdiff
2020-10-27 Abdalrhman MohamedRefactor DeclareSygusVarCommand and SynthFunCommand... tree | commitdiff
2020-10-27 mudathirmahgoubAdd DUPICATE_REMOVAL operator to bags (#5336) tree | commitdiff
2020-10-09 Andres Noetzlireset-assertions: Remove all non-global symbols in... tree | commitdiff
2020-10-07 Aina NiemetzNew C++ API: Rename Term::isConst() to Term::isValue... tree | commitdiff
2020-10-06 mudathirmahgoubAdd operators bag.from_set, bag.to_set to the theory... tree | commitdiff
2020-10-04 mudathirmahgoubRemove subtyping for sets theory (#5179) tree | commitdiff
2020-09-23 Abdalrhman MohamedRefactor Commands to use the Public API. (#5105) tree | commitdiff
2020-09-22 mudathirmahgoubAdd skeleton for theory of bags (multisets) (#5100) tree | commitdiff
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-09-16 Abdalrhman MohamedDump commands in internal code using command printing... tree | commitdiff
2020-09-10 Andrew ReynoldsParser error for wrong number of datatypes (#5049) tree | commitdiff
2020-09-09 mudathirmahgoubAdd is_singleton operator to the theory of sets (#5033) tree | commitdiff
2020-09-03 FabianWolffDrop {INCLUDE,LIBRARY,RUNTIME}_INSTALL_DIR variables... tree | commitdiff
2020-09-02 Andres Noetzli[API] Fix Python Examples (#4943) tree | commitdiff
2020-09-01 FabianWolffFix spelling errors (#4977) tree | commitdiff
2020-08-26 Andrew ReynoldsReplace Expr-level datatype with Node-level DType ... tree | commitdiff
2020-08-24 Gereon KremerFix memory issue in AntlrInput::parseError (#4873) tree | commitdiff
2020-08-04 Abdalrhman MohamedModify the smt2 parser to use the Sygus grammar. (... tree | commitdiff
2020-08-04 Andrew ReynoldsAdd API interface for specialized constructor term... tree | commitdiff
2020-08-03 Andrew ReynoldsUpdate datatypes in cvc parser to the new API (#4826) tree | commitdiff
2020-07-28 yoni206Supporting seq.nth (#4723) tree | commitdiff
2020-07-14 Andrew ReynoldsRemove sygus print callback (#4727) tree | commitdiff
2020-07-14 Andrew ReynoldsDebug instantiations output (#4739) tree | commitdiff
2020-07-13 Andrew ReynoldsStatistics on instantiations per quantified formula... tree | commitdiff
2020-07-13 Andrew ReynoldsAdd support for string/sequence update (#4725) tree | commitdiff
2020-07-10 Andrew ReynoldsFront end support for integer AND (#4717) tree | commitdiff
2020-07-07 Andrew ReynoldsTransfer ownership of internal Options from NodeManager... tree | commitdiff
2020-07-06 Andrew ReynoldsFront end support for sequences (#4690) tree | commitdiff
2020-06-30 Ying ShengInterpolation step 1 (#4638) tree | commitdiff
2020-06-25 Andrew ReynoldsRemove sygus1 parser (#4651) tree | commitdiff
2020-06-23 Mathias PreinerAdd support for eqrange predicate (#4562) tree | commitdiff
2020-06-19 Andres NoetzliAdd logic check for define-fun(s)-rec (#4577) tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-06-10 Andres NoetzliAdd support for str.replace_re/str.replace_re_all ... tree | commitdiff
2020-06-06 Andres NoetzliKeep definitions when global-declarations enabled ... tree | commitdiff
2020-06-06 Andrew ReynoldsSmt2 parsing support for nested recursive datatypes... tree | commitdiff
2020-06-05 makaimannAdd a method for retrieving base of a constant array... tree | commitdiff
2020-06-04 Aina NiemetzNew C++ Api: First batch of API guards. (#4557) tree | commitdiff
2020-06-03 Andrew ReynoldsDo not apply unconstrained simplification when quantifi... tree | commitdiff
2020-06-02 Aina NiemetzNew C++ API: Keep reference to solver object in non... tree | commitdiff
2020-06-01 Andres NoetzliDo not parse ->/lambda unless --uf-ho enabled (#4544) tree | commitdiff
2020-05-22 Andrew ReynoldsUpdate string kind names in new API (#4509) tree | commitdiff
2020-05-19 mudathirmahgoubRenamed operator CHOICE to WITNESS (#4207) tree | commitdiff
2020-05-19 Andrew ReynoldsUpdate enum and option names for sygus languages (... tree | commitdiff
2020-04-28 Andrew ReynoldsSupport the SMT-LIB Unicode string standard by default... tree | commitdiff
2020-04-13 Andrew ReynoldsFix SyGuS define-fun printing from benchmarks coming... tree | commitdiff
2020-04-08 mudathirmahgoubAdded CHOOSE operator for sets (#4211) tree | commitdiff
2020-04-04 Aina NiemetzNew C++ API: Remove Op::getSort(). (#4208) tree | commitdiff
2020-04-01 Andrew ReynoldsSupport char smt-lib syntax (#4188) tree | commitdiff
2020-03-31 Andrew ReynoldsRemove replay and use-theory options and idl (#4186) tree | commitdiff
2020-03-30 Andrew ReynoldsSupport indexed operators re.loop and re.^ (#4167) tree | commitdiff
2020-03-30 Andrew ReynoldsFix arguments to print callback (#4171) tree | commitdiff
2020-03-30 mudathirmahgoubFrontend support for the choice operator (#4175) tree | commitdiff
2020-03-28 Abdalrhman MohamedChange is-cons to (_ is cons) in Sygus benchmarks.... tree | commitdiff
2020-03-28 Abdalrhman MohamedStop printing datatype declaration for Sygus V1 grammar... tree | commitdiff
2020-03-27 Andrew ReynoldsSupport unicode internal representation and escape... tree | commitdiff
2020-03-22 Abdalrhman MohamedConvert V1 Sygus files to V2. (#4136) tree | commitdiff
2020-03-20 Andrew ReynoldsParse error for SyGuS version 1.0 vs 2.0 (#4057) tree | commitdiff
2020-03-19 Andres NoetzliOnly allow bv2nat/int2bv with BV and integer logic... tree | commitdiff
2020-03-12 Andrew ReynoldsConvert most instances of dataypes in parsers to the... tree | commitdiff
2020-03-11 Andrew ReynoldsFix non-parametrized operators in subgoal generation... tree | commitdiff
2020-03-09 Andrew ReynoldsClean up more uses of ExprManager in parsers (#3932) tree | commitdiff
2020-03-06 Andrew ReynoldsSimplify DatatypeDeclarationCommand command (#3928) tree | commitdiff
2020-03-06 Andrew ReynoldsRemove tester name from APIs (#3929) tree | commitdiff
2020-03-06 Andrew ReynoldsMake sygus datatype building independent of parser... tree | commitdiff
2020-03-05 Andrew ReynoldsMigrate a majority of the functionality in parsers... tree | commitdiff
2020-03-05 Mathias PreinerEnable -Wshadow and fix warnings. (#3909) tree | commitdiff
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 Haniel BarbosaChanging TPTP parser to accomodate new API (#3837) 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
next