Bumping version to 0.2.5

scallop-lang · Sep 14, 2024 · 07d8843 · 07d8843
1 parent e48b151
commit 07d8843
Show file tree

Hide file tree

Showing 8 changed files with 20 additions and 7 deletions.
diff --git 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
@@ -1,6 +1,6 @@
 [package]
 name = "scallop-core"
-version = "0.2.4"
+version = "0.2.5"
 authors = ["Ziyang Li <[email protected]>"]
 edition = "2018"
 

diff --git 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 <[email protected]>"]
 edition = "2018"
 

diff --git 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 = [email protected]
 description = Scallop CLI

diff --git 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
@@ -1,6 +1,6 @@
 [package]
 name = "sclc-core"
-version = "0.2.4"
+version = "0.2.5"
 authors = ["Ziyang Li <[email protected]>"]
 edition = "2018"
 

diff --git 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 <[email protected]>"]
 edition = "2018"
 

diff --git 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 <[email protected]>"]
 edition = "2018"