Merge pull request #219 from egraphs-good/udeps

Upgrade all dependencies

Author: saulshanabrook

.github/workflows/CI.yml

@@ -25,7 +25,7 @@ jobs:
           - "3.10"
     steps:
       - uses: actions/checkout@v4
-      - uses: dtolnay/rust-toolchain@1.71.1
+      - uses: dtolnay/rust-toolchain@1.79.0
       - uses: Swatinem/rust-cache@v2
       - name: Setup python ${{ matrix.py }}
         uses: actions/setup-python@v5
@@ -38,7 +38,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: dtolnay/rust-toolchain@1.71.1
+      - uses: dtolnay/rust-toolchain@1.79.0
       - uses: Swatinem/rust-cache@v2
       - uses: actions/setup-python@v5
         with:
@@ -51,7 +51,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: dtolnay/rust-toolchain@1.71.1
+      - uses: dtolnay/rust-toolchain@1.79.0
       - uses: Swatinem/rust-cache@v2
       - uses: actions/setup-python@v5
         with:
@@ -66,7 +66,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: dtolnay/rust-toolchain@1.71.1
+      - uses: dtolnay/rust-toolchain@1.79.0
       - uses: Swatinem/rust-cache@v2
       - uses: actions/setup-python@v5
         with:

Cargo.lock

@@ -9,28 +9,24 @@ name = "egglog"
 crate-type = ["cdylib"]
 
 [dependencies]
-pyo3 = { version = "0.21", features = ["extension-module"] }
+pyo3 = { version = "0.22.5", features = ["extension-module"] }
 
 # https://github.com/egraphs-good/egglog/compare/ceed816e9369570ffed9feeba157b19471dda70d...main
-# egglog = { git = "https://github.com/egraphs-good/egglog", rev = "fb4a9f114f9bb93154d6eff0dbab079b5cb4ebb6" }
+egglog = { git = "https://github.com/egraphs-good/egglog", rev = "b0db06832264c9b22694bd3de2bdacd55bbe9e32" }
 # egglog = { path = "../egg-smol" }
 # egglog = { git = "https://github.com/oflatt/egg-smol", branch = "oflatt-fast-terms" }
-egglog = { git = "https://github.com/saulshanabrook/egg-smol", rev = "a555b2f5e82c684442775cc1a5da94b71930113c" }
-egraph-serialize = { git = "https://github.com/saulshanabrook/egraph-serialize", rev = "1c205fcc6d3426800b828e9264dbadbd4a5ef6e9", features = [
-    "serde",
-    "graphviz",
-] }
+# egglog = { git = "https://github.com/saulshanabrook/egg-smol", rev = "a555b2f5e82c684442775cc1a5da94b71930113c" }
+egraph-serialize = { version = "0.2.0", features = ["serde", "graphviz"] }
 # egraph-serialize = { path = "../egraph-serialize", features = [
 #     "serde",
 #     "graphviz",
 # ] }
-serde_json = "*"
-pyo3-log = "0.10.0"
+serde_json = "1.0.1"
+pyo3-log = "0.11.0"
 log = "0.4.21"
-lalrpop-util = { version = "0.20.2", features = ["lexer"] }
-ordered-float = "*"
+lalrpop-util = { version = "0.20", features = ["lexer"] }
+ordered-float = "3.7"
 uuid = { version = "1.8.0", features = ["v4"] }
-num-rational = "*"
 
 # Use unreleased version of egraph-serialize in egglog as well
 # [patch.crates-io]

Cargo.toml

@@ -22,3 +22,7 @@ python/egglog/visualizer.js python/egglog/visualizer.css: visualizer.tgz
 
 clean:
 	rm -rf package python/egglog/visualizer.css python/egglog/visualizer.js visualizer.tgz
+
+from-local:
+	cp ../egraph-visualizer/dist/index.js python/egglog/visualizer.js
+	cp ../egraph-visualizer/dist/style.css python/egglog/visualizer.css

Makefile

@@ -4,6 +4,8 @@ _This project uses semantic versioning_
 
 ## UNRELEASED
 
+- Upgrade dependencies including [egglog](https://github.com/egraphs-good/egglog/compare/saulshanabrook:egg-smol:a555b2f5e82c684442775cc1a5da94b71930113c...b0db06832264c9b22694bd3de2bdacd55bbe9e32)
+
 ## 8.0.0 (2024-10-17)
 
 - Adds ability to use anonymous functions where callables are needed. These are automatically transformed to egglog

docs/changelog.md

@@ -6,13 +6,13 @@ file_format: mystnb
 
 ## Parsing and running program strings
 
-You can provide your program in a special DSL language. You can parse this with {meth}`egglog.bindings.EGraph.parse_program` and then run the result with You can parse this with {meth}`egglog.bindings.EGraph.run_program`::
+You can provide your program in a special DSL language. You can parse this with {meth}`egglog.bindings.parse_program` and then run the result with You can parse this with {meth}`egglog.bindings.EGraph.run_program`::
 
 ```{code-cell}
 from egglog.bindings import EGraph
 
 egraph = EGraph()
-commands = egraph.parse_program("(check (= (+ 1 2) 3))")
+commands = parse_program("(check (= (+ 1 2) 3))")
 commands
 ```