ID | 1807 | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Title | Implement predicate propagation for non-equivalence clauses. | ||||||||||||||||||||||||||||||
CI (CFBot) | Not processed | ||||||||||||||||||||||||||||||
Stats (from CFBot) | Unknown | ||||||||||||||||||||||||||||||
Topic | Server Features | ||||||||||||||||||||||||||||||
Tags | |||||||||||||||||||||||||||||||
Created | 2018-09-27 06:24:08 | ||||||||||||||||||||||||||||||
Last modified | 2019-02-03 10:05:14 (6 years ago) | ||||||||||||||||||||||||||||||
Latest email | 2019-02-03 10:04:51 (6 years ago) | ||||||||||||||||||||||||||||||
Status |
2019-01 (2019-01-01 - 2019-01-31): Returned with feedback
2018-11 (2018-11-01 - 2018-11-30): Moved to different CF
|
||||||||||||||||||||||||||||||
Target version | |||||||||||||||||||||||||||||||
Authors | Richard Guo (richardguo) | ||||||||||||||||||||||||||||||
Reviewers | Alexander Kuzmenkov (akuzmenkov)Become reviewer | ||||||||||||||||||||||||||||||
Committer | |||||||||||||||||||||||||||||||
Links | |||||||||||||||||||||||||||||||
Emails |
|
||||||||||||||||||||||||||||||
History |
|