Soufflé 1.2.0 Released

Hello! We have the third open-source release of Soufflé for you. Key features are

  1. Interactive provenance browser (taipan-snake)
  2. Compilation to subprograms for separate execution (lyndonhenry)
  3. Magic Sets (azreika)
  4. Sum aggregator fixed
  5. gcc7 optimisations
  6. File IO optimisations
  7. Pragmas to enable argument options (e.g., .pragma "-mtest")
  8. Various minor bug fixes and usability enhancements

Soufflé 1.1.0 Released

Hello! We have the second open-source release of Soufflé for you. Key features are

  1. Configurable I/O System with more options and support for new language extensions (mmcgr).
  2. Support of equivalence relation using union/find data-structures (pnappa) New profiling tool rewritten in C++ with HTML/Javascript output (DominicRomanowski).
  3. Replacing the Boost C-prepocessor wave by mcpp (pnappa)
  4. Adding ternary functors (b-scholz)
  5. JNI interface (psubotic)
  6. Memory optimisations (lyndonhenry)
  7. Numerous bug fixes.

Soufflé 1.0.0 Released

Hello! We have the first open-source release of Soufflé for you. Key features are

  1. Continuous Integration / Travis support for Souffle

  2. Automatic packaging for Debian and MAC OS X platform.

  3. Multiple Header clauses, and disjunctions in bodies of clauses.

  4. BOOST’s C-preprocessor called wave adapted so that MAC OS X port is functional without a GCC installation.

  5. Nullary relations (i.e., relations with no attributes become attributes).

  6. Liberal identifiers in Souffle programs, e.g., A(?x,?y) :- B(?y,?x).

  7. Enable type declarations in Souffle’s components.

  8. Added bitwise and logical functors, and binary, and hexadecimal constants.

  9. Configuration files for Doxygen documentation.

  10. Numerous bug fixes in all parts of the system.