Skip to content

hegg v0.2

Compare
Choose a tag to compare
@alt-romes alt-romes released this 20 Sep 11:03
· 50 commits to master since this release

What's Changed

  • Expose runEqualitySaturation to run equality saturation on existing e-graphs
    whole instead of focusing on individual expressions
  • (Very) significant performance improvements!
  • Make CostFunction polymorphic over the Cost type, requiring that type
    to instance Ord
  • Make e-graph abstract. The internal structure can still be modified through
    the available lenses in Data.Equality.Graph.Lens
  • Fix a bug related to NodeMap's size.

Full Changelog: v0.1.0.0...v0.2.0.0