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
20
- Creates seperate parent classes for `BuiltinExpr` vs `Expr` (aka eqsort aka user defined expressions). This is to
21
21
allow us statically to differentiate between the two, to be more precise about what behavior is allowed. For example,
- Updates function constructor to remove `default` and `on_merge`. You also can't set a `cost` when you use a `merge`
25
25
function or return a primitive.
26
26
-`eq` now only takes two args, instead of being able to compare any number of values.
27
-
- Removes `eval` method from `EGraph` and moves primitive evaluation to methods on each builtin and support `int(...)` type conversions on primitives.
28
-
- Change how to set global EGraph context with `with egraph.set_current()` and `EGraph.current` and add support for setting global schedule as well with `with schedule.set_current()` and `Schedule.current`.
29
-
- Adds support for using `==` and `!=` directly on values instead of `eq` and `ne` functions.
27
+
- Removes `eval` method from `EGraph` and moves primitive evaluation to methods on each builtin and support `int(...)` type conversions on primitives.[#265](https://github.com/egraphs-good/egglog-python/pull/265)
28
+
- Change how to set global EGraph context with `with egraph.set_current()` and `EGraph.current` and add support for setting global schedule as well with `with schedule.set_current()` and `Schedule.current`.[#265](https://github.com/egraphs-good/egglog-python/pull/265)
29
+
- Adds support for using `==` and `!=` directly on values instead of `eq` and `ne` functions.[#265](https://github.com/egraphs-good/egglog-python/pull/265)
0 commit comments