File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11souffle (@VERSION@-1) UNRELEASED; urgency=low
2+ * Stop overmaterialising aggregate bodies (rdowavic)
3+ * Parallelise aggregate computation (rdowavic)
4+ * Add JSON IO (GaloisNeko)
5+ * Extend program minimiser (azreika)
6+ * Use greater precision for floating point output (mmcgr)
7+ * Fix duplicated symbols with multiple souffle object files (luc-tielen)
8+ * Fix multithreaded, interpreted, provenance (taipan-snake)
9+ * Fix provenance constraint explanation (taipan-snake)
10+ * Fix path detection for souffle tools (mmcgr)
11+ * Fix output directory use (mmcgr)
12+
13+ -- Martin McGrane <mmcgrane@it.usyd.edu.au> Wed, 29 Jul 2020 11:54:01 +1100
14+
15+ souffle (2.0.0); urgency=low
216 * Added `--legacy` flag to allow use of legacy options (darth-tytus)
317 * Added `--show [...]` flag to show various extra bits of information for
418 debugging/optimising (lyndonhenry)
You can’t perform that action at this time.
0 commit comments