Release notes (#1614)

epfl-lara · Dec 8, 2024 · 2b3d9c0 · 2b3d9c0
1 parent 74679f8
commit 2b3d9c0
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/bin/stainless-cli b/bin/stainless-cli
@@ -80,6 +80,6 @@ BASE_DIR="$( dirname "$( realpath "${BASH_SOURCE[0]}" )" )"
 JARS="$BASE_DIR/lib"
 
 # NOTE: $JAVA_OPTS not quoted, as it may be empty!
-TORUN="scala-cli --jar ${JARS}/stainless-library.jar ${JARS}/stainless-library-sources.jar $@"
+TORUN="scala-cli -S 3.5.2 --jar ${JARS}/stainless-library.jar ${JARS}/stainless-library-sources.jar $@"
 echo $TORUN
 ${TORUN}
diff --git a/docs/RELEASE_NOTES.md b/docs/RELEASE_NOTES.md
@@ -1,5 +1,13 @@
 # Release Notes
 
+- Scala version is now 3.5.2 
+- Update to Inox that supports Horn clause solving, https://github.com/epfl-lara/inox/pull/214
+- Fix an extraction bug with type synonym definitions (#1595)
+- Explicit measures in List library so termination checks are cached
+- More properties and methods on lists and sets
+- Set considered to have positive polarity (it is finite)
+- Internal solver errors are now silent by default
+
 ## Version 0.9.8.9 (2024-10-19)
 
 - Default cache now only stores SHA-256 hash of formulas ( -binary-cache=true for old version)