SV-COMP'24

This release contains binaries for the 2023 SV-COMP competition.

Minimal necessary packages for Ubuntu 22.04 LTS:

• openjdk-17-jre-headless
• libgomp1
• libmpfr-dev

Pre-Run results (2023-11-24 18:05:53 CET)

What's Changed since SV-COMP'23

• Evading buffer overflows (experimental) by @leventeBajczi in #179
• Smtlib update by @leventeBajczi in #184
• Smtlib update by @leventeBajczi in #185
• Create CD-create_release.yml by @blagazsolt in #181
• Fixed copy-paste error in hash code functions by @AdamZsofi in #187
• Progress check partial refactor by @AdamZsofi in #188
• Added maven publishing to gradle by @leventeBajczi in #190
• No more removing ops in exprsimplifier for bvconcat by @leventeBajczi in #191
• Added flags to set solver in XstsCli by @leventeBajczi in #176
• AAPOR (AADPOR) by @csanadtelbisz in #192
• CHC support by @s0mark in #183
• Update and fix github actions, code style and license headers. by @leventeBajczi in #194
• Fix minor bugs after CI update by @leventeBajczi in #196
• Now pushing docker by @leventeBajczi in #197
• Applying mcm-update to xcfa-refactor by @leventeBajczi in #199
• Adding back the llvm frontend by @leventeBajczi in #200
• Constant variable substitution, loop unroll pass + dpor code cleanup by @csanadtelbisz in #202
• [AutoPR] Reformatted code by @thetabotmaintainer in #204
• spor as an xcfa specific algorithm - refactor by @csanadtelbisz in #227
• pthread functions support by @csanadtelbisz in #228
• LBE pass fix by @csanadtelbisz in #229
• Harmonize integer div/mod semantics by @s0mark in #230
• COI (abstract data-flow-based statement simplification) by @csanadtelbisz in #231
• Xcfa phased procedure pass optimization + unsupported initializer by @csanadtelbisz in #233
• Added code from CHC2C implementation by @leventeBajczi in #234
• Data race detection fixes by @csanadtelbisz in #235
• ARG equals/hashCode fix by @leventeBajczi in #238
• Adds support for the react-based interactive debugger by @leventeBajczi in #240
• Update existing well-established solvers by @as3810t in #237
• Adding smoke test to xcfa-cli by @leventeBajczi in #241
• K induction and IMC by @leventeBajczi in #243
• Interprocedural verification enhancement by @s0mark in #244

Full Changelog: svcomp23...svcomp24