rouge icon indicating copy to clipboard operation
rouge copied to clipboard
verified publisher icon rouge-ruby

Add HLL lexer

Open gabrielhdt opened this issue 1 month ago • 0 comments

This pull requests adds a lexer for the High Level Language (a.k.a. HLL), a language used in formal verification for railway systems. The specification is available there.

gabrielhdt avatar Oct 29 '25 13:10 gabrielhdt