Skip to content
Snippets Groups Projects
Commit 5b35280d authored by Dave Parker's avatar Dave Parker
Browse files

CHANGELOG.

parent 7a6728a2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
CHANGELOG.txt
+ 2
− 2
View file @ 5b35280d
This file contains details of the changes in each new version of PRISM.
-----------------------------------------------------------------------------
Latest changes (up to 2cedf62a):
Version 4.7 (first released 19/3/2021)
-----------------------------------------------------------------------------
* New model checking functionality
- support for POMDP/POPTA model checking
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment