Merge pull request #425 from egraphs-good/release-0.3.0

Prepare for v0.3.0

CHANGELOG.md

@@ -2,6 +2,40 @@
 
 ## [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
+
+- Include subsumption information in serialization (#424)
+- Move splitting primitive nodes into the serialize library (#407)
+- Support omitted nodes (#394)
+- Support Class ID <-> Value conversion (#396)
+
+REPL
+
+- Evaluate multiple lines at once (#402)
+- Show build information in the REPL (#427)
+
+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
@@ -44,6 +78,7 @@ As of yet, the rust interface is not documented or well supported. We reccomend
 [Unreleased]: https://github.com/egraphs-good/egglog/compare/v0.2.0...HEAD
 [0.1.0]: https://github.com/egraphs-good/egglog/tree/v0.1.0
 [0.2.0]: https://github.com/egraphs-good/egglog/tree/v0.2.0
+[0.3.0]: https://github.com/egraphs-good/egglog/tree/v0.3.0
 
 
 See release-instructions.md for more information on how to do a release.

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"]
@@ -37,7 +37,7 @@ smallvec = "1.11"
 
 generic_symbolic_expressions = "5.0.4"
 
-egraph-serialize = { git = "https://github.com/egraphs-good/egraph-serialize", rev = "3625e0daf655932f2e9548c448d6a63d6cb8d831", features = [
+egraph-serialize = { version = "0.2.0", features = [
   "serde",
   "graphviz",
 ] }

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"]