Bugfix: Actually use IcfgBuilder in BuchiAutomizerCInline_IcfgBuilder…

….xml toolchain

Revert "Refactor matching in witness validation to respect semantics"

This reverts commit e1b9321.

Release new version 0.2.4

SV-COMP 2022 version.

Version used in evaluation for the POPL'24 paper "Commutativity Simpl…

…ifies Verification of Parameterized Programs"

Release new version 0.2.3

Version used in artifact for the PLDI'22 paper "What Is Your Preferen…

…ce Order?"

update versions to 0.2.1 for new release

First really working build for 0.2.0

update versions to 0.1.25 for new release