The Herd toolsuite to deal with .cat memory models (version 7.xx) - View it on GitHub