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

Commits on Oct 30, 2023

Add asmo-weak.test

tonghaining
and
hernan-poncedeleon
committed

Commits on Nov 8, 2023

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

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

Commits on Nov 28, 2023

Remove scope of private operations

tonghaining
and
hernan-poncedeleon
committed

Commits on Nov 30, 2023