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

@@ -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
 ```
 

docs/how-to-guides.md

@@ -36,7 +36,7 @@ eqsat_basic = """(datatype Math
 (check (= expr1 expr2))"""
 
 egraph = EGraph()
-commands = egraph.parse_program(eqsat_basic)
+commands = parse_program(eqsat_basic)
 egraph.run_program(*commands)
 ```
 

docs/reference/bindings.md

@@ -35,7 +35,7 @@ Then install the package in editable mode with the development dependencies:
 maturin develop -E dev,docs,test,array
 ```
 
-Anytime you change the rust code, you can run `maturin develop -E` to recompile the rust code.
+Anytime you change the rust code, you can run `maturin develop` to recompile the rust code.
 
 If you would like to download a new version of the visualizer source, run `make clean; make`. This will download
 the most recent released version from the github actions artifact in the [egraph-visualizer](https://github.com/egraphs-good/egraph-visualizer) repo. It is checked in because it's a pain to get cargo to include only one git ignored file while ignoring the rest of the files that were ignored.