summaryrefslogtreecommitdiff
path: root/tests/examplefiles/verilog/example_coq.v.output
Commit message (Expand)AuthorAgeFilesLines
* Modernize Whitespace token in lexer: hdlSebastian Engel2021-12-031-10/+10
* Also add auto-updatable output-based tests to examplefiles (#1689)Oleh Prypin2021-01-201-0/+29