| ID | 1036 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Title | Better estimate merging for duplicate vars in clausesel.c | ||||||||
| CI (CFBot) | Not processed | ||||||||
| Stats (from CFBot) | Unknown | ||||||||
| Topic | Performance | ||||||||
| Tags | |||||||||
| Created | 2017-02-26 20:12:33 | ||||||||
| Last modified | 2017-10-02 09:59:15 (8 years ago) | ||||||||
| Latest email | 2017-10-02 09:58:53 (8 years ago) | ||||||||
| Status |
2017-09 (2017-09-01 – 2017-09-30): Returned with feedback
2017-03 (2017-03-01 – 2017-03-31): Moved to different CF
|
||||||||
| Target version | |||||||||
| Authors | David Rowley (davidrowley) | ||||||||
| Reviewers | Claudio Freire (klaussfreire)Become reviewer | ||||||||
| Committer | |||||||||
| Links | |||||||||
| Emails |
|
| When | Who | What |
|---|---|---|
| 2017-10-02 09:59:15 | Daniel Gustafsson (d_gustafsson) | Closed in commitfest 2017-09 with status: Returned with feedback |
| 2017-09-07 07:33:27 | Daniel Gustafsson (d_gustafsson) | Added annotation "Status update from author for CF201709" to CAKJS1f9WoCckGxKYg_uFzQPkJuxPFjcq2Z3WEX80azcS4VsYSQ@mail.gmail.com |
| 2017-09-07 07:27:02 | Daniel Gustafsson (d_gustafsson) | New status: Waiting on Author |
| 2017-04-08 13:43:24 | David Steele (dsteele) | Closed in commitfest 2017-03 with status: Moved to next CF |
| 2017-04-07 05:29:15 | David Rowley (davidrowley) | New status: Needs review |
| 2017-04-06 21:06:01 | Claudio Freire (klaussfreire) | New status: Waiting on Author |
| 2017-04-01 01:30:08 | Claudio Freire (klaussfreire) | Added klaussfreire as reviewer |
| 2017-02-26 20:13:27 | David Rowley (davidrowley) | Changed authors to David Rowley (davidrowley) |
| 2017-02-26 20:12:33 | David Rowley (davidrowley) | Attached mail thread CAKJS1f82CCOwVh5dkmnvadYpfpKOFFKXgpczJtbXWigJpEOArw@mail.gmail.com |
| 2017-02-26 20:12:33 | David Rowley (davidrowley) | Created patch record |