What scanner/parser is herd7 using to identify .cat?

[Misasasa]

Hi,
I am working on another tool about various memory models, but it is difficult to find a scanner/parser for .cat language. I wonder how herd7 identifies .cat. Thanks.

[maranget]

Hi @Misasasa, we are using ocamllex for lexer and menhir for parsing. The lexer is defined by file modelLexer.mll, the parser is defined by file modelParser.mly. The lexer and parser are combined by the function parse in file parseModel.ml --- or more exactly by function do_parse.