projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix issues with unsat cores and reset-assertions (#4159)
[cvc5.git] / src / expr /
2020-03-27 Andrew ReynoldsDo not require that function sorts are first class... tree | commitdiff
2020-03-19 Andrew ReynoldsExplicitly handle isFinite for rounding modes (#4115) tree | commitdiff
2020-03-18 Alex OzdemirMove node visitor class from smt_util/ to expr/ (#4110) tree | commitdiff
2020-03-06 Andrew ReynoldsRemove tester name from APIs (#3929) tree | commitdiff
2020-03-05 Mathias PreinerEnable -Wshadow and fix warnings. (#3909) tree | commitdiff
2020-03-02 Andrew Reynolds Split collect model info by types in strings (#3847) tree | commitdiff
2020-02-29 Andrew ReynoldsConvert more uses of string to word (#3834) tree | commitdiff
2020-02-27 Andres NoetzliFix -Wshadow warnings in common headers (#3826) tree | commitdiff
2020-02-27 Andrew ReynoldsMove fix for vacuous sygus types out of the parser... tree | commitdiff
2020-02-27 Andrew ReynoldsInitial work towards -Wshadow (#3817) tree | commitdiff
2020-02-26 Andrew ReynoldsInfrastructure for tautological literals in nonlinear... tree | commitdiff
2020-02-26 Andrew ReynoldsEmbed mkAssociative utilities within the API. (#3801) tree | commitdiff
2020-02-20 Andrew ReynoldsRemove front-end support for Chain (#3767) tree | commitdiff
2020-02-20 Andres NoetzliRemove unused code (#3782) tree | commitdiff
2020-02-20 Andrew ReynoldsMinor removals (#3786) tree | commitdiff
2020-02-20 Andres NoetzliRemove parser from bindings (#3779) tree | commitdiff
2020-02-20 Mathias Preinerresource manager: Add statistic for every resource... tree | commitdiff
2020-02-19 Andrew ReynoldsChange Record to shared_ptr (#3778) tree | commitdiff
2020-02-14 Andrew ReynoldsUpdate sygus v1 parser to use ParseOp utility (#3756) tree | commitdiff
2020-02-12 Andres NoetzliRename Java package to edu.stanford.CVC4 (#3752) tree | commitdiff
2020-02-06 Andrew ReynoldsGeneralize containsQuantifiers to hasClosure (#3722) tree | commitdiff
2020-02-03 Andrew ReynoldsUtility function for getting component types (#3703) tree | commitdiff
2020-01-13 Andres NoetzliSupport arbitrary unsigned integer attributes (#3591) tree | commitdiff
2019-12-17 Mathias PreinerGenerate code for options with modes. (#3561) tree | commitdiff
2019-12-16 Andrew ReynoldsMove Datatype management to ExprManager (#3568) tree | commitdiff
2019-12-15 Andrew ReynoldsSimple optimizations for the core rewriter (#3569) tree | commitdiff
2019-12-13 Andrew ReynoldsEliminate Expr-level calls in TypeNode (#3562) tree | commitdiff
2019-12-13 Andrew ReynoldsAdd support for set comprehension (#3312) tree | commitdiff
2019-12-12 Andrew ReynoldsUse the node-level datatypes API (#3556) tree | commitdiff
2019-12-12 Andrew ReynoldsActivate node-level datatype API (#3540) tree | commitdiff
2019-12-06 Andrew ReynoldsAdd ExprManager as argument to Datatype (#3535) tree | commitdiff
2019-12-06 Andrew ReynoldsIntroduce the Node-level Datatypes API (#3462) tree | commitdiff
2019-12-05 Andrew ReynoldsFix the subtyping relation for functions (#3494) tree | commitdiff
2019-11-30 Haniel Barbosaimproving parsing error messages related to HOL (#3510) tree | commitdiff
2019-11-18 Andrew ReynoldsImprove interface for sygus datatype, fix utilities... tree | commitdiff
2019-11-16 Andrew ReynoldsUse standard interface for sygus default grammar constr... tree | commitdiff
2019-11-15 Andrew ReynoldsIntroduce SyGuS datatype API (#3465) tree | commitdiff
2019-11-11 Andrew ReynoldsAdd missing utilities for Node-level Datatype API ... tree | commitdiff
2019-11-11 Andres NoetzliFix mkConst<RoundingMode>() for Python bindings (#3447) tree | commitdiff
2019-11-06 Andrew ReynoldsMigrate more datatype methods to the Node level (#3443) tree | commitdiff
2019-11-05 Andrew ReynoldsRefactor type matcher utility (#3439) tree | commitdiff
2019-11-01 Andrew ReynoldsFix non-termination in datatype type enumerator (#3369) tree | commitdiff
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... tree | commitdiff
2019-10-22 Aina NiemetzNodeValue: Eliminate redundant NBITS macros. (#3400) tree | commitdiff
2019-10-20 Andrew V. JonesCleaning-up the declaration of wrapped functions/method... tree | commitdiff
2019-10-15 Andres NoetzliFix line numbers in templates (#3391) tree | commitdiff
2019-10-11 Aina NiemetzMake order of theories explicit in the source code... tree | commitdiff
2019-10-09 Aina NiemetzNodeValue: Use 'using' instead of 'typedef'. (#3374) tree | commitdiff
2019-10-09 Aina NiemetzNodeValue: Use fixed width return type for getRefCount... tree | commitdiff
2019-10-09 Aina NiemetzReorder NodeValue class according to our code style... tree | commitdiff
2019-10-08 Piotr Trojanekpass parameters by reference where it affects performance tree | commitdiff
2019-10-08 Aina NiemetzNew C++ API: Add Term::getId(). (#3360) tree | commitdiff
2019-09-29 Andres NoetzliIntroduce template classes for simple type rules (... 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-18 Andrew ReynoldsMinor cleaning (#3295) tree | commitdiff
2019-09-17 Andrew ReynoldsAvoid computing cardinality when constructing models... tree | commitdiff
2019-09-17 Andrew ReynoldsRemove parameterized check (#3290) tree | commitdiff
2019-09-13 Andrew ReynoldsDisallow let in sygus grammars, check for free variable... tree | commitdiff
2019-09-12 Andrew ReynoldsUpdate to standard implementation of contains term... tree | commitdiff
2019-09-11 Ken MatsuiFix not to output all warnings (#2778) tree | commitdiff
2019-09-07 Andrew ReynoldsRemove portfolio (#3236) tree | commitdiff
2019-09-04 yoni206More details in substitution function documentation... tree | commitdiff
2019-08-24 Piotr Trojanekfix misuse of iterator with a different container ... tree | commitdiff
2019-08-10 Andrew ReynoldsSimplify how defined functions are tracked during parsi... tree | commitdiff
2019-08-03 Andrew ReynoldsFix printing issue related to nested quotes (#3154) tree | commitdiff
2019-08-01 Andrew ReynoldsMove some generic utilities out of quantifiers (#3139) tree | commitdiff
2019-07-23 yoni206Get operators in node (#3094) tree | commitdiff
2019-07-01 Andrew ReynoldsSupport sygus version 2 format (#3066) tree | commitdiff
2019-06-22 Andres NoetzliAdd floating-point support in the Java API (#3063) tree | commitdiff
2019-06-12 Andres NoetzliRefactor parser to define fewer tokens for symbols... tree | commitdiff
2019-06-05 Andres NoetzliPrevent letification from shadowing variables (#3042) tree | commitdiff
2019-06-03 Andres NoetzliAdd check for limit of number of node children (#3035) tree | commitdiff
2019-05-16 Andres NoetzliFix iterators in Java API (#3000) tree | commitdiff
2019-04-30 Andrew ReynoldsEliminate APPLY kind (#2976) tree | commitdiff
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
2019-04-17 Andrew ReynoldsMore use of isClosure (#2959) tree | commitdiff
2019-03-29 Andres NoetzliFix freeing nodes with maxed refcounts (#2903) tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-03-26 Andres NoetzliFix warnings about wrong line numbers (#2899) tree | commitdiff
2019-03-23 Andres NoetzliFix memory leak when using subsolvers (#2893) tree | commitdiff
2019-03-15 Haniel BarbosaAdding capture avoiding substitution (#2867) tree | commitdiff
2019-03-14 Andrew ReynoldsProperly handle lambdas in relevant domain (#2853) tree | commitdiff
2019-03-14 Andrew Reynolds Add getFreeVariables method to node algorithm (#2852) tree | commitdiff
2019-01-29 Aina NiemetzNew C++ API: Fix checks for mkTerm. (#2820) tree | commitdiff
2019-01-22 Andrew Reynolds Fix parsing of overloaded parametric datatype selector... tree | commitdiff
2018-12-18 Aina NiemetzRemove noop. (#2763) tree | commitdiff
2018-12-17 Aina NiemetzNew C++ API: Add tests for term object. (#2755) tree | commitdiff
2018-11-27 Andrew ReynoldsMake (T)NodeTrie a general utility (#2489) tree | commitdiff
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) tree | commitdiff
2018-10-12 Andrew ReynoldsImprovements to rewrite rules from inputs (#2625) tree | commitdiff
2018-10-11 Andres NoetzliFix compiler warnings (#2602) tree | commitdiff
2018-10-11 Andrew ReynoldsSynthesize rewrite rules from inputs (#2608) tree | commitdiff
2018-10-04 Aina NiemetzNew C++ API: Add checks for Sorts. (#2519) tree | commitdiff
2018-10-04 Andrew ReynoldsSimplify datatypes printing (#2573) tree | commitdiff
2018-09-27 Andrew ReynoldsFix bug in getSymbols. (#2544) tree | commitdiff
2018-09-25 Mathias Preinercmake: Fix dependencies for code generation. (#2524) tree | commitdiff
2018-09-25 Mathias PreinerFix wiki urls. (#2504) tree | commitdiff
2018-09-24 Mathias Preinercmake: Fix theory order #2. (#2522) tree | commitdiff
2018-09-23 Aina Niemetz New C++ API: Add checks for Terms/OpTerms. (#2455) tree | commitdiff
next