summaryrefslogtreecommitdiff
path: root/src/theory/sets
AgeCommit message (Expand)Author
2018-05-03Sets subtypes (#1095)Andrew Reynolds
2018-03-06Make statistics output consistent. (#1647)Mathias Preiner
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2018-02-06Resolving warnings from -Winconsistent-missing-override on clang. (#1563)Tim King
2018-01-10Removing throw specifiers for TypeRules. (#1501)Tim King
2018-01-10Removing throw specifiers from type enumerators. (#1502)Tim King
2017-12-08Make collect model info return a Bool (#1421)Andrew Reynolds
2017-12-06Remove CDChunkList (#1414)Andres Noetzli
2017-10-17Fixing 2 instances of an unused variable. (#1253)Tim King
2017-09-10Ensure that expand definitions is called on all non-variable expressi… (#1070)Andrew Reynolds
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-14Removing BOOST_FOREACH usage.Tim King
2017-07-12Make type rules more strict for operators whose type rules involve subtypes. ...ajreynol
2017-07-10Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ...ajreynol
2017-07-07Update copyright headers.Mathias Preiner
2017-07-07Use new copyright header format.Mathias Preiner
2017-06-30Minor change to trigger selection, fixes related to subtypes (in macros, cbqi...ajreynol
2017-05-15Merge pull request #159 from 4tXJ7f/fix_set_typesAndrew Reynolds
2017-05-15Fix type checks for relation operatorsAndres Noetzli
2017-05-15Fix minor bug in sets rewriterAndres Noetzli
2017-05-15Fix condition in upwards closure check for setsAndres Noetzli
2017-05-05Fix error message.ajreynol
2017-04-21Handle subtypes in sets. Bug fixes for tuples with subtypes.ajreynol
2017-04-20Support for relational operators identity and join imagePaul Meng
2017-04-19Fixes for handling set universe: restrict upwards rule for universe to member...ajreynol
2017-04-14Actively split for upwards closusure intersection. Minor clean up, add regres...ajreynol
2017-04-14Fix nullary operator printers, minor.ajreynol
2017-04-12Add nullary operator metakind.ajreynol
2017-04-04Simplify Theory::collectModelInfo interface to not take deprecated fullModel ...ajreynol
2017-03-28Refactor the standard effort of relational solverPaul Meng
2017-03-21Improve computeCareGraph functions to check shared term equality status once ...ajreynol
2017-03-07More fixes for printing/parsing sets, fix kind name.ajreynol
2017-03-06Do not eagerly construct explanations in relation solver.ajreynol
2017-03-06Support for set compliment and universe set. Simplify approach for sep.nil no...ajreynol
2017-03-03Fix for collectModelInfo related to finite types + preregistration. Generaliz...ajreynol
2017-03-03Another minor fix for sets related to sharing + finite element types.ajreynol
2017-03-02Fixes related to sets.ajreynol
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2017-02-16Minor fixes for relations, quantifiers dsplit.ajreynol
2017-02-16Fixes for sets+rels check. Minor.ajreynol
2017-02-07Generalize finite bound inference to unifiable variables in set membership li...ajreynol
2017-01-18Minor fix in relations.ajreynol
2017-01-11Fix for when variables are (partially) bound in multiple ways, add regression...ajreynol
2017-01-06Minor fix for sets.ajreynol
2016-12-07Added cardinality to cvc language, fixes bug 753. Throw logic exception when ...ajreynol
2016-12-06Improve bounds for global heap in sep, refactor preprocessing. Minor improvem...ajreynol
2016-11-14relational solver code refactor and bug fixes Paul Meng
2016-11-08Add a few options to separation logic and sets. Minor changes to separation l...ajreynol
2016-11-01Fix memory leak in TheorySetsRels. Minor cleanup.ajreynol
2016-10-26New implementation of sets+cardinality. Merge Paul Meng's relation solver as...ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback