Update README.md

westtide · Jun 6, 2024 · 8c840f5 · 8c840f5
1 parent 12f8609
commit 8c840f5
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,3 +1,8 @@
+Push History
+============
+2024-06-06: Fixed compile issues encountered during 'sbt assembly', including errors related to the 'SMTLineariser' function and type mismatches in method calls.
+Dependencies: sbt 1.10.0, Zulu JDK 11.
+
 Eldarica
 ========