Skip to content

Add lexer for NuSMV/nuXmv model checker language#2135

Open
deme3 wants to merge 1 commit into
rouge-ruby:mainfrom
deme3:feature.add_nuxmv_lang
Open

Add lexer for NuSMV/nuXmv model checker language#2135
deme3 wants to merge 1 commit into
rouge-ruby:mainfrom
deme3:feature.add_nuxmv_lang

Add lexer for NuSMV/nuXmv model checker language

86adba6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs