gedit-smv

gedit language support for SMV format (Symbolic Model Verifier)

You can find a description of the SMV format in the nuXmv and nusmv manuals.

Install

Put SMV.lang into $HOME/.local/share/gtksourceview-3.0/language-specs/

curl https://raw.githubusercontent.com/wadoon/gedit-smv/master/install.sh | sh -

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
LICENSE		LICENSE
README.md		README.md
SMV.lang		SMV.lang
install.sh		install.sh
preview.png		preview.png