Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM memory models. Target programs should use pthreads for concurrency, and each thread should be deterministic when run in isolation.

The project automatically fetches the latest papers from arXiv based on keywords. The subheadings in the README file represent the search keywords. Only the most recent articles for each keyword are ...