egglog-python

egglog-python copied to clipboard

Simplifying an expression with a Map argument.

1

```py m = egraph.let("map", Map[String, i64].empty().insert(String("a"), i64(42))) egraph.simplify(m, 5) ``` Results in: ```shell Traceback (most recent call last): File "/.../egg/working-version/../list.py", line 265, in egraph.simplify(m, 5) File "/.../venv/lib/python3.10/site-packages/egglog/egraph.py", line 1025, in...

cgyurgyik

[pre-commit.ci] pre-commit autoupdate

1

updates: - [github.com/astral-sh/ruff-pre-commit: v0.4.1 → v0.6.9](https://github.com/astral-sh/ruff-pre-commit/compare/v0.4.1...v0.6.9)

pre-commit-ci[bot]

Bump serde_json from 1.0.116 to 1.0.117

1

Bumps [serde_json](https://github.com/serde-rs/json) from 1.0.116 to 1.0.117. Release notes Sourced from serde_json's releases. v1.0.117 Resolve unexpected_cfgs warning (#1130) Commits 0ae247c Release 1.0.117 4517c7a PartialEq is not implemented between Value and 128-bit...

dependabot[bot]

Bump num-rational from 0.4.1 to 0.4.2

1

Bumps [num-rational](https://github.com/rust-num/num-rational) from 0.4.1 to 0.4.2. Changelog Sourced from num-rational's changelog. Release 0.4.2 (2024-05-07) Upgrade to 2021 edition, MSRV 1.60 Add Ratio::approximate_float_unsigned to convert FloatCore types to unsigned Add const...

dependabot[bot]

Bump PyO3/maturin-action from 1.42.1 to 1.43.0

1

Bumps [PyO3/maturin-action](https://github.com/pyo3/maturin-action) from 1.42.1 to 1.43.0. Release notes Sourced from PyO3/maturin-action's releases. v1.43.0 What's Changed Move before script before sccache setup by @​orf in PyO3/maturin-action#264 Find PyPy in tool cache...

dependabot[bot]

We should have a better error on sub-classing, which is not allowed, and point them to using functions instead of sub-classes

saulshanabrook

Bumps [ordered-float](https://github.com/reem/rust-ordered-float) from 3.7.0 to 4.2.0. Release notes Sourced from ordered-float's releases. v4.2.0 What's Changed Optional borsh serialisation support by @​Fuuzetsu in reem/rust-ordered-float#146 New Contributors @​Fuuzetsu made their first contribution...

dependabot[bot]

Bumps [dtolnay/rust-toolchain](https://github.com/dtolnay/rust-toolchain) from 1.71.1 to 1.80.0. Commits 3be326e toolchain: 1.80.0 See full diff in compare view [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as...

dependabot[bot]

Feature request: High level Print-function

5

Requesting a high-level feature to run `print-function` on an `EGraph` and get the result as string or preferably high-level python objects

adrianleh

Remove Defaults and Change Relations

1

To simplify the model, there is an open conversation/proposal to remove the ability to specify `defaults for functions. This would entail changing how `Unit`/`relation` is implemented, since currently `relation` desugars...

saulshanabrook