Skip to content

Releases: luc-tielen/souffle-haskell

Release 3.2.0

21 Feb 07:58
@luc-tielen luc-tielen
v3.2.0
e38719e
Compare
Choose a tag to compare
Release 3.2.0 Latest
Latest

Added

  • Add Analysis type for composing multiple Datalog programs.

Changed

  • souffle-haskell now supports Souffle version 2.2.
Assets 2
Loading

Release 3.1.0

30 Sep 09:09
@luc-tielen luc-tielen
v3.1.0
d5464c9
Compare
Choose a tag to compare
Release 3.1.0

Changed

  • souffle-haskell now supports Souffle version 2.1.

Fixed

  • Bug in some C++ assertions that caused the actual assertion message to be
    wrongly computed.
Assets 2
Loading