Release 2.3

Synopsis

• Auto-scheduler for rules (SamArch27)
• Better scheduling heuristic (julienhenry)
• Improved component system (quentin)
• Improved type-system for record alias (quentin)
• Introducing include directives (quentin)
• Optional use of libffi (quentin)
• New packaging mechanism using souffle-lang.github.io (XiaowenHu96, mmcgr)
• Misc fixes and refactoring (langston-barrett, aeflores, pnwamk, quentin, b-scholz, XiaowenHu96, OlivierHamel, cwarden, mbid, davidwzhao, cmuellner, luc-tielen)

What's Changed

• Fix issue #2176 by @XiaowenHu96 in #2178
• Do not print newline after functor declaration by @mbid in #2179
• Fix github action by @XiaowenHu96 in #2180
• fixes unsigned range #2182 by @quentin in #2184
• fix missing header in synthesized profiled program by @quentin in #2186
• Allow URI Filenames for SQLite Input and Output by @cwarden in #2177
• update dominance example by @XiaowenHu96 in #2192
• fix souffle-compile argument parsing by @pnwamk in #2191
• control libffi dependency with SOUFFLE_USE_LIBFFI by @quentin in #2188
• alias-type on record and adt types by @quentin in #2197
• enable sqlite3 URI filename capabilty by @quentin in #2199
• Fix -Wparentheses warning in synthesized C++ code by @luc-tielen in #2202
• MSVC support, CI github Actions windows-2019 by @quentin in #2098
• emit missing '\n' in cpp includes by @pnwamk in #2206
• Subsumption fix for issue #2189 by @b-scholz in #2204
• cleanup Windows CI trigger by @quentin in #2210
• Clean up relation generation for provenance in synthesiser and interpreter by @davidwzhao in #2208
• Cleanup defunct delta-based SIPs by @langston-barrett in #2212
• separate symbol table interface from implementation by @quentin in #2200
• fix type system when a record's field is an alias type by @quentin in #2219
• Fix#2223 by @b-scholz in #2224
• Allow populating and reading ADTs in souffle::tuple interface by @aeflores in #2183
• Subsumption Example by @b-scholz in #2216
• improve behaviour of inheritance by @quentin in #2220
• fix examples by @quentin in #2234
• Fix segfault in souffleprof related to "@new" relations by @langston-barrett in #2230
• Not adding -g flag when compiled with NDEBUG by @XiaowenHu96 in #2238
• Fix #2190: Magicset bug by @b-scholz in #2241
• Subsumptive clauses crash when dominated and dominating heads are identical. by @b-scholz in #2240
• update to vcpkg 2022.03.10 by @quentin in #2242
• Don't apply RemoveRelationCopies transformer to EQRELs by @langston-barrett in #2244
• Auto-Scheduler for Soufflé by @SamArch27 in #2237
• Fix profiler cost estimate by @OlivierHamel in #2245
• Fix segfault in ~ProfileEventSingleton by @langston-barrett in #2226
• Remove ProfileSips by @SamArch27 in #2251
• Disable pragma2 test on Linux by @cmuellner in #2252
• Update/correct/standardise version and license text by @mmcgr in #2254
• Fix deb file creation by @mmcgr in #2255
• Fixed auto-scheduler for recursive rules using Selinger w/ vector by @SamArch27 in #2258
• Add release debs/rpms to souffle-lang.github.io/ppa by @mmcgr in #2261
• delta-max-bound sips heuristic by @julienhenry in #2260
• fact-like rule using functor by @quentin in #2262
• fix test: getopt_long returns an int by @quentin in #2264
• Fix#2257 by @b-scholz in #2267
• eqrel: Simplify insertAll by @langston-barrett in #2268
• add support for include in datalog scanner by @quentin in #2270
• Prepare changelog for Release V2.3 by @b-scholz in #2272

New Contributors

• @mbid made their first contribution in #2179
• @pnwamk made their first contribution in #2191

Full Changelog: 2.2...2.3