Started 17 days ago
Took 19 min on VM1

Success Build #1236 (Jul 27, 2020, 12:10:18 PM)

Stop overmaterialising aggregate bodies
https://github.com/souffle-lang/souffle/pull/1551
PR #1551
Changes
  1. stopped aggregates from overmaterialising. Now, only rules with more than one atom will be materialised. If an atom is not present, we add a +Tautology atom to the body of the aggregate. A rule with one atom and any number of constraints will not be materialised anymore (commit: 3452aea) (details / githubweb)

GitHub pull request #1551 of commit 3452aea7ffd1d804391a940c2bf4b44e286cf00f, has merge conflicts.

Revision: 3452aea7ffd1d804391a940c2bf4b44e286cf00f
  • detached