Skip to content

Release 2.0.1
Compare
Choose a tag to compare
@mmcgr mmcgr released this 29 Jul 09:55
2.0.1
ad31668
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • Stop overmaterialising aggregate bodies (rdowavic)
  • Parallelise aggregate computation (rdowavic)
  • Add JSON IO (GaloisNeko)
  • Extend program minimiser (azreika)
  • Use greater precision for floating point output (mmcgr)
  • Fix duplicated symbols with multiple souffle object files (luc-tielen)
  • Fix multithreaded, interpreted, provenance (taipan-snake)
  • Fix provenance constraint explanation (taipan-snake)
  • Fix path detection for souffle tools (mmcgr)
  • Fix output directory use (mmcgr)
Assets 6
Loading