Projects / UPPAAL / Releases

All releases of UPPAAL

  •  09 Mar 2007 12:40
Avatar

    Release Notes: This release fixes crash bugs and a memory leak.

    •  14 Feb 2007 12:47
    Avatar

      Release Notes: A regression from 4.0.3 was fixed.

      •  04 Jan 2007 10:16
      Avatar

        Release Notes: Several critical bugs that lead to wrong answers have been fixed. A number of functionality bugs have been resolved.

        •  16 Oct 2006 18:20
        Avatar

          Release Notes: This is a maintenance release that fixes problems in the syntax converter, the color scheme on Windows, Solaris 9 support, command line EPS support, and more.

          •  10 Sep 2006 17:50
          Avatar

            Release Notes: Trace generation was fixed.

            •  07 Aug 2006 12:30
            Avatar

              Release Notes: This release fixes several exceptions in the GUI, model corruption in the optimiser of the virtual machine, and a memory leak in convex hull approximation.

              •  26 Jun 2006 20:49
              Avatar

                Release Notes: This release is based on UPPAAL 4.0.1.

                •  21 Jun 2006 18:07
                Avatar

                  Release Notes: Several critical bugs and memory leaks have been fixed. The performance for models with priorities has been improved. Binaries for Solaris on the SPARC processor are now included.

                  •  29 May 2006 15:55
                  Avatar

                    Release Notes: New features include symmetry reduction, user defined functions, priorities on processes and channels, new abstraction techniques, a fully searchable help system, an implementation of the generalized sweep line method, record types, quantifiers in expressions, undo and redo support in the editor, syntax highlighting, custom location and edge colors, documentation comments on locations and edges, better trace generation, among other things.

                    •  28 Apr 2006 17:53
                    Avatar

                      Release Notes: Serious bugs in channel priorities and symmetry reduction have been fixed. Minor feature work on the GUI has been done.

                      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.