Merge pull request #411 from egraphs-good/version-13.1.0

saulshanabrook · web-flow · commit 8b6fe1e8d19a · 2026-03-25T09:45:02.000-07:00
Version 13.1.0
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "egglog_python"
-version = "13.0.1"
+version = "13.1.0"
 edition = "2024"
 
 
diff --git a/docs/changelog.md b/docs/changelog.md
@@ -4,6 +4,8 @@ _This project uses semantic versioning_
 
 ## UNRELEASED
 
+## 13.1.0 (2026-03-25)
+
 - Improve high-level Python ergonomics and docs [#397](https://github.com/egraphs-good/egglog-python/pull/397)
   - Add `EGraph.freeze()`, returning a `FrozenEGraph` snapshot that can be pretty-printed back into replayable high-level Python actions for debugging and inspection.
   - Add a variadic `EGraph(*actions, seminaive=True, save_egglog_string=False)` constructor so actions can be registered at construction time, and export `ActionLike` from `egglog` for typing code that works with `EGraph.register(...)` and the constructor.
