Release Notes: This release fixes crash bugs and a memory leak.
Release Notes: A regression from 4.0.3 was fixed.
Release Notes: Several critical bugs that lead to wrong answers have been fixed. A number of functionality bugs have been resolved.
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.
Release Notes: Trace generation was fixed.
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.
Release Notes: This release is based on UPPAAL 4.0.1.
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.
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.
Release Notes: Serious bugs in channel priorities and symmetry reduction have been fixed. Minor feature work on the GUI has been done.