You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
- This includes a few big changes to the underlying bindings, which I won't go over in full detail here. See the [pyi diff](https://github.com/egraphs-good/egglog-python/pull/258/files#diff-f34a5dd5d6568cd258ed9f786e5abce03df5ee95d356ea9e1b1b39e3505e5d62) for all public changes.
20
+
- Creates seperate parent classes for `BuiltinExpr` vs `Expr` (aka eqsort aka user defined expressions). This is to
21
+
allow us statically to differentiate between the two, to be more precise about what behavior is allowed. For example,
22
+
`union` can only take `Expr` and not `BuiltinExpr`.
23
+
- Removes deprecated support for modules and building functions off of the e-egraph.
24
+
- Updates function constructor to remove `default` and `on_merge`. You also can't set a `cost` when you use a `merge`
25
+
function or return a primitive.
26
+
-`eq` now only takes two args, instead of being able to compare any number of values.
0 commit comments