Add traceInduct improvements to the release notes

epfl-lara · Jun 21, 2021 · f1f336e · f1f336e
1 parent ad0e6b5
commit f1f336e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -16,6 +16,7 @@
 - Add support for inlining and making opaque while loops (#1009)
 - Library cleanup (#953, #998, #999, #1000)
 - Add fresh copy primitive (#1033)
+- Improve traceInduct and add clustering (#1052)
 - Add no-return invariants for while loops (#1079)
 
 ### SMT solvers