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

CHANGELOG. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3082 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 15 years ago
parent
47e6cc5143
commit
61f0727290
1 changed files with 5 additions and 2 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. 7
      prism/CHANGELOG.txt

7
prism/CHANGELOG.txt
View File

@ -5,10 +5,13 @@ of the main changes in each public release, see the file VERSIONS.txt.
Latest changes (mostly reverse chronological): Latest changes (mostly reverse chronological):
[correct wrt svn rev 3047] [correct wrt svn rev 3047]
* Ongoing: new explicit engine (some extra methods e.g. for MDPs)
* Various bug fixes * Various bug fixes
Ongoing changes:
* New version of explicit engine (including extra methods e.g. for MDPs)
* Property names allowed, but mostly not used
----------------------------------------------------------------------------- -----------------------------------------------------------------------------
Version 4.0.beta (released 16/12/2010) Version 4.0.beta (released 16/12/2010)
----------------------------------------------------------------------------- -----------------------------------------------------------------------------

Write Preview
Loading…
Cancel
Save