Soufflé Files

Synopsis

• New option --generate-many to split the generated C++ Code into multiple files (@julienhenry)
• Purge input and intermediate relations (@adamjseitz)
• Emscripten Build (@philzook58)
• Improved parallel load balance in the interpreter (@quentin)
• User defined aggregate (@julienhenry)
• Improved loading of CSV (@strRM, @bmeck)
• Configurable warnings (@langston-barrett)
• Performance improvements for regex matching (@strRM)
• Expose main driver interface (@quentin)
• Allow linking against multiple compiled Souffle programs (@ruricolist, @quentin)
• Enhance type error understanding (@Gueckmooh)

What's Changed

• Fix arch build by @XiaowenHu96 in https://github.com/souffle-lang/souffle/pull/2274
• .include honors -I (include dir) options by @quentin in https://github.com/souffle-lang/souffle/pull/2276
• Add missing override keyword by @luc-tielen in https://github.com/souffle-lang/souffle/pull/2279
• Allow underscore in branch init appearing in constraints by @quentin in https://github.com/souffle-lang/souffle/pull/2280
• fix functors test when not using libffi by @quentin in https://github.com/souffle-lang/souffle/pull/2281
• fixes for the debug report by @quentin in https://github.com/souffle-lang/souffle/pull/2283
• Splitting the generated C++ Code into multiple files to improve compile-time by @julienhenry in https://github.com/souffle-lang/souffle/pull/2215
• Refactor Auto-Scheduler [#1] by @SamArch27 in https://github.com/souffle-lang/souffle/pull/2284
• Refactor Auto-Scheduler [#2] by @SamArch27 in https://github.com/souffle-lang/souffle/pull/2289
• Refactor Auto-Scheduler [#3] by @SamArch27 in https://github.com/souffle-lang/souffle/pull/2290
• Refactoring Auto-Scheduler [#4] by @SamArch27 in https://github.com/souffle-lang/souffle/pull/2291
• Rename index-stats to emit-statistics for auto-scheduler by @SamArch27 in https://github.com/souffle-lang/souffle/pull/2292
• Differentiate execution plan checker messages by @adamjseitz in https://github.com/souffle-lang/souffle/pull/2295
• Purge intermediate relations, but not input/output by @adamjseitz in https://github.com/souffle-lang/souffle/pull/2286
• Emscripten Build by @philzook58 in https://github.com/souffle-lang/souffle/pull/2297
• fix btree destructors [#2127] by @julienhenry in https://github.com/souffle-lang/souffle/pull/2287
• Fix for SWIG .o file not found [#2305] by @fgauthie in https://github.com/souffle-lang/souffle/pull/2308
• fix missing index on unsigned values when --generate-many by @quentin in https://github.com/souffle-lang/souffle/pull/2312
• Improve parallel load balance in the interpreter. by @quentin in https://github.com/souffle-lang/souffle/pull/2313
• User defined aggregate by @julienhenry in https://github.com/souffle-lang/souffle/pull/2282
• try to workaround xcode 14 issue by @quentin in https://github.com/souffle-lang/souffle/pull/2331
• Support literal newlines in csv by @strRM in https://github.com/souffle-lang/souffle/pull/2329
• fix error handling and exit code by @strRM in https://github.com/souffle-lang/souffle/pull/2330
• Update workflow's actions to comply with Github upcoming deprecations by @quentin in https://github.com/souffle-lang/souffle/pull/2334
• Configurable warnings by @langston-barrett in https://github.com/souffle-lang/souffle/pull/2319
• cache regex compilation by @strRM in https://github.com/souffle-lang/souffle/pull/2328
• Emit errors for ignored execution plan by @adamjseitz in https://github.com/souffle-lang/souffle/pull/2352
• Add word size info the help screen by @mingodad in https://github.com/souffle-lang/souffle/pull/2353
• Parse CSV QualifiedNames instead of just Identifier for ADTs by @bmeck in https://github.com/souffle-lang/souffle/pull/2358
• Add word size to help screen by @mingodad in https://github.com/souffle-lang/souffle/pull/2354
• remove Global singleton by @quentin in https://github.com/souffle-lang/souffle/pull/2360
• Missing inline keyword for function GreaterOrEqualPrime by @b-scholz in https://github.com/souffle-lang/souffle/pull/2364
• Sort includes when generating multiple files by @ruricolist in https://github.com/souffle-lang/souffle/pull/2363
• Expose main driver interface. by @quentin in https://github.com/souffle-lang/souffle/pull/2366
• Allow linking multiple object files built from Souffle generated code by @ruricolist in https://github.com/souffle-lang/souffle/pull/2371
• Only emit include for IOSystem.h when needed by @ruricolist in https://github.com/souffle-lang/souffle/pull/2374
• fix mutually dependent aggregates semantics checks by @quentin in https://github.com/souffle-lang/souffle/pull/2372
• Eliminate nondeterminism in Condition ordering by @adamjseitz in https://github.com/souffle-lang/souffle/pull/2378
• Fix complexity analysis by @quentin in https://github.com/souffle-lang/souffle/pull/2380
• Fix generated JavaScript in profiles by @ruricolist in https://github.com/souffle-lang/souffle/pull/2388
• Fix source locations with --no-preprocessor and add a virtual file system layer to the parser by @quentin in https://github.com/souffle-lang/souffle/pull/2377
• Drop clause if it contains an impossible BinaryConstraint by @adamjseitz in https://github.com/souffle-lang/souffle/pull/2376
• Read preprocessed code into buffer before parsing by @adamjseitz in https://github.com/souffle-lang/souffle/pull/2387
• Purge input relations if pruneImdtRels is set by @adamjseitz in https://github.com/souffle-lang/souffle/pull/2394
• Fix typecheck error on atom negation with equivalent type by @Gueckmooh in https://github.com/souffle-lang/souffle/pull/2399
• Make -D- option for compiled datalog behave same as if interpreted by @Gueckmooh in https://github.com/souffle-lang/souffle/pull/2401
• Enhance type error understanding by displaying incompatible constraints by @Gueckmooh in https://github.com/souffle-lang/souffle/pull/2402
• Update changelog by @quentin in https://github.com/souffle-lang/souffle/pull/2397

New Contributors

• @adamjseitz made their first contribution in https://github.com/souffle-lang/souffle/pull/2295
• @philzook58 made their first contribution in https://github.com/souffle-lang/souffle/pull/2297
• @fgauthie made their first contribution in https://github.com/souffle-lang/souffle/pull/2308
• @strRM made their first contribution in https://github.com/souffle-lang/souffle/pull/2329
• @mingodad made their first contribution in https://github.com/souffle-lang/souffle/pull/2353
• @bmeck made their first contribution in https://github.com/souffle-lang/souffle/pull/2358
• @ruricolist made their first contribution in https://github.com/souffle-lang/souffle/pull/2363
• @Gueckmooh made their first contribution in https://github.com/souffle-lang/souffle/pull/2399

Full Changelog: https://github.com/souffle-lang/souffle/compare/2.3...2.4