ST-Verif

This is a "trans-piler" for translating the PLC language Structured Text (ST) into TAPAAL-friendly petri-nets, so that verification can be performed.

Documentation is minimal, because this is a student project.

Name	Name	Last commit message	Last commit date
Latest commit Asger Gitz-Johansen Updated the readme to actually explain what this is Sep 4, 2020 164813b · Sep 4, 2020 History 23 Commits
grammar	grammar	Added Grammar	May 22, 2019
queries	queries	"Rebased" to the newest version of gitlab	May 26, 2019
src/PLCparser	src/PLCparser	Minor style changes	Jun 15, 2019
testfiles	testfiles	A little blackbox	Jun 12, 2019
.gitignore	.gitignore	Added expected	May 29, 2019
README.md	README.md	Updated the readme to actually explain what this is	Sep 4, 2020
clean.sh	clean.sh	"Rebased" to the newest version of gitlab	May 26, 2019
compile.sh	compile.sh	Added compilation scripts	May 22, 2019
createAndCompile.sh	createAndCompile.sh	Added compilation scripts	May 22, 2019
createParser.sh	createParser.sh	Added compilation scripts	May 22, 2019
findt.sh	findt.sh	update findt.sh	Jun 15, 2019
run_tests.sh	run_tests.sh	"Rebased" to the newest version of gitlab	May 26, 2019

Provide feedback