News about the UV System

Warning

13-June-1996

Version 2.3.3 is a minor maintenance upgrade: a problem with the type-checking of mappings has been fixed, multiple anonymous (empty) statement labels are no longer reported as error, and the uv_check and uv_si commands are no longer aborted without the user requesting so.

30-May-1996

Version 2.3.2 improves debugging and progress information for checking leads-to properties with regular expressions as well as responsiveness of the user interface during lengthy progress property checkings.

29-Feb-1996

Version 2.3.1 is a minor maintenance upgrade (some problem with multiple array assignments has been fixed).

27-Feb-1996

Version 2.3.0 introduces the mapping data type, a generalization of arrays.

19-Feb-1996

Version 2.2.1 is a minor maintenance upgrade. The syntax for alternatives of assignment statements has changed ('~' is used instead of ',' for separating cases)

15-Feb-1996

Version 2.2.0 is a minor maintenance upgrade (it also includes progress checking via regular expressions, which is not documented so far, however).

09-Feb-1996

Version 2.1.2 is a minor maintenance upgrade.

29-Dec-1995

Version 2.1.1 adds a valuable debugging facility by making it possible to display witness states, in which a property to be checked is not satisfied. Also the type rules for integer types have been relaxed allowing for arbitrary coercion between integer types.

18-Dec-1995

Version 2.1.0 improves the user interface by providing the following features:

• progress bars indicate the status for model checker invocations and strongest invariant computations,
• model checker invocations and strongest invariant computations can now be aborted at any time,
• the screen layout (size and position of system windows) is saved to the preference file at the end of a session and is restored at the beginning of the next session.

11-Dec-1995

Version 2.0.4 implements more sophisticated function level caching and ordering of assignments for image and inverse image computations resulting in a significant performance increase (by factor 2-3 on some examples).

04-Dec-1995

Version 2.0.2 is installed under SunOS 4.1.x and Solaris. This is mostly a maintenance revision, that also implements the deletion of properties from the property table.

16-Nov-1995

The Solaris 2.4 (SunOS 5.4) version of the UV system is installed locally on UTCS machines.

14-Nov-1995

Version 2.0.1 is installed locally on UTCS machines running SunOS 4.1.x. New features include the following:

• additional property status information is now accessible through the GUI,
• the document handling has been improved,
• record types have been added to the UV language.

30-Oct-1995

The home page for the UV System (Version 2) is available at http://www.cs.utexas.edu/users/markus/uv2/welcome.html