Prepare for v0.3.0

egraphs-good · Sep 13, 2024 · 70e5bdd · 70e5bdd
1 parent ae75bb7
commit 70e5bdd
Show file tree

Hide file tree

Showing 4 changed files with 36 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,38 @@
 
 ## [Unreleased] - ReleaseDate
 
+## [0.3.0] - 2024-9-12
+
+Cleanups
+
+- Remove `declare` and `calc` keywords (#418, #419).
+- Fix determinism bug from new combined ruleset code (#406)
+- Fix performance bug in typechecking containers (#395)
+- Minor improvements to the web demo (#413, #414, #415).
+- Add power operators to i64 and f64 (#412)
+
+Error reporting
+
+- Report the source locations for errors (#389, #398, #405).
+
+Serialization
+
+- Move splitting primitive nodes into the serialize library (#407)
+- Support omitted nodes (#394)
+- Support Class ID <-> Value conversion (#396)
+
+REPL
+
+- Evaluates multiple lines at once (#402)
+
+Higher-order functions (UNSTABLE)
+
+- Infer types of function values based on names (#400)
+
+Import relation from files
+
+- Accept f64 function arguments #384
+
 ## [0.2.0] - 2024-05-17
 
 Usability

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 edition = "2021"
 name = "egglog"
-version = "0.2.0"
+version = "0.3.0"
 description = "egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg."
 repository = "https://github.com/egraphs-good/egglog"
 keywords = ["e-graphs", "egglog", "datalog", "compiler", "equality"]

diff --git a/web-demo/Cargo.toml b/web-demo/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 edition = "2021"
 name = "web-demo"
-version = "0.2.0"
+version = "0.3.0"
 
 [lib]
 crate-type = ["cdylib"]