Samuel Thibault 69040bc437 port and complete r16119 from 1.1: put ANNOTATE_HAPPENS_BEFORE after atomic_adds, so that the reading part of the atomic add is considered before the update which signals potential termination %!s(int64=10) %!d(string=hai) anos
..
tag_example.c 69040bc437 port and complete r16119 from 1.1: put ANNOTATE_HAPPENS_BEFORE after atomic_adds, so that the reading part of the atomic add is considered before the update which signals potential termination %!s(int64=10) %!d(string=hai) anos
tag_example2.c bb61f3808d update cnrs copyright %!s(int64=11) %!d(string=hai) anos
tag_example3.c bb61f3808d update cnrs copyright %!s(int64=11) %!d(string=hai) anos
tag_example4.c bb61f3808d update cnrs copyright %!s(int64=11) %!d(string=hai) anos
tag_restartable.c 00b1ef6f74 Add more verbose comments in examples source code %!s(int64=10) %!d(string=hai) anos