All releases of UPPAAL Timed Automata Parser Library

0.91

02 Mar 2007 18:28

No changes have been submitted for this release.

0.90

29 Apr 2006 13:57

Release Notes: This is the release used in UPPAAL 3.6 Beta 3. It contains lots of minor bugfixes, code cleanup, and support for the latest UPPAAL language extension. An example parser for the new UPPAAL intermediate format is also included.

0.80

23 Nov 2005 05:46

Release Notes: This is the version of the parser used in UPPAAL 3.6 Alpha 1 and in UPPAAL CORA 051027. Besides bugfixes, this release contains support for parsing CORA models.

0.70

18 Feb 2005 04:15

Release Notes: This release features bugfixes and improvements in the C language extensions.

0.60

17 Jun 2004 03:18

Release Notes: This release is a backport of the development version. It contains bugfixes and a lot of code cleanups.

0.50

15 May 2004 04:31

Release Notes: This release contains bug fixes and some code cleanup. It also contains a new example utility, which uses libutap to parse and print UPPAAL XTR trace files.

0.40

04 Jul 2003 05:52

Release Notes: This is the version of libutap used in UPPAAL 3.4b3. Many things have been cleaned, including the representation of expressions, the system, etc. This release also features a fair amount of bugfixes.