s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

CHANGELOG. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@667 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 18 years ago
parent
bdb7b8be60
commit
9f29144b6d
1 changed files with 10 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 11
      prism/CHANGELOG.txt

11
prism/CHANGELOG.txt
View File

@ -1,7 +1,16 @@
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 changes (reverse chronological):
Steady-state properties for DTMCs
GUI model editor: line numbers, undo
Language changes: no ranges, new function notation, semicolons, update parentheses
New parser: more efficient, better error reporting
----------------------------------------------------------------------------- -----------------------------------------------------------------------------
Version 3.2.beta1 (released 25/2/2008) (svn: trunk rev 568) Version 3.2.beta1 (released 25/2/2008) (svn: trunk rev 568)
----------------------------------------------------------------------------- -----------------------------------------------------------------------------

Write Preview
Loading…
Cancel
Save