Download Latest Version Release 2.5 source code.tar.gz (9.7 MB)
Email in envelope

Get an email when there's a new version of Soufflé

Home / 2.2
Name Modified Size InfoDownloads / Week
Parent folder
x86_64-ubuntu-2104-souffle-2.2-Linux.deb 2022-01-18 3.9 MB
0
x86_64-ubuntu-2004-souffle-2.2-Linux.deb 2022-01-18 3.8 MB
0
x86_64-fedora-34-souffle-2.2-Linux.rpm 2022-01-18 2.5 MB
0
x86_64-centos-8-souffle-2.2-Linux.rpm 2022-01-18 2.6 MB
0
sha512sum.txt 2022-01-18 679 Bytes
0
README.md 2022-01-17 508 Bytes
0
Release 2.2.tar.gz 2022-01-17 9.6 MB
0
Release 2.2.zip 2022-01-17 10.8 MB
0
Totals: 8 Items   33.1 MB 0
  • Subsumption clauses, e.g., A(x1) <= A(x2) :- x1 <= x2 (@julienhenry, @b-scholz)
  • IR and build improvements (@OlivierHamel, @langston-barrett, @quentin, @b-scholz, @aeflores, @cmuellner, @broffra, @rahlk, @yihozhang, @trofi)
  • Refactoring of type analysis (@tytus-metrycki)
  • Improved packaging (@XiaowenHu96, @quentin, @uxhg, @cwarden)
  • Improved loading of DLLs (@quentin)
  • Type annotation printer (@hide-kawabata)
  • Performance improvements for eqrel (@langston-barrett, @kevzhumba)
Source: README.md, updated 2022-01-17