Emergentheta

[leventeBajczi]

Added CIR intermediate possibility

[github-actions]

Benchexec test report for a selection of SV-Benchmarks (correct / incorrect / all):

Rundefinition	BOUNDED	CEGAR	HORN
SV-COMP25_no-data-race	✅ (489 / 0 / 1029) HTML/CSV	✅ (489 / 0 / 1029) HTML/CSV	✅ (489 / 0 / 1029) HTML/CSV
SV-COMP25_no-overflow	❓ (0 / 0 / 2293) HTML/CSV	❓ (0 / 0 / 2309) HTML/CSV	❓ (0 / 0 / 916) HTML/CSV
SV-COMP25_termination	❓ (0 / 0 / 761) HTML/CSV	❓ (0 / 0 / 763) HTML/CSV	✅ (5 / 0 / 283) HTML/CSV
SV-COMP25_unreach-call	❗ (2 / 1 / 1320) HTML/CSV	❗ (2 / 1 / 1552) HTML/CSV	❗ (69 / 7 / 613) HTML/CSV
SV-COMP25_valid-memcleanup	❓ (0 / 0 / 66) HTML/CSV	❓ (0 / 0 / 66) HTML/CSV	❓ (0 / 0 / 66) HTML/CSV
SV-COMP25_valid-memsafety	❓ (0 / 0 / 1608) HTML/CSV	❓ (0 / 0 / 1620) HTML/CSV	✅ (49 / 0 / 1520) HTML/CSV

[github-actions]

❗ Please run ./gradlew applyCopyright on your branch to fix copyright headers.

[github-actions]

❗ Please run ./gradlew spotlessApply on your branch to fix formatting.

[github-actions]

❗ Please modify build.gradle.kts to contain a later version than 6.29.3. Current version is 6.29.3.

[github-actions]

Release Preview

Version: 6.29.3
Tag: v6.29.3

Release Notes:

Modified subprojects (since v6.29.3):
frontends/c-frontend
xcfa/xcfa-cli

Files to be uploaded:

upload/EmergenTheta-svcomp.zip
upload/Theta-cfa.zip
upload/Theta-chccomp.zip
upload/Theta-sts.zip
upload/Theta-svcomp.zip
upload/Theta-xsts.zip
upload/Theta-xta.zip
upload/Thorn-svcomp.zip
upload/theta-cfa-cli.jar
upload/theta-solver-smtlib-cli.jar
upload/theta-sts-cli.jar
upload/theta-xcfa-cli.jar
upload/theta-xsts-cli.jar
upload/theta-xta-cli.jar