This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Build system

A common build system is used for all Uppaal related components.

Select a component to see open bugs in that component.

Component Default Assignee
all Marius Mikučionis
The build system only consists of a single component.