+
Merge branch 'master' of github.com:herd/herdtools
Small bug in handling option -c11_fence.
On handling atomic locations in litmus :
- Use explicit, relaxed accesses (event atomic_init apparently
  add fences)
- Copy them to non-atomic locations ASAP (cf. collecting results in zyva).