List view

• Support for complete pthread library

  No due date

  •0/5 issues closed
  0% complete5 open0 closed

• Memory emulation layer supporting relaxed memory models

  LLMC will benefit most from a state space reduction technique that collapses memory instructions to thread-private memory. This should be integrated as part of a memory emulation layer that also adds support for relaxed memory models.

  No due date

  •0/5 issues closed
  0% complete5 open0 closed