Add tests - #33

Open

tonghaining wants to merge 7 commits into

KhronosGroup:mainfrom

tonghaining:manual

Commits on Oct 25, 2023

Add tests

tonghaining
and
hernan-poncedeleon
committed
fd55868

Commits on Oct 30, 2023

Add asmo-weak.test

tonghaining
and
hernan-poncedeleon
committed
2853957

Commits on Nov 8, 2023

Add two tests adapted from Figure 5 of paper: Heterogeneous-race-free Memory Models

tonghaining
and
hernan-poncedeleon
committed
f72e5e6
Merge pull request #1 from tonghaining/sb-dr
tonghaining
authored
d051a07

Commits on Nov 28, 2023

Remove scope of private operations

tonghaining
and
hernan-poncedeleon
committed
6bc11c7

Commits on Nov 30, 2023

Add Control Barrier Tests

tonghaining
and
hernan-poncedeleon
committed
889fcd9
Merge pull request #2 from tonghaining/cb
tonghaining
authored
95db5bd