Re: [PATCH RFC tools/lkmm 09/12] tools/memory-model: Add required herd7 version to README file

2018-02-21 Thread Alan Stern
On Wed, 21 Feb 2018, Paul E. McKenney wrote: > On Wed, Feb 21, 2018 at 10:10:52AM -0500, Alan Stern wrote: > > On Tue, 20 Feb 2018, Paul E. McKenney wrote: > > > > > LKMM and the herd7 tool are co-evolving, and out-of-date herd7 tools > > > produce inaccurate results, often with no obvious error

Re: [PATCH RFC tools/lkmm 09/12] tools/memory-model: Add required herd7 version to README file

2018-02-21 Thread Alan Stern
On Wed, 21 Feb 2018, Paul E. McKenney wrote: > On Wed, Feb 21, 2018 at 10:10:52AM -0500, Alan Stern wrote: > > On Tue, 20 Feb 2018, Paul E. McKenney wrote: > > > > > LKMM and the herd7 tool are co-evolving, and out-of-date herd7 tools > > > produce inaccurate results, often with no obvious error

Re: [PATCH RFC tools/lkmm 09/12] tools/memory-model: Add required herd7 version to README file

2018-02-21 Thread Paul E. McKenney
On Wed, Feb 21, 2018 at 10:10:52AM -0500, Alan Stern wrote: > On Tue, 20 Feb 2018, Paul E. McKenney wrote: > > > LKMM and the herd7 tool are co-evolving, and out-of-date herd7 tools > > produce inaccurate results, often with no obvious error messages. This > > commit therefore adds the required

Re: [PATCH RFC tools/lkmm 09/12] tools/memory-model: Add required herd7 version to README file

2018-02-21 Thread Paul E. McKenney
On Wed, Feb 21, 2018 at 10:10:52AM -0500, Alan Stern wrote: > On Tue, 20 Feb 2018, Paul E. McKenney wrote: > > > LKMM and the herd7 tool are co-evolving, and out-of-date herd7 tools > > produce inaccurate results, often with no obvious error messages. This > > commit therefore adds the required

Re: [PATCH RFC tools/lkmm 09/12] tools/memory-model: Add required herd7 version to README file

2018-02-21 Thread Alan Stern
On Tue, 20 Feb 2018, Paul E. McKenney wrote: > LKMM and the herd7 tool are co-evolving, and out-of-date herd7 tools > produce inaccurate results, often with no obvious error messages. This > commit therefore adds the required herd7 version to the LKMM README file. > > Longer term, it would be

Re: [PATCH RFC tools/lkmm 09/12] tools/memory-model: Add required herd7 version to README file

2018-02-21 Thread Alan Stern
On Tue, 20 Feb 2018, Paul E. McKenney wrote: > LKMM and the herd7 tool are co-evolving, and out-of-date herd7 tools > produce inaccurate results, often with no obvious error messages. This > commit therefore adds the required herd7 version to the LKMM README file. > > Longer term, it would be