ID | 1807 | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Title | Implement predicate propagation for non-equivalence clauses. | ||||||||||||||||||||||||||||||
Topic | Server Features | ||||||||||||||||||||||||||||||
Created | 2018-09-27 06:24:08 | ||||||||||||||||||||||||||||||
Last modified | 2019-02-03 10:05:14 (5 years, 8 months ago) | ||||||||||||||||||||||||||||||
Latest email | 2019-02-03 10:04:51 (5 years, 8 months 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 | CFbot results (CirrusCI) CFbot GitHub | ||||||||||||||||||||||||||||||
Checkout latest CFbot patchset |
Go to your local checkout of the PostgreSQL repository and run:
|
||||||||||||||||||||||||||||||
Emails |
|
||||||||||||||||||||||||||||||
History |
|