We ran our first tutorial on the 5th of December, 2016, at APSEC’16. We had 11 participants. The tutorial was run by Bernhard Scholz, Raghavendra K. R., and Alexander Jordan. You find some of the slides here.
Hello! We have the first open-source release of Soufflé for you. Key features are
Continuous Integration / Travis support for Souffle
Automatic packaging for Debian and MAC OS X platform.
Multiple Header clauses, and disjunctions in bodies of clauses.
BOOST’s C-preprocessor called wave adapted so that MAC OS X port is functional without a GCC installation.
Nullary relations (i.e., relations with no attributes become attributes).
Liberal identifiers in Souffle programs, e.g., A(?x,?y) :- B(?y,?x).
Enable type declarations in Souffle’s components.
Added bitwise and logical functors, and binary, and hexadecimal constants.
Configuration files for Doxygen documentation.
Numerous bug fixes in all parts of the system.
Oracle Labs made Soufflé open-source on the 8th of March, 2016. Soufflé is a Datalog-like language that compiles programs to efficient parallel C++ code. Currently, Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code.