Changelog

Copy Markdown

v0.1.0

Initial release.

  • Thin Rustler wrapper around native Rust egglog.
  • Query-local Egglog.Program API for reusable loaded theories.
  • Stateful Egglog.EGraph API for interactive sessions.
  • Raw egglog source execution plus reusable parsed Egglog.Commands.
  • Checks, extraction, evaluation, function lookup, snapshots, and tuple counts.
  • DOT, SVG, and JSON snapshot support.
  • Livebook getting-started guide and upstream tutorial adaptations.