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