Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
+
when both operands are symbols.debug_delta
to debug the delta relation of recursive relations in https://github.com/souffle-lang/souffle/pull/2414
+
by @quentin in https://github.com/souffle-lang/souffle/pull/2431
Full Changelog: https://github.com/souffle-lang/souffle/compare/2.4...2.4.1
.include
honors -I
(include dir) options by @quentin in https://github.com/souffle-lang/souffle/pull/2276
functors
test when not using libffi
by @quentin in https://github.com/souffle-lang/souffle/pull/2281
--generate-many
by @quentin in https://github.com/souffle-lang/souffle/pull/2312
Global
singleton by @quentin in https://github.com/souffle-lang/souffle/pull/2360
--no-preprocessor
and add a virtual file system layer to the parser by @quentin in https://github.com/souffle-lang/souffle/pull/2377
Full Changelog: https://github.com/souffle-lang/souffle/compare/2.3...2.4
range
souffle-lang/souffle#2182 by @quentin in https://github.com/souffle-lang/souffle/pull/2184
windows-2019
by @quentin in https://github.com/souffle-lang/souffle/pull/2098
Full Changelog: https://github.com/souffle-lang/souffle/compare/2.2...2.3
Download Debian packages from here: https://packagecloud.io/souffle-lang/souffle
Install Souffle on Mac using brew: https://github.com/souffle-lang/homebrew-souffle
--legacy
flag to allow use of legacy options (darth-tytus)--show [...]
flag to show various extra bits of information for
debugging/optimising (lyndonhenry)as(arg, type)
(darth-tytus)