paulmckrcu/litmus
Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
ShellGPL-2.0
Issues
- 6
Release-Acquire chains
#11 opened by hernanponcedeleon - 8
Problem running litmus tests with herd
#10 opened by hernanponcedeleon