Update release notes for Statix.

metaborg · Oct 6, 2020 · f168d31 · f168d31
1 parent fc9959b
commit f168d31
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/source/release/note/vnext.rst b/source/release/note/vnext.rst
@@ -25,6 +25,11 @@ Compared the the search-based, the environment-based algorithm can get stuck on
 Note that the environment-based algorithm may increase memory usage.
 The default remains the search-based algorithm.
 
+Statix
+~~~~~~
+
+Analysis times of large, multi-file Statix specifications has improved significantly.
+
 Eclipse
 ~~~~~~~