summaryrefslogtreecommitdiff
path: root/src/theory/sets
AgeCommit message (Expand)Author
2016-10-11- fixed a memory leak issue with context dependent data structurePaul Meng
2016-09-23fixed a few bugsPaul Meng
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-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
2016-04-12fixed explanation for transitive closure inferencesPaulMeng
2016-04-09cardinality operation for finite sets (based on my thesis / ijcar16 paper)Kshitij Bansal
2016-04-07implement standard effort support for productPaulMeng
2016-04-07- added standard effort for transposePaulMeng
2016-04-03Updating the copyright headers and scripts.Tim King
2016-03-23added typing rule for transitive closurePaulMeng
2016-03-22minor fixPaulMeng
2016-03-21minor fixPaulMeng
2016-03-11minor fixPaulMeng
2016-03-10minor fixPaulMeng
2016-03-10fixed the transpose-occur rulePaulMeng
2016-03-08make skolems and tuple reduction terms as shared termsPaulMeng
2016-03-07modified CVC4 native language parser to accept 1-tuple declaration:PaulMeng
2016-03-04refactored the codePaulMeng
2016-03-01small fixes for eq rep namesPaulMeng
2016-03-01small fix for namingPaulMeng
2016-03-01fixed product rulesPaulMeng
2016-02-29adapted the solver to accept sets of built-in types (int, string, real)PaulMeng
2016-02-29Added more benchmarksPaulMeng
2016-02-28implemented a basic solving procedure for finite relations (only forPaulMeng
2016-02-17added rules for join and transpose operatorsPaulMeng
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback