Re: Wiki for automatic reports / fixes

2015-10-21 Thread Luis R. Rodriguez
On Mon, Oct 12, 2015 at 12:55 PM, Luis R. Rodriguez wrote: > On Mon, Oct 5, 2015 at 10:03 AM, Luis R. Rodriguez > wrote: >> On Mon, Oct 5, 2015 at 9:56 AM, Ian Jackson >> wrote: >>> Luis R. Rodriguez writes ("Wiki for automatic reports / fixes"): >>

Re: Wiki for automatic reports / fixes

2015-10-12 Thread Luis R. Rodriguez
On Mon, Oct 5, 2015 at 10:03 AM, Luis R. Rodriguez wrote: > On Mon, Oct 5, 2015 at 9:56 AM, Ian Jackson wrote: >> Luis R. Rodriguez writes ("Wiki for automatic reports / fixes"): >> [...] >>> While discussing expectations and information about >>> repo

Re: Wiki for automatic reports / fixes

2015-10-05 Thread Luis R. Rodriguez
On Mon, Oct 5, 2015 at 9:56 AM, Ian Jackson wrote: > Luis R. Rodriguez writes ("Wiki for automatic reports / fixes"): > [...] >> While discussing expectations and information about >> reports over these with Valentin it occurred to me information about >> all

Re: Wiki for automatic reports / fixes

2015-10-05 Thread Ian Jackson
Luis R. Rodriguez writes ("Wiki for automatic reports / fixes"): [...] > While discussing expectations and information about > reports over these with Valentin it occurred to me information about > all these may be scattered separately and some developers may be > surpris

Wiki for automatic reports / fixes

2015-10-02 Thread Luis R. Rodriguez
Fengguang, Dan, Mel, Valentin has some open source tools that uses some SAT solver the backend to hunt for dead, the undertaker tool [0] inspects Kconfig, and uses SAT solver to do this work. A while ago it was determined that this code could not be merged upstream for a variety of reasons, but mo