Merge pull request #141 from egraphs-good/version-7.0.0

Version 7.0.0
egraphs-good · Apr 27, 2024 · 3a9c6b0 · 3a9c6b0
2 parents ce4351d + 57e18cf
commit 3a9c6b0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "egglog-python"
-version = "6.1.0"
+version = "7.0.0"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

diff --git a/docs/changelog.md b/docs/changelog.md
@@ -4,6 +4,8 @@ _This project uses semantic versioning_
 
 ## UNRELEASED
 
+## 7.0.0 (2024-04-27)
+
 - Defers adding rules in functions until they are used, so that you can use types that are not present yet.
 - Removes ability to set custom default ruleset for egraph. Either just use the empty default ruleset or explicitly set it for every run
 - Automatically mark Python builtin operators as preserved if they must return a real Python value