Fix segfault on malformed subproof commands (#2538)

chore: changelog for v2.5 (#2537)

fix: regex works incorrectly when using -c option (#2534)

chore: move code style checks to Guidelines workflow (#2535)

Subprocess.h: use vector instead of dynamically-sized VLA (#2529)

chore: releases should publish packages for newer linux distributions (…

Merge pull request #2525 from quentin/fixpopulatedependencies

Merge pull request #2524 from quentin/ubuntu24build

Add Support for Relations With Arity Up to 22 In Interpreter (#2518)

chore: update CMake version for MSVC build (#2519)

Merge pull request #2513 from quentin/macos12-deprecation

fix: integer overflow in Complexity analysis (#2509)

fix incorrect handling of ".include" in identifiers (#2498)

make interpreter's Conjunction a Compound node (#2459)

robustify the debug and error reports (#2495)

Do not treat warnings as errors when using MSVC. (#2461)

Merge pull request #2494 from quentin/manyfixes

create package for Fedora 39 (#2467)

README: s/git/https/ (#2493)

update codecov and artifact actions to v4 (#2492)

Apple ARM: use default toolchain, export SDKROOT (#2491)

fix ungrounded error when destructuring with don't-cares (#2483)

Merge pull request #2479 from quentin/memchk

Merge pull request #2478 from quentin/macos14

Merge pull request #2477 from strRM/rm/cet-2475-fix-stoi-no-conversion

doc comments and annotations in Souffle datalog (#2472)

avoid calls to getArguments() in interpreter (#2473)

Update check_os.sh (#2469)

Add 32 bit versions of MSVC intrinsics (#2463)

Fix uninitialized variable warning (#2465)