Implement predicate propagation for non-equivalence clauses.

Title

Topic

Server Features

Created

2018-09-27 06:24:08

Last modified

2019-02-03 10:05:14 (1 year, 1 month ago)

Latest email

2019-02-03 10:04:51 (1 year, 1 month ago)

Status

2019-01: Returned with feedback

2018-11: Moved to next CF

Target version

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 2019-02-03 10:04:51 by Andres Freund <andres at anarazel.de>
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
2019-02-03 10:05:14	Andres Freund (andresfreund)	Closed in commitfest 2019-01 with status: Returned with feedback
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