projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
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 Niemetz
Update copyright headers.
tree
|
commitdiff
2020-05-23
mudathirmahgoub
remove unused field d_emp_exp in TheorySetsPrivate...
tree
|
commitdiff
2020-05-20
Andrew Reynolds
Do not eliminate variables that are equal to unevaluata...
tree
|
commitdiff
2020-05-19
mudathirmahgoub
Renamed operator CHOICE to WITNESS (#4207)
tree
|
commitdiff
2020-04-26
Andrew Reynolds
Fix sets cardinality cycle rule (#4392)
tree
|
commitdiff
2020-04-15
Andrew Reynolds
Always flush lemmas from downwards closure in sets...
tree
|
commitdiff
2020-04-08
mudathirmahgoub
Added CHOOSE operator for sets (#4211)
tree
|
commitdiff
2020-04-08
Andres Noetzli
Perform theory widening eagerly (#4044)
tree
|
commitdiff
2020-04-03
Andres Noetzli
Update theory rewriter ownership, add stats to strings...
tree
|
commitdiff
2020-04-02
Andres Noetzli
Initialize theory rewriters in theories (#4197)
tree
|
commitdiff
2020-03-06
Andrew Reynolds
Minor refactor for theory of sets (#3924)
tree
|
commitdiff
2020-03-05
Mathias Preiner
Enable -Wshadow and fix warnings. (#3909)
tree
|
commitdiff
2020-03-03
mudathirmahgoub
Refactoring and cleaning the type enumerator for sets...
tree
|
commitdiff
2020-03-03
Andres Noetzli
Fix `TheorySetsPrive::eqNotifyPostMerge()` (#3901)
tree
|
commitdiff
2020-03-03
Mathias Preiner
Fix variable shadowing bug in sets. (#3898)
tree
|
commitdiff
2020-02-27
Andrew Reynolds
Initial work towards -Wshadow (#3817)
tree
|
commitdiff
2020-02-07
mudathirmahgoub
Univeset Cardinality constraints for infinite types...
tree
|
commitdiff
2020-02-03
mudathirmahgoub
Fix cardinality of uninterpreted types when univset...
tree
|
commitdiff
2020-01-08
mudathirmahgoub
Universe set cardinality for finite types with finite...
tree
|
commitdiff
2019-12-13
Andrew Reynolds
Add support for set comprehension (#3312)
tree
|
commitdiff
2019-12-12
Andrew Reynolds
Use the node-level datatypes API (#3556)
tree
|
commitdiff
2019-12-09
Andres Noetzli
Make theory rewriters non-static (#3547)
tree
|
commitdiff
2019-11-09
Andrew Reynolds
Fixes in relations related to datatypes not passed...
tree
|
commitdiff
2019-10-30
Mathias Preiner
Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...
tree
|
commitdiff
2019-10-23
Andrew Reynolds
Refactoring skolems for sets (#3381)
tree
|
commitdiff
2019-10-08
Piotr Trojanek
prefer prefix ++ operator for iterators
tree
|
commitdiff
2019-09-16
Andrew Reynolds
Initialize fields in sets inference manager (#3289)
tree
|
commitdiff
2019-09-13
Andrew Reynolds
Split, refactor and document the theory of sets (#3085)
tree
|
commitdiff
2019-08-28
Andrew Reynolds
Removing comments related to issues (#3232)
tree
|
commitdiff
2019-07-08
Andrew Reynolds
Towards refactoring relations (#3078)
tree
|
commitdiff
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
tree
|
commitdiff
2019-04-01
Andrew Reynolds
Modify strategy in sets+cardinality (#2909)
tree
|
commitdiff
2019-03-29
Andrew Reynolds
Apply empty splits more aggressively in sets+cardinalit...
tree
|
commitdiff
2019-03-26
Aina Niemetz
Update 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 Reynolds
Make (T)NodeTrie a general utility (#2489)
tree
|
commitdiff
2018-10-19
Mathias Preiner
Remove autotools build system. (#2639)
tree
|
commitdiff
2018-10-03
Andrew Reynolds
Fix stale op list in sets (#2572)
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Remove unused CMakeLists.txt
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-08-24
Andrew Reynolds
Fix more simple coverity warnings (#2372)
tree
|
commitdiff
2018-08-22
Tim King
Wrapping TheorySetsPrivate in a unique_ptr. (#2356)
tree
|
commitdiff
2018-08-22
Andrew Reynolds
Fix invalid iterator comparisons (#2349)
tree
|
commitdiff
2018-08-17
Andrew Reynolds
Remove miscellaneous unused code (#2333)
tree
|
commitdiff
2018-08-16
Andres Noetzli
Move node algorithms to separate file (#2311)
tree
|
commitdiff
2018-07-25
Tim King
Removing support for CDHashMap::iterator's postfix...
tree
|
commitdiff
2018-07-24
Andrew Reynolds
Improvements to sets + cardinality + quantifiers (...
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-05-04
Andrew Reynolds
Sets subtypes (#1095)
tree
|
commitdiff
2018-03-07
Mathias Preiner
Make statistics output consistent. (#1647)
tree
|
commitdiff
2018-03-05
Mathias Preiner
Enable -Wsuggest-override by default. (#1643)
tree
|
commitdiff
2018-02-06
Tim King
Resolving warnings from -Winconsistent-missing-override...
tree
|
commitdiff
2018-01-10
Tim King
Removing throw specifiers for TypeRules. (#1501)
tree
|
commitdiff
2018-01-10
Tim King
Removing throw specifiers from type enumerators. (...
tree
|
commitdiff
2017-12-08
Andrew Reynolds
Make collect model info return a Bool (#1421)
tree
|
commitdiff
2017-12-06
Andres Noetzli
Remove CDChunkList (#1414)
tree
|
commitdiff
2017-10-17
Tim King
Fixing 2 instances of an unused variable. (#1253)
tree
|
commitdiff
2017-09-10
Andrew Reynolds
Ensure that expand definitions is called on all non...
tree
|
commitdiff
2017-07-21
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-21
Tim King
Moving from the gnu extensions for hash maps to the...
tree
|
commitdiff
2017-07-17
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-14
Tim King
Removing BOOST_FOREACH usage.
tree
|
commitdiff
2017-07-13
Aina Niemetz
Merge pull request #188 from aniemetz/cx11
tree
|
commitdiff
2017-07-12
ajreynol
Make type rules more strict for operators whose type...
tree
|
commitdiff
2017-07-10
ajreynol
Merge datatype shared selectors/sygus comp 2017 branch...
tree
|
commitdiff
2017-07-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
2017-07-07
Mathias Preiner
Use new copyright header format.
tree
|
commitdiff
2017-06-30
ajreynol
Minor change to trigger selection, fixes related to...
tree
|
commitdiff
2017-05-17
Clark Barrett
Merge pull request #155 from makaimann/conditional_coverage
tree
|
commitdiff
2017-05-16
Clark Barrett
Merge pull request #161 from 4tXJ7f/fix_parser
tree
|
commitdiff
2017-05-16
Andrew Reynolds
Merge pull request #156 from 4tXJ7f/fix_safe_print
tree
|
commitdiff
2017-05-15
Andrew Reynolds
Merge pull request #159 from 4tXJ7f/fix_set_types
tree
|
commitdiff
2017-05-15
Andres Noetzli
Fix type checks for relation operators
tree
|
commitdiff
2017-05-15
Andrew Reynolds
Merge pull request #158 from 4tXJ7f/fix_sets_rewriter
tree
|
commitdiff
2017-05-15
Andres Noetzli
Fix minor bug in sets rewriter
tree
|
commitdiff
2017-05-15
Andrew Reynolds
Merge pull request #157 from 4tXJ7f/fix_iterator
tree
|
commitdiff
2017-05-15
Andres Noetzli
Fix condition in upwards closure check for sets
tree
|
commitdiff
2017-05-05
ajreynol
Fix error message.
tree
|
commitdiff
2017-04-21
Clark Barrett
Merge pull request #150 from 4tXJ7f/check_exceptions2
tree
|
commitdiff
2017-04-21
ajreynol
Handle subtypes in sets. Bug fixes for tuples with...
tree
|
commitdiff
2017-04-20
Andrew Reynolds
Merge pull request #149 from PaulMeng/master
tree
|
commitdiff
2017-04-20
Paul Meng
Support for relational operators identity and join...
tree
|
commitdiff
2017-04-19
ajreynol
Fixes for handling set universe: restrict upwards rule...
tree
|
commitdiff
2017-04-14
ajreynol
Actively split for upwards closusure intersection....
tree
|
commitdiff
2017-04-14
ajreynol
Fix nullary operator printers, minor.
tree
|
commitdiff
2017-04-12
ajreynol
Add nullary operator metakind.
tree
|
commitdiff
2017-04-04
ajreynol
Simplify Theory::collectModelInfo interface to not...
tree
|
commitdiff
2017-03-29
PaulMeng
Merge pull request #138 from PaulMeng/master
tree
|
commitdiff
2017-03-29
Paul Meng
Refactor the standard effort of relational solver
tree
|
commitdiff
2017-03-21
ajreynol
Improve computeCareGraph functions to check shared...
tree
|
commitdiff
2017-03-07
ajreynol
More fixes for printing/parsing sets, fix kind name.
tree
|
commitdiff
2017-03-06
ajreynol
Do not eagerly construct explanations in relation solver.
tree
|
commitdiff
2017-03-06
ajreynol
Support for set compliment and universe set. Simplify...
tree
|
commitdiff
2017-03-03
ajreynol
Fix for collectModelInfo related to finite types +...
tree
|
commitdiff
2017-03-03
ajreynol
Another minor fix for sets related to sharing + finite...
tree
|
commitdiff
2017-03-02
ajreynol
Fixes related to sets.
tree
|
commitdiff
2017-03-02
ajreynol
Eliminate Boolean term conversion. Generalizes removeIT...
tree
|
commitdiff
2017-02-16
ajreynol
Minor fixes for relations, quantifiers dsplit.
tree
|
commitdiff
next