Soufflé 1.5.1 Released

Hello! We have a new release of Soufflé for you. Key features are

  1. User defined functors (b-scholz)
  2. Rewritten code generation (taipan-snake)
  3. Improved Provenance via generated data structures (taipan-snake)
  4. Profile cpu & memory usage (mmcgr)
  5. Enhanced profiler graphs (mmcgr)
  6. Productivity measures in profiler (mmcgr)
  7. General profiler enhancements (mmcgr)
  8. Added support for non-x86 platforms (mmcgr)
  9. Improve compilation speed (mmcgr)
  10. Bash autocompletion (mmcgr)
  11. Extended verbose mode (azreika/mmcgr)
  12. Reorder atoms to optimise evaluation speed (azreika)
  13. Profile-guided atom reordering (azreika)
  14. Various AST optimisations (azreika)

Soufflé 1.4.0 Released

Hello! We have a new release of Soufflé for you. Key features are

  1. improved parallel performance (HerbertJordan)
  2. improved operators hints in btree (HerbertJordan)
  3. extended progress logging in verbose mode (mmcgr)
  4. added to_string and to_number functors (b-scholz)
  5. added live profiler (mmcgr)
  6. changed profile output format to json (mmcgr)
  7. profile output is determinate for easier parsing (mmcgr)
  8. profiler tracks memory and cpu usage during execution (mmcgr)
  9. profiler tracks load/store times (mmcgr)
  10. multiple input directives may be declared in one step (mmcgr)
  11. simplify scripting by handling missing files (mmcgr)
  12. MPI engine (lyndonhenry)

Soufflé 1.3.1 Released

Hello! We have a new release of Soufflé for you. Key features are

  1. Added more feedback in verbose mode (azreika/mmcgr)
  2. Fixed and enhanced 64 bit domain support (mmcgr/cfallin)
  3. Improved debug report (azreika)
  4. Enhanced profiler (atom frequency, bug fixes) (mmcgr)
  5. Hashmap support (HerbertJordan,65linesofcode)
  6. Enhanced provenance tools (taipan-snake)
  7. Performance enhancements (azreika)
  8. Fix parallel profiler logging (mmcgr)

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.