Fix an egraph elaboration fuzzbug that was allowing values with dependencies
that shouldn't be duplicated to be chosen in a context that would make them
invalid.
#7859#7879
Fix an egraph rule bug that was allowing unconstrained recursion through the
DFG to run away on large functions.
#7882
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
- `@dependabot show ignore conditions` will show all of the ignore conditions of the specified dependency
- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
Updates the requirements on wasmtime to permit the latest version.
Release notes
Sourced from wasmtime's releases.
Commits
601e229
Release Wasmtime 17.0.1 (#7890)fff54cb
Backport egraph fixes to 17.0.1 (#7889)ab5a448
Release Wasmtime 17.0.0 (#7800)b239c50
Close intermediate streams for reads/writes (#7816) (#7819)2af1a89
wasi implementations: use rc-2024-01-16 for sockets, cli, http (#7781) (#7785)0b63202
Fix the ABI of Option<u128> on x86_64 (#7770) (#7771)2c9160a
[17.0.0] Backport fixfd_read
andfd_write
forwasm32-wasi-threads
(#77...ae535f1
feat: implementResourceAny
->Resource\<T>
conversion (#7712)ae5d284
feat: implementResource\<T>
->ResourceAny
conversion (#7688)2b2e638
cmake: remove unused file copy (#7744)Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase
.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show