From 07d884308fecc2f0c1d37d3186309987dd52c938 Mon Sep 17 00:00:00 2001 From: Ziyang Li Date: Sat, 14 Sep 2024 00:22:29 -0400 Subject: [PATCH] Bumping version to 0.2.5 --- changelog.md | 13 +++++++++++++ core/Cargo.toml | 2 +- etc/codegen/Cargo.toml | 2 +- etc/scallop-cli/setup.cfg | 2 +- etc/scallopy/Cargo.toml | 2 +- etc/sclc/Cargo.toml | 2 +- etc/scli/Cargo.toml | 2 +- etc/sclrepl/Cargo.toml | 2 +- 8 files changed, 20 insertions(+), 7 deletions(-) diff --git a/changelog.md b/changelog.md index 20186b5..1822240 100644 --- a/changelog.md +++ b/changelog.md @@ -1,3 +1,16 @@ +# v0.2.5, Sep 14, 2024 + +- Adding `@goal` and `@scheduler` to Scallop: now we have multiple semantics driven by scheduling strategies (BFS, DFS, A-Star, Beam, etc.) and stopping criteria. +- Removing the package `scallopy_ext`; moving everything into `scallopy` and simplifying installation. +- Refactoring Scallopy Plugins. All the existing plugins under `etc/scallopy-plugins` are updated to the new API. Instead of having individual entry-points, now Plugins are programed as a Python class inheriting `scallopy.Plugin`. + +Lower Level: +- Improving query planning by prioritizing over demand predicates +- Optimizing RAM by introducing deduplication of update rules +- Adding new provenances, including various tropical semirings for discrete and real-number reasoning modes +- Adding optimizations to Scallop runtime join algorithms +- Multiple bugs fixed + # v0.2.4, Aug 30, 2024 - Rule tags can now be expressions with potential reference to local variables: `rel 1/n::head() = body(n)` diff --git a/core/Cargo.toml b/core/Cargo.toml index 6175f49..699fb5c 100644 --- a/core/Cargo.toml +++ b/core/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "scallop-core" -version = "0.2.4" +version = "0.2.5" authors = ["Ziyang Li "] edition = "2018" diff --git a/etc/codegen/Cargo.toml b/etc/codegen/Cargo.toml index 6a333d5..671eada 100644 --- a/etc/codegen/Cargo.toml +++ b/etc/codegen/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "scallop-codegen" -version = "0.2.4" +version = "0.2.5" authors = ["Ziyang Li "] edition = "2018" diff --git a/etc/scallop-cli/setup.cfg b/etc/scallop-cli/setup.cfg index 0c4d0ed..412df7d 100644 --- a/etc/scallop-cli/setup.cfg +++ b/etc/scallop-cli/setup.cfg @@ -1,6 +1,6 @@ [metadata] name = scallop -version = 0.2.4 +version = 0.2.5 author = Ziyang Li author_email = liby99@seas.upenn.edu description = Scallop CLI diff --git a/etc/scallopy/Cargo.toml b/etc/scallopy/Cargo.toml index 41afa98..f789760 100644 --- a/etc/scallopy/Cargo.toml +++ b/etc/scallopy/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "scallopy" -version = "0.2.4" +version = "0.2.5" edition = "2018" [lib] diff --git a/etc/sclc/Cargo.toml b/etc/sclc/Cargo.toml index 350df36..58ac0d3 100644 --- a/etc/sclc/Cargo.toml +++ b/etc/sclc/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "sclc-core" -version = "0.2.4" +version = "0.2.5" authors = ["Ziyang Li "] edition = "2018" diff --git a/etc/scli/Cargo.toml b/etc/scli/Cargo.toml index 1e83a1a..9cc6200 100644 --- a/etc/scli/Cargo.toml +++ b/etc/scli/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "scli" -version = "0.2.4" +version = "0.2.5" authors = ["Ziyang Li "] edition = "2018" diff --git a/etc/sclrepl/Cargo.toml b/etc/sclrepl/Cargo.toml index baa2c9d..8f89ed5 100644 --- a/etc/sclrepl/Cargo.toml +++ b/etc/sclrepl/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "sclrepl" -version = "0.2.4" +version = "0.2.5" authors = ["Ziyang Li "] edition = "2018"