Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
UMLStateMachine		UMLStateMachine
UPPAAL		UPPAAL
antlr3		antlr3
pyuppaal		pyuppaal
test_models		test_models
Normalize.py		Normalize.py
README.md		README.md
TranslationAlgorithm.py		TranslationAlgorithm.py
TranslationAlgorithmV2.py		TranslationAlgorithmV2.py
__init__.py		__init__.py
buildall.py		buildall.py
property2uppaal.py		property2uppaal.py
scxml2ta.py		scxml2ta.py
trace2uml.py		trace2uml.py
uml2ta.py		uml2ta.py
uml2tainterface.py		uml2tainterface.py
uml2uppaal.pyproj		uml2uppaal.pyproj
xmi2scxml.py		xmi2scxml.py