Skip to content

Release 2.0.2
Compare
Choose a tag to compare
@mmcgr mmcgr released this 25 Sep 05:57
2.0.2
b33abd3
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.
  • Fix OSX user library paths (mmcgr)
  • Fix concurrent profling (mmcgr)
  • Fix indirect index use (aeflores)
  • Fix 'as' type conversion (darth-tytus)
  • Fix output of hint statistics (azreika)
  • Implement Record/ADT user-defined functors (darth-tytus)
  • Optimise ADT encoding (darth-tytus)
  • Added limitsize directive (b-scholz)
  • Add heuristic-based clause reordering (azreika)
  • Enhanced Magic Set transformation (azreika)
  • Restructuring for readability and maintainability (b-scholz, mmcgr)
Assets 6
Loading