git.libre-soc.org Git - cvc5.git/history - src/theory/sets/theory_sets

[cvc5.git] / src / theory / sets / theory_sets_rels.h

2017-07-07	Mathias Preiner	Use new copyright header format.	blob \| commitdiff \| raw
2017-04-20	Andrew Reynolds	Merge pull request #149 from PaulMeng/master	blob \| commitdiff \| raw \| diff to current
2017-04-20	Paul Meng	Support for relational operators identity and join...	blob \| commitdiff \| raw \| diff to current
2017-03-29	PaulMeng	Merge pull request #138 from PaulMeng/master	blob \| commitdiff \| raw \| diff to current
2017-03-29	Paul Meng	Refactor the standard effort of relational solver	blob \| commitdiff \| raw \| diff to current
2017-01-18	Andrew Reynolds	Merge pull request #128 from 4tXJ7f/fix_lfsc_perf	blob \| commitdiff \| raw \| diff to current
2017-01-14	Clark Barrett	Merge pull request #130 from chadbrewbaker/master	blob \| commitdiff \| raw \| diff to current
2017-01-11	Clark Barrett	Merge pull request #129 from timothy-king/regression...	blob \| commitdiff \| raw \| diff to current
2017-01-11	Clark Barrett	Merge pull request #131 from makaimann/fix_702	blob \| commitdiff \| raw \| diff to current
2017-01-11	ajreynol	Fix for when variables are (partially) bound in multipl...	blob \| commitdiff \| raw \| diff to current
2016-11-16	Clark Barrett	Merge pull request #108 from timothy-king/smt2-parser...	blob \| commitdiff \| raw \| diff to current
2016-11-16	PaulMeng	Merge pull request #109 from PaulMeng/master	blob \| commitdiff \| raw \| diff to current
2016-11-15	Paul Meng	relational solver code refactor and bug fixes	blob \| commitdiff \| raw \| diff to current
2016-10-26	Andrew Reynolds	Merge pull request #98 from 4tXJ7f/fix_dist_build	blob \| commitdiff \| raw \| diff to current
2016-10-26	ajreynol	New implementation of sets+cardinality. Merge Paul...	blob \| commitdiff \| raw \| diff to current
2016-10-13	Tim King	Revert "Merge branch 'origin' of https://github.com...	blob \| commitdiff \| raw
2016-10-11	Paul Meng	Merge branch 'origin' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-10-11	Paul Meng	- fixed a memory leak issue with context dependent...	blob \| commitdiff \| raw \| diff to current
2016-09-23	Paul Meng	fixed a few bugs	blob \| commitdiff \| raw \| diff to current
2016-09-13	Paul Meng	refactored the code, added more benchmarks and minor...	blob \| commitdiff \| raw \| diff to current
2016-08-30	Paul Meng	Computed members for tp and product rels even they...	blob \| commitdiff \| raw \| diff to current
2016-08-30	Paul Meng	also computed members for relations that do not have...	blob \| commitdiff \| raw \| diff to current
2016-08-24	PaulMeng	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2016-07-28	Paul Meng	fixed construction of TC graph	blob \| commitdiff \| raw \| diff to current
2016-07-28	PaulMeng	fixed construction of TC graph	blob \| commitdiff \| raw \| diff to current
2016-07-24	PaulMeng	more code refactor	blob \| commitdiff \| raw \| diff to current
2016-07-23	Paul Meng	refactored code	blob \| commitdiff \| raw \| diff to current
2016-07-20	PaulMeng	bug fixes for reachablity check	blob \| commitdiff \| raw \| diff to current
2016-07-12	Paul Meng	added support for expansion of transitive closure	blob \| commitdiff \| raw \| diff to current
2016-07-05	PaulMeng	Merge branch 'master' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-07-05	PaulMeng	fixes bugs in std effort for TC	blob \| commitdiff \| raw \| diff to current
2016-06-25	PaulMeng	test	blob \| commitdiff \| raw \| diff to current
2016-06-25	PaulMeng	reimplemented std effort for TC	blob \| commitdiff \| raw \| diff to current
2016-05-05	PaulMeng	change to use tuple element representatives to build...	blob \| commitdiff \| raw \| diff to current
2016-05-04	PaulMeng	implemented TC for standard effort	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	Refactored code	blob \| commitdiff \| raw \| diff to current
2016-04-15	PaulMeng	- Implement constant rewriter for relational operators...	blob \| commitdiff \| raw \| diff to current
2016-04-12	PaulMeng	fixed explanation for transitive closure inferences	blob \| commitdiff \| raw \| diff to current
2016-04-07	PaulMeng	implement standard effort support for product	blob \| commitdiff \| raw \| diff to current
2016-04-07	PaulMeng	- added standard effort for transpose	blob \| commitdiff \| raw \| diff to current
2016-03-11	PaulMeng	minor fix	blob \| commitdiff \| raw \| diff to current
2016-03-10	PaulMeng	fixed the transpose-occur rule	blob \| commitdiff \| raw \| diff to current
2016-03-09	PaulMeng	make skolems and tuple reduction terms as shared terms	blob \| commitdiff \| raw \| diff to current
2016-03-07	PaulMeng	modified CVC4 native language parser to accept 1-tuple...	blob \| commitdiff \| raw \| diff to current
2016-03-04	PaulMeng	refactored the code	blob \| commitdiff \| raw \| diff to current
2016-03-01	PaulMeng	small fixes for eq rep names	blob \| commitdiff \| raw \| diff to current
2016-03-01	PaulMeng	small fix for naming	blob \| commitdiff \| raw \| diff to current
2016-03-01	PaulMeng	fixed product rules	blob \| commitdiff \| raw \| diff to current
2016-03-01	PaulMeng	adapted the solver to accept sets of built-in types...	blob \| commitdiff \| raw \| diff to current
2016-02-29	PaulMeng	Added more benchmarks	blob \| commitdiff \| raw \| diff to current
2016-02-28	PaulMeng	implemented a basic solving procedure for finite relati...	blob \| commitdiff \| raw \| diff to current
2016-02-17	PaulMeng	added rules for join and transpose operators	blob \| commitdiff \| raw \| diff to current
2016-02-15	PaulMeng	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2016-02-15	PaulMeng	extended smt parser for the finite relations	blob \| commitdiff \| raw \| diff to current
2016-02-09	PaulMeng	- extend cvc4 frontend parser to accept relational...	blob \| commitdiff \| raw \| diff to current

RSS Atom