souffle 2.5

[BrewTestBot]

Created by brew bump

---

Created with brew bump-formula-pr.

release notes

## Synopsis
* ⚠️ known issue: sporadic concurrency issues on ARM, see https://github.com/souffle-lang/souffle/issues/2476 ⚠️
* 🔥 New feature: Lattice support https://github.com/souffle-lang/souffle/pull/2438
* 🔥 New feature: Doc comments and annotations https://github.com/souffle-lang/souffle/pull/2472
* 📦 Packages for Fedora 39/40/41, Ubuntu 22/24, Oracle Linux 9
* 🧯 Many fixes and updates to the C/I, now also running on Apple M
What's Changed
Features

Lattice support by @julienhenry in Lattice support souffle-lang/souffle#2438
Let to_number infer the base by @bens in Let to_number infer the base souffle-lang/souffle#2439
doc comments and annotations in Souffle datalog by @quentin in doc comments and annotations in Souffle datalog souffle-lang/souffle#2472
Add Support for Relations With Arity Up to 22 In Interpreter by @cwarden in Add Support for Relations With Arity Up to 22 In Interpreter souffle-lang/souffle#2518

Fixes

Lattice fix by @julienhenry in Lattice fix souffle-lang/souffle#2442
fix #1896 by @quentin in fix #1896 souffle-lang/souffle#2445
Fix for compilation warnings by @kpadmasola in Fix for compilation warnings souffle-lang/souffle#2446
better handling of unknown components in .init by @quentin in better handling of unknown components in .init souffle-lang/souffle#2450
fix multi-result intrinsic functor within aggregate by @quentin in fix multi-result intrinsic functor within aggregate souffle-lang/souffle#2455
fix apply on user-defined aggregate init by @quentin in fix apply on user-defined aggregate init souffle-lang/souffle#2456
Order generators with respect to their dependencies by @quentin in Order generators with respect to their dependencies souffle-lang/souffle#2458
Fix warning suppression in the json utility. by @Xazax-hun in Fix warning suppression in the json utility. souffle-lang/souffle#2462
Fix uninitialized variable warning by @RolfRolles in Fix uninitialized variable warning souffle-lang/souffle#2465
Add 32 bit versions of MSVC intrinsics by @Xazax-hun in Add 32 bit versions of MSVC intrinsics souffle-lang/souffle#2463
Fix unquoted environment variable in check_os.sh by @strRM in Fix unquoted environment variable in check_os.sh souffle-lang/souffle#2469
Fix stoi error when passing --jobs=auto in non-OpenMP code path by @strRM in Fix stoi error when passing --jobs=auto in non-OpenMP code path souffle-lang/souffle#2477
fix memory check CI workflow by @quentin in fix memory check CI workflow souffle-lang/souffle#2479
fix ungrounded error when destructuring with don't-cares by @quentin in fix ungrounded error when destructuring with don't-cares souffle-lang/souffle#2483
several fixes by @quentin in several fixes souffle-lang/souffle#2494
Do not treat warnings as errors when using MSVC. by @Xazax-hun in Do not treat warnings as errors when using MSVC. souffle-lang/souffle#2461
robustify the debug and error reports by @quentin in robustify the debug and error reports souffle-lang/souffle#2495
Fix incorrect handling of ".include" in identifiers by @Mingtao521 in Fix incorrect handling of ".include" in identifiers souffle-lang/souffle#2498
fix: integer overflow in Complexity analysis by @quentin in fix: integer overflow in Complexity analysis souffle-lang/souffle#2509
fix: regex works incorrectly when using -c option by @quentin in fix: regex works incorrectly when using -c option souffle-lang/souffle#2534

Performance

string interning of QualifiedName by @quentin in string interning of QualifiedName souffle-lang/souffle#2451
non-RTTI dynamic cast by @quentin in non-RTTI dynamic cast souffle-lang/souffle#2452
avoid calls to getArguments() in interpreter by @quentin in avoid calls to getArguments() in interpreter souffle-lang/souffle#2473
make interpreter's Conjunction a Compound node by @quentin in make interpreter's Conjunction a Compound node souffle-lang/souffle#2459

New Contributors

@bens made their first contribution in Let to_number infer the base souffle-lang/souffle#2439
@kpadmasola made their first contribution in Fix for compilation warnings souffle-lang/souffle#2446
@Xazax-hun made their first contribution in Fix warning suppression in the json utility. souffle-lang/souffle#2462
@RolfRolles made their first contribution in Fix uninitialized variable warning souffle-lang/souffle#2465
@ygrek made their first contribution in README: s/git/https/ souffle-lang/souffle#2493
@Mingtao521 made their first contribution in Fix incorrect handling of ".include" in identifiers souffle-lang/souffle#2498
@katrinafyi made their first contribution in Subprocess.h: use vector instead of dynamically-sized VLA souffle-lang/souffle#2529

Full Changelog: souffle-lang/souffle@2.4.1...2.5

[github-actions]

@chenrui333 has requested bottles to be published to this PR.

Please do not push to this PR branch before the bottle commits have been pushed, as this results in a state that is difficult to recover from. If you need to resolve a merge conflict, please use a merge commit. Do not force-push to this PR branch.