From 4539ff4b864e3f45e8fdbf5b05e43d3e882ec31a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 13 Mar 2021 23:41:46 +0000
Subject: [PATCH] CHANGELOG.

---
 CHANGELOG.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGELOG.txt b/CHANGELOG.txt
index 385abe7a..e22adb43 100644
--- a/CHANGELOG.txt
+++ b/CHANGELOG.txt
@@ -17,10 +17,12 @@ Latest changes (up to 2cedf62a):
 
 * Fixes
   - fixed to compile on Java 14
+  - fixed to compile on 64-bit Arm Linux/Mac
   - consistent treatment of negative/infinite/NaN rewards in symbolic/explicit engines
   - disable tree of model info in GUI
   
 * Development and code-level changes
+  - code base now allows/assumes Java 9
   - testing RESULT specifications can be intervals [a,b]
   - prism-log-extract: new (meta)fields: prog_name, prog_version, prog
   - ModelGenerator improvements: auto-generates VarList; stores module info