A parser and serializer based on Xtext for the XML file format used by UPPAAL. Files are parsed to models based on the metamodel from uppaal-metamodel.
Repository navigation
forked from uppaal-emf/uppaal-xtext
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|