Name		Name	Last commit message	Last commit date
parent directory ..
.gitignore		.gitignore
PlantUML.g4		PlantUML.g4
README.md		README.md
StateSmithLabelGrammar.g4		StateSmithLabelGrammar.g4
compile.sh		compile.sh
install.sh		install.sh
puml_test_input_1.puml		puml_test_input_1.puml
setup.sh		setup.sh
ss_label_test_input.txt		ss_label_test_input.txt
test.sh		test.sh

README.md

Please use WSL2 or linux to run the scripts in this directory.

WSL2 installation that allows GUI use

https://ubuntu.com/tutorials/install-ubuntu-on-wsl2-on-windows-11-with-gui-support#1-overview

install java jdk for antlr4

sudo apt install default-jdk

If you want to uninstall java later, see https://stackoverflow.com/questions/23959615/how-to-remove-default-jre-java-installation-from-ubuntu

use the scripts in this directory

./install.sh

. setup.sh
. compile.sh