Implement predicate propagation for non-equivalence clauses.

Edit
Title Implement predicate propagation for non-equivalence clauses.
Topic Server Features
Created 2018-09-27 06:24:08
Last modified 2018-12-01 11:31:56 (1 week, 2 days ago)
Latest email 2018-11-22 16:15:42 (2 weeks, 4 days ago)
Status
2019-01: Waiting on Author
2018-11: Moved to next CF
Authors Richard Guo (richardguo)
Reviewers Alexander Kuzmenkov (akuzmenkov)Become reviewer
Committer
Links
Emails
Implement predicate propagation for non-equivalence clauses
First at 2018-09-05 06:34:08 by Richard Guo <riguo at pivotal.io>
Latest at 2018-11-22 16:15:42 by Alexander Kuzmenkov <a.kuzmenkov at postgrespro.ru>
Latest attachment (v2-0001-Implement-predicate-propagation-for-non-equivalence-clauses.patch) at 2018-09-26 07:22:11 from Richard Guo <riguo at pivotal.io>
    Attachment (v2-0001-Implement-predicate-propagation-for-non-equivalence-clauses.patch) at 2018-09-26 07:22:11 from Richard Guo <riguo at pivotal.io> (Patch: Yes)
    Attachment (0001-Implement-predicate-propagation-for-non-equivalence-clauses-v1.patch) at 2018-09-05 06:34:08 from Richard Guo <riguo at pivotal.io> (Patch: Yes)
History
When Who What
2018-12-01 11:31:56 Dmitry Dolgov (erthalion) New status: Waiting on Author
2018-12-01 11:31:47 Dmitry Dolgov (erthalion) Closed in commitfest 2018-11 with status: Moved to next CF
2018-12-01 11:31:43 Dmitry Dolgov (erthalion) New status: Needs review
2018-11-22 16:31:12 Alexander Kuzmenkov (akuzmenkov) New status: Waiting on Author
2018-11-22 16:31:06 Alexander Kuzmenkov (akuzmenkov) Added akuzmenkov as reviewer
2018-09-27 06:28:17 Richard Guo (richardguo) Changed authors to Richard Guo (richardguo)
2018-09-27 06:24:08 Richard Guo (richardguo) Attached mail thread CAN_9JTykHxHqzUFiDNrXDO+u+uq9v9Ewcb=hVDAbDb33eoL7Yw@mail.gmail.com
2018-09-27 06:24:08 Richard Guo (richardguo) Created patch record
Edit