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

Add SV-COMP'23 tag to README

Merge pull request #157 from viktormalik/svcomp22-fixes

SV-COMP fixes

Merge pull request #145 from viktormalik/svcomp21-backport

SV-COMP'21 backport

Version 0.9.0

Merge pull request #139 from viktormalik/svcomp20

Improvements for SV-COMP 2020

Version 0.8.0

Version 0.7.2

Merge pull request #122 from diffblue/release-0.7

Release 0.7

Version 0.6.0