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

CHANGELOG.

accumulation-v4.7
Dave Parker 7 years ago
parent
8394df8e1a
commit
0c64f02107
1 changed files with 1 additions and 0 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. 1
      CHANGELOG.txt

1
CHANGELOG.txt
View File

@ -14,6 +14,7 @@ Changes since version 4.4 (up-to-date wrt c0533b0b)
- PRISM GUI settings file (.prism) moved to more standard locations - PRISM GUI settings file (.prism) moved to more standard locations
- ITE supported in exact/parametric mode - ITE supported in exact/parametric mode
- various improvements to model checking in "exact" mode - various improvements to model checking in "exact" mode
- bugfix for incorrect model construction during fast adaptive uniformisation
- faster explicit construction of models with no labels - faster explicit construction of models with no labels
- command-line -exportsteadystates switch implies -steadystate - command-line -exportsteadystates switch implies -steadystate
- GUI shortcuts: double-clicks for addition of constants, labels - GUI shortcuts: double-clicks for addition of constants, labels

Write Preview
Loading…
Cancel
Save