Skip to content

A parser and serializer based on Xtext for the XML file format used by UPPAAL

License

Notifications You must be signed in to change notification settings

uppaal-emf/uppaal-xtext

Repository files navigation

uppaal-xtext Build CI Test CI

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.

About

A parser and serializer based on Xtext for the XML file format used by UPPAAL

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published