2024436d482e ("tools/memory-model: Make judgelitmus.sh handle hardware verifications")
e253a4030234 ("tools/memory-model: Make judgelitmus.sh detect hard deadlocks")
02484d826fda ("tools/memory-model: Make judgelitmus.sh identify bad macros")
b1da11c936e2 ("tools/memory-model: Make cmplitmushist.sh note timeouts")
2c644d3f6536 ("tools/memory-model: Make judgelitmus.sh note timeouts")