Parser and pretty printer for the UPPAAL language
Forked to fix some bugs in the original version, and added support for queries.
Tested with UPPAAL 4.1.19 (rev. 5648), November 2014 Academic (OSX).
Parser and pretty printer for the UPPAAL language
Parser and pretty printer for the UPPAAL language
Forked to fix some bugs in the original version, and added support for queries.
Tested with UPPAAL 4.1.19 (rev. 5648), November 2014 Academic (OSX).
Parser and pretty printer for the UPPAAL language