From 913d7edd358d2f785e01edfbb0b0e2399962732e Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 3 Aug 2026 21:45:39 +0000 Subject: [PATCH] chore(deps): bump ordeal from 0.16.1 to 0.17.0 Bumps [ordeal](https://github.com/pulseengine/ordeal) from 0.16.1 to 0.17.0. - [Release notes](https://github.com/pulseengine/ordeal/releases) - [Changelog](https://github.com/pulseengine/ordeal/blob/main/CHANGELOG.md) - [Commits](https://github.com/pulseengine/ordeal/compare/v0.16.1...v0.17.0) --- updated-dependencies: - dependency-name: ordeal dependency-version: 0.17.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- Cargo.lock | 8 ++++---- crates/synth-verify/Cargo.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 810944d9..a5561307 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -659,18 +659,18 @@ checksum = "d6790f58c7ff633d8771f42965289203411a5e5c68388703c06e14f24770b41e" [[package]] name = "ordeal" -version = "0.16.1" +version = "0.17.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "67b320966e15c0447e8bb02b86031f0f32b451a4940f1af24e9c0b5b2434e09b" +checksum = "26dc65f99c3680a8b950e0bdba84c8a6f7d7cb9a44e696e8415198b7093eaacf" dependencies = [ "ordeal-lrat", ] [[package]] name = "ordeal-lrat" -version = "0.16.1" +version = "0.17.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d1dd8471cb03a6290624af9b033e071479a63bbdb7820d23c2a673f16e9984df" +checksum = "daabcf6ce6dc57e83824e83619114573913b6af02ead3fb08223ee1514fa43c3" [[package]] name = "page_size" diff --git a/crates/synth-verify/Cargo.toml b/crates/synth-verify/Cargo.toml index 14ee2bda..30662670 100644 --- a/crates/synth-verify/Cargo.toml +++ b/crates/synth-verify/Cargo.toml @@ -36,7 +36,7 @@ synth-synthesis = { path = "../synth-synthesis", version = "0.53.0", optional = # regression that HANGS div/rem trap-preservation VCs (4-6h CI timeouts, #849). # Re-adopt only once the perf regression is fixed upstream AND native i64 rem # (#844/#848) re-lands behind a per-query timeout. Do NOT let dependabot bump this. -ordeal = "=0.16.1" +ordeal = "=0.17.0" # Z3: optional differential oracle (feature `z3-solver`) — no longer default. # Default features only (NO `static-link-z3`/`bundled`): z3-sys links the