v1.2.0

Now, ReMPI can also record and replay non-determinism in OpenMP (ReOMP)

• OpenMP clauses
  • Critical Section (#omp critical)
  • Reduction (#omp reduction)
  • Master (#omp master)
  • Single (#omp single)
• OpenMP runtime
  • omp_set_lock() and omp_unset_lock()
  • omp_set_nest_lock() and omp_unset_nest_lock()
• Atomic instructions
  • Atomic load/store
  • Atomic operations (cmpxchg and atomicrmw)
• Data-racy load/store instructions (If TSAN data-race report files are provided when compiling)

More details are in README.md

v1.1.0

• Added ReMPI wrapper scripts (rempi_record & rempi_replay)
• Fixed minor bugs and compatibility issues

v1.0.0

Fixed minor bugs for v1.0.0

v0.1.0

update