From bbb07fa8b2cdd102b69f15dc5b5c1d77c2ec2dea Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 17 Jan 2021 01:12:09 +0000 Subject: [PATCH] CHANGELOG update. --- CHANGELOG.txt | 37 ++++++++++++++++++++++++------------- 1 file changed, 24 insertions(+), 13 deletions(-) diff --git a/CHANGELOG.txt b/CHANGELOG.txt index 2e4fcc0a..385abe7a 100644 --- a/CHANGELOG.txt +++ b/CHANGELOG.txt @@ -2,19 +2,30 @@ This file contains details of the changes in each new version of PRISM. ----------------------------------------------------------------------------- -Latest changes (up to 517709e8): - -* Allow testing RESULT specifications to be intervals [a,b] -* prism-log-extract: New (meta)fields: prog_name, prog_version, prog -* Fixed to compile on Java 14 -* Add -dir switch to set current working dir in command line and GUI -* Consistent treatment of negative/infinite/NaN rewards in symbolic/explicit engines -* ModelGenerator improvements: auto-generates VarList; stores module info -* HOAF2DA: Support HOA input without a number-of-states header -* Disable tree of model info in GUI -* Support for LTS model checking -* Improved model type auto-detect when unspecified (MDP/PTA/LTS) -* Bugfixes & refactoring +Latest changes (up to 2cedf62a): + +* New model checking functionality + - support for POMDP/POPTA model checking + - support for LTS model checking + - reporting of model checking accuracy + +* Features/enhancements: + - bounded properties (e.g. P