All releases of UPPAAL Timed Automata Parser Library

  •  03 Mar 2007 02:28
Avatar

    Release Notes:

    •  29 Apr 2006 20:57
    Avatar

      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.

      •  23 Nov 2005 13:46
      Avatar

        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.

        •  18 Feb 2005 12:15
        Avatar

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

          •  17 Jun 2004 10:18
          Avatar

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

            •  15 May 2004 11:31
            Avatar

              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.

              •  04 Jul 2003 12:52
              Avatar

                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.

                •  06 Apr 2003 09:29
                Avatar

                  Release Notes: Many crashing bugs have been fixed and major parts of the library have been cleaned up. This is the version used in UPPAAL 3.4b2.

                  •  18 Feb 2003 13:03
                  Avatar

                    Release Notes: This release is the version used in UPPAAL 3.4 beta 1.

                    Screenshot

                    Project Spotlight

                    episoder

                    A tool to tell you about new episodes of your favourite TV shows.

                    Screenshot

                    Project Spotlight

                    BalanceNG

                    A modern software IP load balancer.