Release 0.10

New features:
- array abstract domain (--arrays)
- new loop unwinding for heap-manipulating programs (allows k-induction)
- rebase to CBMC 5.61
- removed necessity of the symbolic paths domain for heap analysis
- various bug fixes

Author: viktormalik

README.md

@@ -42,6 +42,7 @@ Releases
 
 Download using `git clone http://github.com/diffblue/2ls; cd 2ls; git checkout 2ls-x.y`
 
+* [2LS 0.10](http://github.com/diffblue/2ls/releases/tag/2ls-0.10) (01/2023)
 * [2LS 0.9](http://github.com/diffblue/2ls/releases/tag/2ls-0.9) (03/2020)
 * [2LS 0.8](http://github.com/diffblue/2ls/releases/tag/2ls-0.8) (11/2019)
 * [2LS 0.7](http://github.com/diffblue/2ls/releases/tag/2ls-0.7) (08/2018)
@@ -101,6 +102,10 @@ Since release 0.7:
 * Heap abstract domain with intervals or zones: --heap-[intervals|zones]
 * Heap abstract domain with intervals or zones and loop paths: --heap-[intervals|zones] --sympath
 
+Since release 0.10:
+
+* Array abstract domain: --arrays
+
 Interprocedural Termination Analysis
 ====================================
 

src/2ls/version.h

@@ -12,6 +12,6 @@ Author: Peter Schrammel
 #ifndef CPROVER_2LS_2LS_VERSION_H
 #define CPROVER_2LS_2LS_VERSION_H
 
-#define TWOLS_VERSION "0.9.6"
+#define TWOLS_VERSION "0.10.0"
 
 #endif