From 70e5bdda887e702a9ad3f726719edfbdcf150052 Mon Sep 17 00:00:00 2001 From: Yihong Zhang Date: Thu, 12 Sep 2024 18:52:57 -0700 Subject: [PATCH 1/4] Prepare for v0.3.0 --- CHANGELOG.md | 32 ++++++++++++++++++++++++++++++++ Cargo.lock | 4 ++-- Cargo.toml | 2 +- web-demo/Cargo.toml | 2 +- 4 files changed, 36 insertions(+), 4 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 879fe93c..6e74aa2e 100644 --- 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 index ab96e00e..9ec6d8c4 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -301,7 +301,7 @@ checksum = "675e35c02a51bb4d4618cb4885b3839ce6d1787c97b664474d9208d074742e20" [[package]] name = "egglog" -version = "0.2.0" +version = "0.3.0" dependencies = [ "clap", "egraph-serialize", @@ -1322,7 +1322,7 @@ dependencies = [ [[package]] name = "web-demo" -version = "0.2.0" +version = "0.3.0" dependencies = [ "console_error_panic_hook", "egglog", diff --git a/Cargo.toml b/Cargo.toml index 6a9e397f..313d8916 100644 --- 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 index 9f97ff12..b93424ba 100644 --- 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"] From 2e1db76ddd47ceff87e3c6bb05a8cd927656bbcb Mon Sep 17 00:00:00 2001 From: Yihong Zhang Date: Thu, 12 Sep 2024 18:56:08 -0700 Subject: [PATCH 2/4] add non-existent link --- CHANGELOG.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 6e74aa2e..7d17d9fd 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -6,15 +6,15 @@ Cleanups -- Remove `declare` and `calc` keywords (#418, #419). +- 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). +- 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). +- Report the source locations for errors (#389, #398, #405) Serialization @@ -76,6 +76,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. From 4e0b5b9979f07deb769f97c06123ea116efb7469 Mon Sep 17 00:00:00 2001 From: Yihong Zhang Date: Sat, 28 Sep 2024 16:40:31 -0700 Subject: [PATCH 3/4] update changelog --- CHANGELOG.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 7d17d9fd..173fe0f6 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -18,13 +18,15 @@ Error reporting 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 -- Evaluates multiple lines at once (#402) +- Evaluate multiple lines at once (#402) +- Show build information in the REPL (#427) Higher-order functions (UNSTABLE) From e659ec6ce8247198e53ec5c50db3b5310bfb97a2 Mon Sep 17 00:00:00 2001 From: Yihong Zhang Date: Sat, 28 Sep 2024 16:42:03 -0700 Subject: [PATCH 4/4] fix dependency --- Cargo.lock | 5 +++-- Cargo.toml | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 015eebd3..c77da099 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -342,8 +342,9 @@ dependencies = [ [[package]] name = "egraph-serialize" -version = "0.1.0" -source = "git+https://github.com/egraphs-good/egraph-serialize?rev=3625e0daf655932f2e9548c448d6a63d6cb8d831#3625e0daf655932f2e9548c448d6a63d6cb8d831" +version = "0.2.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "c31c5c0d7f760f9c1c84e21d73dcd3b3ce7a4770c27689f56a0db26e0f3e79ca" dependencies = [ "graphviz-rust", "indexmap", diff --git a/Cargo.toml b/Cargo.toml index 6ec804a8..339acd89 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -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", ] }