This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.