2 Search Results
diy
Tool suite for testing shared memory models
herdtools7
The herdtools suite for simulating and studying weak memory models