| 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 |