summaryrefslogtreecommitdiff
path: root/src/theory/sets
AgeCommit message (Expand)Author
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
2016-10-13Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git"Tim King
2016-10-11Merge branch 'origin' of https://github.com/CVC4/CVC4.gitPaul Meng
2016-10-11- fixed a memory leak issue with context dependent data structurePaul Meng
2016-09-28Fix the merge of kbansal/card branch (2039eab).Kshitij Bansal
2016-09-25Deleting a temporary in theory sets enumerator.Tim King
2016-09-23fixed a few bugsPaul Meng
2016-09-14Lemma cache in theory sep. Minor optimization for sets. Minor improvements to...ajreynol
2016-09-13fixed type checking and computing for PRODUCT and JOINPaul Meng
2016-09-13refactored the code, added more benchmarks and minor fixesPaul Meng
2016-09-12fixed capitalized "kind"Paul Meng
2016-08-31Cleaning up the dead FORIT macros.Tim King
2016-08-31Removing the usage of typeof from theory_sets_private.Tim King
2016-08-31Removing BOOST_FOREACH from theory/sets/scrutinize.h.Tim King
2016-08-31Removing typeof from sets normal form and beautifying the file.Tim King
2016-08-30Computed members for tp and product rels even they are not used inPaul Meng
2016-08-30also computed members for relations that do not have explicit membershipPaul Meng
2016-08-30more fix for TC inferencePaul Meng
2016-08-30fixed TC inference from graph constructed from a relation and the nullPaul Meng
2016-08-26minor fixPaulMeng
2016-07-28fixed construction of TC graphPaul Meng
2016-07-28fixed construction of TC graphPaulMeng
2016-07-24more code refactorPaulMeng
2016-07-24more code refactorPaul Meng
2016-07-23refactored codePaul Meng
2016-07-20bug fixes for reachablity checkPaulMeng
2016-07-11added support for expansion of transitive closurePaul Meng
2016-07-05resolved merge conflictsPaulMeng
2016-07-05Merge branch 'master' of https://github.com/CVC4/CVC4.gitPaulMeng
2016-07-05fixes bugs in std effort for TCPaulMeng
2016-06-25debug statementPaulMeng
2016-06-25testPaulMeng
2016-05-05change to use tuple element representatives to build TC graph for fullPaulMeng
2016-05-04implemented TC for standard effortPaulMeng
2016-04-20update from the masterPaulMeng
2016-04-20add utils class for relational theoryPaulMeng
2016-04-19Refactored codePaulMeng
2016-04-15change transitive closure operator name to TCLOUSREPaulMeng
2016-04-14- Implement constant rewriter for relational operators for model generationPaulMeng
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback