Browse Source

Typo in CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@296 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 19 years ago
parent
commit
8bba7a1ca1
  1. 26
      prism/CHANGELOG.txt

26
prism/CHANGELOG.txt

@ -1,19 +1,19 @@
This file contains details of the changes in each new version of PRISM, This file contains details of the changes in each new version of PRISM,
including development and beta versions. For a less detailed overview including development and beta versions. For a less detailed overview
of the main changes in each public release, see the file VERSIONS.txt. of the main changes in each public release, see the file VERSIONS.txt.
-----------------------------------------------------------------------------
Latest additions (reverse chronological)
-----------------------------------------------------------------------------
* Cumulative reward properties for DTMC
* Support for 64-bit architectures
* Addition of F and G operators to property language (eventually/globally)
* Redesign of the simulator GUI, plus new features:
- ability to display cumulated time/rewards
- new "Configure view" dialog
- easier selection of next step (double click)
* Resizeable experiment results table
-----------------------------------------------------------------------------
Latest additions (reverse chronological)
-----------------------------------------------------------------------------
* Cumulative reward properties for DTMCs
* Support for 64-bit architectures
* Addition of F and G operators to property language (eventually/globally)
* Redesign of the simulator GUI, plus new features:
- ability to display cumulated time/rewards
- new "Configure view" dialog
- easier selection of next step (double click)
* Resizeable experiment results table
----------------------------------------------------------------------------- -----------------------------------------------------------------------------
Version 3.1.1 (5/4/2007) Version 3.1.1 (5/4/2007)

Loading…
Cancel
Save