On Fri, 27 Nov 2020 07:46:52 -0800, Paul E. McKenney wrote:
> On Wed, Nov 25, 2020 at 08:34:47PM +0900, Akira Yokosawa wrote:
[...]
>> Hi Paul,
>>
>> I'm seeing this patch still alive in the updated for-mingo-lkmm branch.
>> Have you got some objection?
>
> From git, which was not able to
On Wed, Nov 25, 2020 at 08:34:47PM +0900, Akira Yokosawa wrote:
> On Thu, 5 Nov 2020 14:56:05 -0800, Paul E. McKenney wrote:
> > On Fri, Nov 06, 2020 at 07:41:48AM +0900, Akira Yokosawa wrote:
> >> Hi Paul,
> >>
> >> On 2020/11/06 7:00, paul...@kernel.org wrote:
> >>> From: "Paul E. McKenney"
>
On Thu, 5 Nov 2020 14:56:05 -0800, Paul E. McKenney wrote:
> On Fri, Nov 06, 2020 at 07:41:48AM +0900, Akira Yokosawa wrote:
>> Hi Paul,
>>
>> On 2020/11/06 7:00, paul...@kernel.org wrote:
>>> From: "Paul E. McKenney"
>>>
>>> This commit adds type information for global variables in the litmus
On Fri, Nov 06, 2020 at 07:41:48AM +0900, Akira Yokosawa wrote:
> Hi Paul,
>
> On 2020/11/06 7:00, paul...@kernel.org wrote:
> > From: "Paul E. McKenney"
> >
> > This commit adds type information for global variables in the litmus
> > tests in order to allow easier use with klitmus7.
>
> IIUC,
Hi Paul,
On 2020/11/06 7:00, paul...@kernel.org wrote:
> From: "Paul E. McKenney"
>
> This commit adds type information for global variables in the litmus
> tests in order to allow easier use with klitmus7.
IIUC, klitmus7 is happy with existing litmus tests under tools/memory-model.
So I don't
From: "Paul E. McKenney"
This commit adds type information for global variables in the litmus
tests in order to allow easier use with klitmus7.
Signed-off-by: Paul E. McKenney
---
tools/memory-model/litmus-tests/CoRR+poonceonce+Once.litmus| 4 +++-
6 matches
Mail list logo
