ID | 1807 | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Title | Implement predicate propagation for non-equivalence clauses. | ||||||||||||||||||||||||||||||
CI (CFBot) | Not processed | ||||||||||||||||||||||||||||||
Stats (from CFBot) | Unknown | ||||||||||||||||||||||||||||||
Topic | Server Features | ||||||||||||||||||||||||||||||
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: Returned with feedback
2018-11: Moved to next CF
|
||||||||||||||||||||||||||||||
Target version | |||||||||||||||||||||||||||||||
Authors | Richard Guo (richardguo) | ||||||||||||||||||||||||||||||
Reviewers | Alexander Kuzmenkov (akuzmenkov)Become reviewer | ||||||||||||||||||||||||||||||
Committer | |||||||||||||||||||||||||||||||
Links | |||||||||||||||||||||||||||||||
Emails |
|
||||||||||||||||||||||||||||||
History |
|