projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Statistics on instantiations per quantified formula. (#4719)
[cvc5.git] / src / theory / sets /
2020-07-11 Andrew Reynolds(proof-new) Update Theory interface for proof-new ... tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-05-23 mudathirmahgoubremove unused field d_emp_exp in TheorySetsPrivate... tree | commitdiff
2020-05-20 Andrew ReynoldsDo not eliminate variables that are equal to unevaluata... tree | commitdiff
2020-05-19 mudathirmahgoubRenamed operator CHOICE to WITNESS (#4207) tree | commitdiff
2020-04-26 Andrew Reynolds Fix sets cardinality cycle rule (#4392) tree | commitdiff
2020-04-15 Andrew ReynoldsAlways flush lemmas from downwards closure in sets... tree | commitdiff
2020-04-08 mudathirmahgoubAdded CHOOSE operator for sets (#4211) tree | commitdiff
2020-04-08 Andres NoetzliPerform theory widening eagerly (#4044) tree | commitdiff
2020-04-03 Andres NoetzliUpdate theory rewriter ownership, add stats to strings... tree | commitdiff
2020-04-02 Andres NoetzliInitialize theory rewriters in theories (#4197) tree | commitdiff
2020-03-06 Andrew ReynoldsMinor refactor for theory of sets (#3924) tree | commitdiff
2020-03-05 Mathias PreinerEnable -Wshadow and fix warnings. (#3909) tree | commitdiff
2020-03-03 mudathirmahgoubRefactoring and cleaning the type enumerator for sets... tree | commitdiff
2020-03-03 Andres NoetzliFix `TheorySetsPrive::eqNotifyPostMerge()` (#3901) tree | commitdiff
2020-03-03 Mathias PreinerFix variable shadowing bug in sets. (#3898) tree | commitdiff
2020-02-27 Andrew ReynoldsInitial work towards -Wshadow (#3817) tree | commitdiff
2020-02-07 mudathirmahgoubUniveset Cardinality constraints for infinite types... tree | commitdiff
2020-02-03 mudathirmahgoubFix cardinality of uninterpreted types when univset... tree | commitdiff
2020-01-08 mudathirmahgoubUniverse set cardinality for finite types with finite... 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-09 Andres NoetzliMake theory rewriters non-static (#3547) tree | commitdiff
2019-11-09 Andrew ReynoldsFixes in relations related to datatypes not passed... tree | commitdiff
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... tree | commitdiff
2019-10-23 Andrew ReynoldsRefactoring skolems for sets (#3381) tree | commitdiff
2019-10-08 Piotr Trojanekprefer prefix ++ operator for iterators tree | commitdiff
2019-09-16 Andrew ReynoldsInitialize fields in sets inference manager (#3289) tree | commitdiff
2019-09-13 Andrew ReynoldsSplit, refactor and document the theory of sets (#3085) tree | commitdiff
2019-08-28 Andrew ReynoldsRemoving comments related to issues (#3232) tree | commitdiff
2019-07-08 Andrew ReynoldsTowards refactoring relations (#3078) tree | commitdiff
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
2019-04-01 Andrew ReynoldsModify strategy in sets+cardinality (#2909) tree | commitdiff
2019-03-29 Andrew ReynoldsApply empty splits more aggressively in sets+cardinalit... tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2018-12-14 Andrew Reynolds Fix extended rewriter for binary associative operators... tree | commitdiff
2018-12-03 Andrew Reynolds Skip non-cardinality types in sets min card inference... 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-03 Andrew ReynoldsFix stale op list in sets (#2572) tree | commitdiff
2018-09-22 Mathias Preinercmake: Remove unused CMakeLists.txt tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-08-24 Andrew Reynolds Fix more simple coverity warnings (#2372) tree | commitdiff
2018-08-22 Tim KingWrapping TheorySetsPrivate in a unique_ptr. (#2356) tree | commitdiff
2018-08-22 Andrew ReynoldsFix invalid iterator comparisons (#2349) tree | commitdiff
2018-08-17 Andrew ReynoldsRemove miscellaneous unused code (#2333) tree | commitdiff
2018-08-16 Andres NoetzliMove node algorithms to separate file (#2311) tree | commitdiff
2018-07-25 Tim KingRemoving support for CDHashMap::iterator's postfix... tree | commitdiff
2018-07-24 Andrew ReynoldsImprovements to sets + cardinality + quantifiers (... tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-05-04 Andrew ReynoldsSets subtypes (#1095) 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-02-06 Tim KingResolving warnings from -Winconsistent-missing-override... tree | commitdiff
2018-01-10 Tim KingRemoving throw specifiers for TypeRules. (#1501) tree | commitdiff
2018-01-10 Tim KingRemoving throw specifiers from type enumerators. (... tree | commitdiff
2017-12-08 Andrew ReynoldsMake collect model info return a Bool (#1421) tree | commitdiff
2017-12-06 Andres NoetzliRemove CDChunkList (#1414) tree | commitdiff
2017-10-17 Tim KingFixing 2 instances of an unused variable. (#1253) tree | commitdiff
2017-09-10 Andrew ReynoldsEnsure that expand definitions is called on all non... 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-17 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-14 Tim KingRemoving BOOST_FOREACH usage. tree | commitdiff
2017-07-13 Aina NiemetzMerge pull request #188 from aniemetz/cx11 tree | commitdiff
2017-07-12 ajreynolMake type rules more strict for operators whose type... 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-06-30 ajreynolMinor change to trigger selection, fixes related to... 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 Andrew ReynoldsMerge pull request #156 from 4tXJ7f/fix_safe_print tree | commitdiff
2017-05-15 Andrew ReynoldsMerge pull request #159 from 4tXJ7f/fix_set_types tree | commitdiff
2017-05-15 Andres NoetzliFix type checks for relation operators tree | commitdiff
2017-05-15 Andrew ReynoldsMerge pull request #158 from 4tXJ7f/fix_sets_rewriter tree | commitdiff
2017-05-15 Andres NoetzliFix minor bug in sets rewriter tree | commitdiff
2017-05-15 Andrew ReynoldsMerge pull request #157 from 4tXJ7f/fix_iterator tree | commitdiff
2017-05-15 Andres NoetzliFix condition in upwards closure check for sets tree | commitdiff
2017-05-05 ajreynolFix error message. tree | commitdiff
2017-04-21 Clark BarrettMerge pull request #150 from 4tXJ7f/check_exceptions2 tree | commitdiff
2017-04-21 ajreynolHandle subtypes in sets. Bug fixes for tuples with... tree | commitdiff
2017-04-20 Andrew ReynoldsMerge pull request #149 from PaulMeng/master tree | commitdiff
2017-04-20 Paul MengSupport for relational operators identity and join... tree | commitdiff
2017-04-19 ajreynolFixes for handling set universe: restrict upwards rule... tree | commitdiff
2017-04-14 ajreynolActively split for upwards closusure intersection.... tree | commitdiff
2017-04-14 ajreynolFix nullary operator printers, minor. tree | commitdiff
2017-04-12 ajreynolAdd nullary operator metakind. tree | commitdiff
2017-04-04 ajreynolSimplify Theory::collectModelInfo interface to not... tree | commitdiff
2017-03-29 PaulMengMerge pull request #138 from PaulMeng/master tree | commitdiff
2017-03-29 Paul MengRefactor the standard effort of relational solver tree | commitdiff
2017-03-21 ajreynolImprove computeCareGraph functions to check shared... tree | commitdiff
2017-03-07 ajreynolMore fixes for printing/parsing sets, fix kind name. tree | commitdiff
2017-03-06 ajreynolDo not eagerly construct explanations in relation solver. tree | commitdiff
2017-03-06 ajreynolSupport for set compliment and universe set. Simplify... tree | commitdiff
2017-03-03 ajreynolFix for collectModelInfo related to finite types +... tree | commitdiff
2017-03-03 ajreynolAnother minor fix for sets related to sharing + finite... tree | commitdiff
2017-03-02 ajreynolFixes related to sets. tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... tree | commitdiff
2017-02-16 ajreynolMinor fixes for relations, quantifiers dsplit. tree | commitdiff
next