Update CHANGELOG.md

kind2-mc · May 23, 2024 · 031b0ae · 031b0ae
1 parent b74668a
commit 031b0ae
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,8 @@
+### Unreleased
+- Update the Simulator interface:
+  - Change the default number of columns
+  - Decrease the font size of node names
+
 ### Version 0.11.0
 - Update Kind 2 to version 2.2.0 and Z3 to version 4.13.0
 - Add support for the linux-arm64 platform