v0.4

Overview of Changes

• Added support for an experimental heap model that uses the theory of arrays. The heap model can be changed using the option -heapModel:native (default) and heapModel:array.

• Added an option to change solution reconstruction in Eldarica -solutionReconstruction:wp (default) and -solutionReconstruction:cegar. The CEGAR version leads to much smaller solutions in many cases, which is planned to be the default option in the future.

• Migrated the codebase to Scala v2.13.

Included PRs

• Upgrade project to Scala v2.13 by @zafer-esen in #48
• Switch to new heap interface methods by @zafer-esen in #50
• Add capabilities for nondeterministic array initialization. by @woosh in #44
• Change to default sbt directory structure by @zafer-esen in #45
• Adds support for statement expressions and assert.h assert macro by @zafer-esen in #46
• Add test case for -mathArray with struct array by @woosh in #49
• Update at expressions so that first argument is a string containing a label by @zafer-esen in #51
• v0.4 release by @zafer-esen in #54
• Changes to Symex LHS evaluation by @zafer-esen in #41

Full Changelog: v0.3.2...v0.4