Compiling with local egg-smol

Author: saulshanabrook

Cargo.lock

@@ -11,10 +11,12 @@ crate-type = ["cdylib"]
 [dependencies]
 # Use unreleased version to depend on signature improvements https://github.com/PyO3/pyo3/pull/2702
 pyo3 = { version = "0.18.1", features = ["extension-module"] }
-egg-smol = { git = "https://github.com/mwillsey/egg-smol", rev = "08a6e8fecdb77e6ba72a1b1d9ff4aff33229912c" }
+# egg-smol = { git = "https://github.com/mwillsey/egg-smol", rev = "6f2633a5fa379487fb389b80fc1225866f8b8c1a" }
+egg-smol = { path = "../egg-smol" }
 pyo3-log = "0.8.1"
 log = "0.4.17"
 lalrpop-util = { version = "0.19.8", features = ["lexer"] }
+ordered-float = "3.4"
 
 [package.metadata.maturin]
 name = "egg_smol.bindings"

Cargo.toml

@@ -1,5 +1,9 @@
 # Changelog
 
+## Unreleased
+
+- Upgrade `egg-smol` from `08a6e8fecdb77e6ba72a1b1d9ff4aff33229912c` to `6f2633a5fa379487fb389b80fc1225866f8b8c1a`.
+
 ## 0.2.0 (2023-03-27)
 
 This release adds support for a high level API for e-graphs.

docs/changelog.md

@@ -42,6 +42,9 @@ docs = [
 ]
 
 
+[tool.black]
+line-length = 120
+
 [tool.isort]
 profile = "black"
 skip_gitignore = true
@@ -62,3 +65,4 @@ python-source = "python"
 addopts = ["--import-mode=importlib"]
 testpaths = ["python"]
 python_files = ["test_*.py", "test.py"]
+markers = ["slow: marks tests as slow (deselect with '-m \"not slow\"')"]