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

Bug 94

Summary:	Unary plus is missing from the language
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 2004-03-12 11:07:41 CET

ANCI C has an unary plus operator (for symmetry with the unary minus). UPPAAL
does not yet support this.

Comment 1 Gerd Behrmann 2004-03-12 11:08:15 CET

Will not be implemented in 3.4, but should be fixed in 3.5.

Comment 2 Gerd Behrmann 2004-04-27 11:39:13 CEST

Fix was so easy that I fixed it in 3.4 anyway. Fix has been checked into CVS.