* VRA: Use function graph for dominance frontier if available.

* Make _pd_compress non-recursive.

* Bug fix.

* Bug fix.

* VRA: Specify function entry node addr.

* Fix store and extract for SimTypeWideChar.

* Type check test_types.py.

* Improve handling of phi var-involving constant propagation.

* Skip phi variables with unknown source vvars.

* Type check.

* VRA: Limit stack variable stores to 256 bytes.

* Type check.

* Peephole: Signed division simplification case B.

* Add more simplifications and a test case.

* Lint and type check.

…ngr#5520)

* Fix the check on guard that incorrectly checks the False condition

* use only valid check in _hash_false

…angr#5529)

* Add Emulator and ConcreteEngine; Adapt IcicleEngine to ConcreteEngine

* Remove redundant assertions

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

* Move test_emulator.py to tests/sim/

* Fix missed rename

* Add HeavyConcreteState to __all__

* Fix lint

* Put it in the right place

* Move it to the top level

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

* SPropagator: Propagate stackvars that are not eliminatable.

* Fix incorrect l-value replacements.

* Add a hack to address duplicated return variables.

* The hack should only consider ret points.

* Type check.

* SAILR: Fix indentation (and the heuristics).

* AILCallCounter: Do not count calls within conditions.

* GotoSimplifier: Fix a typo.

* Phoenix: Fix short-circuit type b.

* Update a test case.

* Adjust the fmt.main test case; waiting for mahaloz to endorse.

…r#5544)

* LoweredSwitchSimp: Do not test graph structurability.

* Type check.

* Phoenix: Speed up negating condition checks.

* Bug fix.

* Do not rely on conditional jump targets.

* Phoenix: Speed up acyclic graph conversion.

Also switches to deterministic post-ordering when possible for improved
speed.

* Add a missing node order update.

* Lint code.

* Properly handle multi-headed acyclic graphs.

* Fix another place where node_order is not updated when new nodes are created.

* Fix one more missed place.

* Add a missed list(reversed(...)).

* Adjust the tr.build_spec_list test case.

…angr#5553)

Bumps [actions-rust-lang/setup-rust-toolchain](https://github.com/actions-rust-lang/setup-rust-toolchain) from 1.12.0 to 1.13.0.
- [Release notes](https://github.com/actions-rust-lang/setup-rust-toolchain/releases)
- [Changelog](https://github.com/actions-rust-lang/setup-rust-toolchain/blob/main/CHANGELOG.md)
- [Commits](actions-rust-lang/setup-rust-toolchain@9d7e65c...fb51252)

---
updated-dependencies:
- dependency-name: actions-rust-lang/setup-rust-toolchain
  dependency-version: 1.13.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Bumps [astral-sh/setup-uv](https://github.com/astral-sh/setup-uv) from 6.1.0 to 6.3.0.
- [Release notes](https://github.com/astral-sh/setup-uv/releases)
- [Commits](astral-sh/setup-uv@f0ec1fc...445689e)

---
updated-dependencies:
- dependency-name: astral-sh/setup-uv
  dependency-version: 6.3.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

…ngr into feat/multiblock_lifting

…ngr into feat/multiblock_lifting