CHANGELOG.

CHANGELOG.txt

@@ -1,5 +1,21 @@
 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
+
 -----------------------------------------------------------------------------
 Version 4.6 (first released 21/4/2020)
 -----------------------------------------------------------------------------