Release Release 2.5 · souffle-lang/souffle

Synopsis

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

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

Full Changelog: 2.4.1...2.5