Le Chen

Hi @jprotze, Thank you for the PR. For micro-benchmarks/DRB129-mergeable-taskwait-orig-no.c, What if the code is the following? Does it contain data races? Thank you! ```C #include #include void func(int *x) {...

Hi @jprotze Regarding [micro-benchmarks/DRB142-acquirerelease-orig-yes.c](https://github.com/LLNL/dataracebench/pull/151/files#diff-2c6c7521b41714296c1cca4f547f6afc7e5495c133693276bb624a17fd3d80d1), we think the original intention is to have thread 1 read variable x. Would changing y to x at line 41 correct the code and introduce...

Hi, Sorry for the late reply. I was communicating with the original author for this code. We tried with CIVL and here is the output: > Thread 0: phase 1,...