Merge pull request #31 from metadsl/add-py-object

Add support for low level Python objects

Author: saulshanabrook

Cargo.lock

@@ -12,13 +12,13 @@ crate-type = ["cdylib"]
 # Use unreleased version to depend on signature improvements https://github.com/PyO3/pyo3/pull/2702
 pyo3 = { version = "0.18.1", features = ["extension-module"] }
 # egglog = { git = "https://github.com/egraphs-good/egglog", rev = "39b199d9bfce9cc47d0c54977279c5b04231e717" }
-egglog = { git = "https://github.com/saulshanabrook/egg-smol", rev = "353c4387640019bd2066991ee0488dc6d5c54168" }
+egglog = { git = "https://github.com/saulshanabrook/egg-smol", rev = "2ac80cb1162c61baef295d8e6d00351bfe84883f" }
 
 # egglog = { path = "../egg-smol" }
 pyo3-log = "0.8.1"
 log = "0.4.17"
 lalrpop-util = { version = "0.19.8", features = ["lexer"] }
-ordered-float = "3.4"
+ordered-float = "*"
 
 [package.metadata.maturin]
 name = "egglog.bindings"

Cargo.toml

@@ -4,6 +4,22 @@ _This project uses semantic versioning. Before 1.0.0, this means that every brea
 
 ## Unreleased
 
+- Added initial supported for Python objects [#31](https://github.com/metadsl/egglog-python/pull/31)
+
+  - Renamed `BaseExpr` to `Expr` for succinctness
+  - Add [slides for zoom presentation with Open Teams](explanation/2023_07_presentation)
+  - Started adding [tutorial for using with array API and sklearn](tutorials/array-api), using this to drive
+    the support for more Python integration
+  - Added a PyObject sort with the `save_object` and `load_object` egraphs methods and the `exec`
+  - Added more general mechanism to upcast Python arguments into egglog expressions, by registering `converter`s
+  - Added support for default arguments (this required refactoring declerations so that pretty printing can lookup expressions)
+  - Added support for properties
+  - Added support for passing args as keywords
+  - Add support for pure Python methods, using the `preserve` kwarg to implement functions like `__bool__` on expressions.
+  - Fix `__str__` method when pretty printing breaks.
+  - Added to/from i64 to i64 methods.
+  - Upgraded `egg-smol` dependency ([changes](https://github.com/saulshanabrook/egg-smol/compare/353c4387640019bd2066991ee0488dc6d5c54168...2ac80cb1162c61baef295d8e6d00351bfe84883f))
+
 ## 0.5.1 (2023-07-18)
 
 - Added support for negation on `f64` sort
@@ -37,7 +53,7 @@ _This project uses semantic versioning. Before 1.0.0, this means that every brea
 
 - Fix bug calling methods on paramterized types (e.g. `Map[i64, i64].empty().insert(i64(0), i64(1))`)
 - Fix bug for Unit type (egg name is `Unit` not `unit`)
-- Use `@class_` decorator to force subclassing `BaseExpr`
+- Use `@class_` decorator to force subclassing `Expr`
 - Workaround extracting definitions until [upstream is fixed](https://github.com/egraphs-good/egglog/pull/140)
 - Rename `Map.map_remove` to `Map.remove`.
 - Add lambda calculus example

docs/changelog.md

@@ -5,4 +5,5 @@ explanation/compared_to_rust
 explanation/optional_values
 explanation/define_and_define
 explanation/pldi_2023_presentation
+explanation/2023_07_presentation
 ```