579ecb2e4108 ("tools/memory-model: Hardware checking for check{,all}litmus.sh")
b02eb5b0961a ("tools/memory-model: Add scripts to check github litmus tests")