Home
last modified time | relevance | path

Searched hist:"1947 bfcf81a905e84a58b423063e81034a90efed" (Results 1 – 25 of 32) sorted by relevance

12

/linux/tools/memory-model/litmus-tests/
H A DMP+polockonce+poacquiresilsil.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DMP+polockmbonce+poacquiresilsil.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DR+fencembonceonces.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DZ6.0+pooncerelease+poacquirerelease+fencembonceonce.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DWRC+pooncerelease+fencermbonceonce+Once.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DS+fencewmbonceonce+poacquireonce.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DSB+fencembonceonces.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DIRIW+fencembonceonces+OnceOnce.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DLB+fencembonceonce+ctrlonceonce.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DSB+rfionceonce-poonceonces.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DMP+fencewmbonceonce+fencermbonceonce.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DZ6.0+pooncelock+poonceLock+pombonce.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DS+poonceonces.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DCoRW+poonceonce+Once.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DMP+pooncerelease+poacquireonce.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DMP+porevlocks.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DMP+polocks.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DLB+poacquireonce+pooncerelease.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DR+poonceonces.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DISA2+poonceonces.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DCoRR+poonceonce+Once.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DIRIW+poonceonces+OnceOnce.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DLB+poonceonces.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DWRC+poonceonces+Once.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>
H A DMP+onceassign+derefonce.litmusdiff 1947bfcf81a905e84a58b423063e81034a90efed Thu Nov 05 22:20:56 CET 2020 Paul E. McKenney <paulmck@kernel.org> tools/memory-model: Add types to litmus tests

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 <paulmck@kernel.org>

12