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

Bug 29

Summary:	Extend the modelling language with constructions from C
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	enhancement
Priority:	P2
Version:	unspecified
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2003-07-02 11:28:28 CEST

The modelling language of UPPAAL can quite naturally be extended with a subset
of the C programming language.

Comment 1 Gerd Behrmann 2004-10-19 20:32:37 CEST

Most of this has now been implemented in the development branch. If you want to
try it, you can download the latest UPTA version of UPPAAL at
http://www.cs.aau.dk/~behrmann/_guiding/

The UPTA version is based on the development and hence also contains support for
a C like constructs.

Comment 2 Gerd Behrmann 2005-08-25 16:16:28 CEST

I'm closing this bug, as most of this is implemented in UPPAAL 3.5. Things like switch, break and continue 
are missing, but specific bugs for those missing features should be created.