UNPKG

uppaal-to-tchecker

Version:

JavaScript implementation of Uppaal to TChecker translator - convert Uppaal timed automata models to TChecker format

github.com/uppaal-to-tchecker/uppaal-to-tchecker-js

uppaal-to-tchecker/uppaal-to-tchecker-js

8 files

	Filename	Content Type	Size
	../
	context-prefix.js	text/javascript	2.33 kB
	declaration-translator.js	text/javascript	11.8 kB
	exceptions.js	text/javascript	749 B
	expression-translator.js	text/javascript	12.7 kB
	index.js	text/javascript	7.04 kB
	tchecker-outputter.js	text/javascript	3.24 kB
	translator.js	text/javascript	18.9 kB
	uppaal-parser.js	text/javascript	44.9 kB