• Adapting the Hammer example, used in the submitted TiCSA@ETAPS 2023 submission, focused on the exploitation of the feature model.
• Bug fixes

Full Changelog: v0.1.2...v0.1.3

Uppex is a command line tool that parses both an annotated Uppaal model (.xml) and a Microsoft Excel file (.xlsx) with configurations, and applies the configurations in Excel tables to the Uppaal model, running automatically Uppaal when it is available.

Changes

• support for just validating configurations without running Uppaal (option --validate)
• better error messages
• adding feature model (in UVL) to the output
• updated the hammer example
• avoid using the timeout command when time<=0

Uppex is a command line tool that parses both an annotated Uppaal model (.xml) and a Microsoft Excel file (.xlsx) with configurations, and applies the configurations in Excel tables to the Uppaal model, running automatically Uppaal when it is available.

Changes

• Added a feature model
• Improved analysis of features

Uppex is a command line tool that parses both an annotated Uppaal model (.xml) and a Microsoft Excel file (.xlsx) with configurations, and applies the configurations in Excel tables to the Uppaal model, running automatically Uppaal when it is available.