chore(deps): update dependencies (minor changes)

[renovate]

This PR contains the following updates:

Package	Type	Update	Change
anyhow	dependencies	patch	1.0.71 -> 1.0.100
boolector-sys	dependencies	patch	0.7.1 -> 0.7.2
byteorder	dependencies	minor	~1.4.3 -> ~1.5.0
bytesize	dependencies	minor	~2.0.0 -> ~2.1.0
cadical-rs	dependencies	patch	0.1.14 -> 0.1.16
clap	dependencies	minor	~4.3.3 -> ~4.5.0
eframe (source)	dependencies	minor	0.22.0 -> 0.33.0
egui	dependencies	minor	0.22.0 -> 0.33.0
env_logger	dev-dependencies	minor	~0.10 -> ~0.11.0
env_logger	dependencies	minor	~0.10 -> ~0.11.0
indexmap	dependencies	minor	2.9.0 -> 2.12.0
log	dev-dependencies	patch	0.4.19 -> 0.4.28
log	dependencies	patch	0.4.19 -> 0.4.28
pyo3	dependencies	minor	~0.19.0 -> ~0.27.0
rayon	dev-dependencies	minor	~1.7 -> ~1.11.0
regex	dependencies	minor	~1.8.4 -> ~1.12.0
rfd	dependencies	minor	0.11.4 -> 0.15.0
strum	dependencies	minor	~0.24.1 -> ~0.27.0
tempfile (source)	dev-dependencies	minor	~3.6.0 -> ~3.23.0
thiserror	dependencies	patch	2.0.12 -> 2.0.17
z3-solver	dependencies	minor	~0.11.2 -> ~0.19.0
z3-sys	dependencies	minor	~0.7.1 -> ~0.10.0

---

Release Notes

dtolnay/anyhow (anyhow)

v1.0.100

Compare Source

• Teach clippy to lint formatting arguments in bail!, ensure!, anyhow! (#​426)

v1.0.99

Compare Source

• Allow build-script cleanup failure with NFSv3 output directory to be non-fatal (#​420)

v1.0.98

Compare Source

• Add self.into_boxed_dyn_error() and self.reallocate_into_boxed_dyn_error_without_backtrace() methods for anyhow::Error (#​415)

v1.0.97

Compare Source

• Documentation improvements

v1.0.96

Compare Source

• Documentation improvements

v1.0.95

Compare Source

• Add Error::from_boxed (#​401, #​402)

v1.0.94

Compare Source

• Documentation improvements

v1.0.93

Compare Source

• Update dev-dependencies to thiserror v2

v1.0.92

Compare Source

• Support Rust 1.82's &raw const and &raw mut syntax inside ensure! (#​390)

v1.0.91

Compare Source

• Ensure OUT_DIR is left with deterministic contents after build script execution (#​388)

v1.0.90

Compare Source

• Documentation improvements

v1.0.89

Compare Source

• Make anyhow::Error's UnwindSafe and RefUnwindSafe impl consistently available between versions of Rust newer and older than 1.72 (#​386)

v1.0.88

Compare Source

• Documentation improvements

v1.0.87

Compare Source

• Support more APIs, including Error::new and Error::chain, in no-std mode on Rust 1.81+ (#​383)

v1.0.86

Compare Source

• Fix parse error in ensure! with non-literal after minus sign (#​373)

v1.0.85

Compare Source

• Improve ensure! macro's rules to unblock some rustc pretty-printer improvements (#​368, #​371)

v1.0.84

Compare Source

• Disallow calling ensure! through a Not impl for a type that is not bool (#​367)

v1.0.83

Compare Source

• Integrate compile-time checking of cfgs (#​363)

v1.0.82

Compare Source

• Documentation improvements

v1.0.81

Compare Source

• Make backtrace support available when using -Dwarnings (#​354)

v1.0.80

Compare Source

• Fix unused_imports warnings when compiled by rustc 1.78

v1.0.79

Compare Source

• Work around improperly cached build script result by sccache (#​340)

v1.0.78

Compare Source

• Reduce spurious rebuilds under RustRover IDE when using a nightly toolchain (#​337)

v1.0.77

Compare Source

• Make anyhow::Error::backtrace available on stable Rust compilers 1.65+ (#​293, thanks @​LukasKalbertodt)

v1.0.76

Compare Source

• Opt in to unsafe_op_in_unsafe_fn lint (#​329)

v1.0.75

Compare Source

• Partially work around rust-analyzer bug (rust-lang/rust-analyzer#9911)

v1.0.74

Compare Source

• Add bootstrap workaround to allow rustc to depend on anyhow (#​320, thanks @​RalfJung)

v1.0.73

Compare Source

• Update backtrace support to nightly's new Error::provide API (rust-lang/rust#113464, #​319)

v1.0.72

Compare Source

• Documentation improvements

fatemender/boolector-sys (boolector-sys)

v0.7.2

Compare Source

This version fixes a build issue when using vendor-lgl. Thanks to @​yeggor for the contribution!

BurntSushi/byteorder (byteorder)

v1.5.0

Compare Source

bytesize-rs/bytesize (bytesize)

v2.1.0

Compare Source

• Support parsing and formatting exabytes (EB) & exbibytes (EiB).
• Migrate serde dependency to serde_core.

clap-rs/clap (clap)

v4.5.51

Compare Source

Fixes

• (help) Correctly calculate padding for short flags that take a value
• (help) Don't panic on short flags using ArgAction::Count

v4.5.50

Compare Source

Features

• Accept Cow where String and &str are accepted

v4.5.49

Compare Source

Fixes

• (help) Correctly wrap when ANSI escape codes are present

v4.5.48

Compare Source

Documentation

• Add a new CLI Concepts document as another way of framing clap
• Expand the typed_derive cookbook entry

v4.5.47

Compare Source

Features

• Added impl FromArgMatches for ()
• Added impl Args for ()
• Added impl Subcommand for ()
• Added impl FromArgMatches for Infallible
• Added impl Subcommand for Infallible

Fixes

• (derive) Update runtime error text to match clap

v4.5.46

Compare Source

Features

• Expose StyledStr::push_str

v4.5.45

Compare Source

Fixes

• (unstable-v5) ValueEnum variants now use the full doc comment, not summary, for PossibleValue::help

v4.5.44

Compare Source

Features

• Add Command::mut_subcommands

v4.5.43

Compare Source

Fixes

• (help) In long help, list Possible Values before defaults, rather than after, for a more consistent look

v4.5.42

Compare Source

Fixes

• Include subcommand visible long aliases in --help

v4.5.41

Compare Source

Features

• Add Styles::context and Styles::context_value to customize the styling of [default: value] like notes in the --help

v4.5.40

Compare Source

Features

• Support quoted ids in arg!() macro (e.g. arg!("check-config": ...))

v4.5.39

Compare Source

Fixes

• (help) Show short flag aliases before long
• (help) Merge the short and long flag alias lists

v4.5.38

Compare Source

Fixes

• (help) When showing aliases, include leading -- or -

v4.5.37

Compare Source

Features

• Added ArgMatches::try_clear_id()

v4.5.36

Compare Source

Fixes

• (help) Revert 4.5.35's "Don't leave space for shorts if there are none" for now

v4.5.35

Compare Source

Fixes

• (help) Align positionals and flags when put in the same help_heading
• (help) Don't leave space for shorts if there are none

v4.5.34

Compare Source

Fixes

• (help) Don't add extra blank lines with flatten_help(true) and subcommands without arguments

v4.5.33

Compare Source

Fixes

• (error) When showing the usage of a suggestion for an unknown argument, don't show the group

v4.5.32

Compare Source

Features

• Add Error::remove

Documentation

• (cookbook) Switch from humantime to jiff
• (tutorial) Better cover required vs optional

Internal

• Update pulldown-cmark

v4.5.31

Compare Source

Features

• Add ValueParserFactory for Saturating<T>

v4.5.30

Compare Source

Fixes

• (assert) Allow num_args(0..=1) to be used with SetTrue
• (assert) Clean up rendering of takes_values assertions

v4.5.29

Compare Source

Fixes

• Change ArgMatches::args_present so not-present flags are considered not-present (matching the documentation)

v4.5.28

Compare Source

Features

• (derive) Unstable support for full markdown syntax for doc comments, enabled with unstable-markdown

v4.5.27

Compare Source

Documentation

• Iterate on tutorials and reference based on feedback

v4.5.26

Compare Source

Fixes

• (error) Reduce binary size with the suggestions feature

v4.5.25

Compare Source

Fixes

• (help) Reduce binary size

v4.5.24

Compare Source

Fixes

• (parser) Correctly handle defaults with ignore_errors(true) and when a suggestion is provided for an unknown argument

v4.5.23

Compare Source

Fixes

• (parser) When check allow_negative_numbers, allow E again

v4.5.22

Compare Source

Fixes

• (assert) Catch bugs with arguments requiring themself

v4.5.21

Compare Source

Fixes

• (parser) Ensure defaults are filled in on error with ignore_errors(true)

v4.5.20

Compare Source

Features

• (unstable) Add CommandExt

v4.5.19

Compare Source

Internal

• Update dependencies

v4.5.18

Compare Source

Features

• (builder) Expose Arg::get_display_order and Command::get_display_order

v4.5.17

Compare Source

Fixes

• (help) Style required argument groups
• (derive) Improve error messages when unsupported fields are used

v4.5.16

Compare Source

Fixes

• (derive) Improve error messages when derive feature is missing

v4.5.15

Compare Source

Compatiblity

• (unstable-ext) Arg::remove changed return types

Fixes

• (unstable-ext) Make Arg::remove return the removed item

v4.5.14

Compare Source

Features

• (unstable-ext) Added Arg::add for attaching arbitrary state, like completion hints, to Arg without Arg knowing about it

v4.5.13

Compare Source

Fixes

• (derive) Improve error message when #[flatten]ing an optional #[group(skip)]
• (help) Properly wrap long subcommand descriptions in help

v4.5.12

Compare Source

v4.5.11

Compare Source

v4.5.10

Compare Source

v4.5.9

Compare Source

Fixes

• (error) When defining a custom help flag, be sure to suggest it like we do the built-in one

v4.5.8

Compare Source

Fixes

• Reduce extra flushes

v4.5.7

Compare Source

Fixes

• Clean up error message when too few arguments for num_args

v4.5.6

Compare Source

v4.5.5

Compare Source

Fixes

• (help) Correctly calculate padding for short flags that take a value
• (help) Don't panic on short flags using ArgAction::Count

v4.5.4

Compare Source

Fixes

• (help) Correctly wrap when ANSI escape codes are present

v4.5.3

Compare Source

Fixes

• (help) Show short flag aliases before long
• (help) Merge the short and long flag alias lists

v4.5.2

Compare Source

Fixes

• Change ArgMatches::args_present so not-present flags are considered not-present (matching the documentation)

v4.5.1

Compare Source

Internal

• Update dependencies

v4.5.0

Compare Source

Compatibility

• Update MSRV to 1.74

v4.4.18

Compare Source

Fixes

• (error) When lacking usage feature, ensure the list of required arguments is unique

v4.4.17

Compare Source

Fixes

• Fix panic! when mixing args_conflicts_with_subcommands with ArgGroup (which is implicit with derive) introduced in 4.4.15

v4.4.16

Compare Source

Fixes

• Ensure invalid escape sequences in user-defined strings are correctly stripped when terminal doesn't support color

v4.4.15

Compare Source

Fixes

• Improve error for args_conflicts_with_subcommands
• Ensure we error for args_conflicts_with_subcommands when using subcommand short and long flags

v4.4.14

Compare Source

Documentation

• Fix find cookbook entry to allow repeats of flags/options

Features

• Allow num_args(0) on options which allows making them emulate being a flag for position-tracking flags

v4.4.13

Compare Source

Documentation

• Fix link to structopt migration guide

v4.4.12

Compare Source

Performance

• Only ask TypedValueParser for possible values if needed

v4.4.11

Compare Source

Features

• Add Command::mut_group

v4.4.10

Compare Source

Documentation

• Link out to changelog
• Cross link derive's attribute reference to derive tutorial

v4.4.9

Compare Source

Fixes

• (help) Show correct Command::about under flattened headings
• (help) Respect hide when flattening subcommands

v4.4.8

Compare Source

Features

• Add Command::flatten_help to allow git stash -h like help for subcommands

v4.4.7

Compare Source

Performance

• Reduced code size

v4.4.6

Compare Source

Internal

• Upgrade anstream

v4.4.5

Compare Source

Fixes

• (parser) When inferring subcommand name or long_flag, allow ambiguous-looking matches that unambiguously map back to the same command
• (parser) When inferring subcommand long_flag, don't panic
• (assert) Clarify what action is causing a positional that doesn't set values which is especially useful for derive users

v4.4.4

Compare Source

Internal

• Update terminal_size to 0.3

v4.4.3

Compare Source

Documentation

• (derive) Clarify use of attributes within the tutorial
• Split sections in the builder and derive tutorials into separate modules

v4.4.2

Compare Source

Performance

• Improve build times by removing once_cell dependency

v4.4.1

Compare Source

Fixes

• (error) When lacking usage feature, ensure the list of required arguments is unique

v4.4.0

Compare Source

compatibility

• update msrv to 1.70.0

v4.3.24

Compare Source

Fixes

• Ensure column padding is preserved in --help with custom templates

v4.3.23

Compare Source

Fixes

• Fixed UnknownArgumentValueParser to not error on flag's absence

v4.3.22

Compare Source

Features

• Add UnknownArgumentValueParser for injecting errors for improving the experience with errors

v4.3.21

Compare Source

Features

• Expose TryMapValueParser so the type can be named

v4.3.20

Compare Source

Features

• Command::mut_args for modifying all arguments en masse

v4.3.19

Compare Source

Fixes

• (parse) Respect value_terminator even in the presence of later multiple-value positional arguments

v4.3.18

Compare Source

Fixes

• (parse) Suggest -- in fewer places where it won't work

v4.3.17

Compare Source

Fixes

• (help) Address a regression in wrapping PossibleValue descriptions in --help

v4.3.16

Compare Source

Fixes

• Don't assert when stateful value parsers fail on defaults (e.g. checking if a path exists)

v4.3.15

Compare Source

Features

• (unstable-styles) Re-export anstyle

Documentation

• (unstable-styles) Provide more examples

v4.3.14

Compare Source

Features

• ArgAction::HelpShort and ArgAction::HelpLong for explicitly specifying which style of help to display

Fixes

• Skip [OPTIONS] in usage if a help or version ArgAction is used

v4.3.13

Compare Source

v4.3.12

Compare Source

Fixes

• (derive) Don't error on enum variant field attributes

v4.3.11

Compare Source

Features

• (derive) Support fields wrapped in num::Wrapping, Box, or Arc
• (derive) Support Box<str>, Box<OsStr>, and Box<Path>

v4.3.10

Compare Source

Performance

• Drop a dependency, reducing binary size by 1.3 KiB

v4.3.9

Compare Source

Fixes

• Command::ignore_errors no longer masks help/version

v4.3.8

Compare Source

Fixes

• Error on ambiguity with infer_long_arg, rather than arbitrarily picking one, matching the documentation and subcommand's behavior

v4.3.7

Compare Source

Documentation

• Further clarify magic behavior in derive tutorial
• Further clarify derive API's relationship to builder within the tutorial

v4.3.6

Compare Source

Documentation

• Suggest clio

v4.3.5

Compare Source

• ColorChoice::possible_values is added to simplify things for builder users

Fixes

• ColorChoice::to_possible_value no longer includes descriptions, encouraging shorter help where possible

v4.3.4

Compare Source

Features

• Add Error::exit_code

emilk/egui (eframe)

v0.33.0

Compare Source

⭐ Added

• Add an option to limit the repaint rate in the web runner #​7482 by @​s-nie
• Add rotation gesture support for trackpad sources #​7453 by @​thatcomputerguy0101
• Add support for the safe area on iOS #​7578 by @​irh

🔧 Changed

• Replace winapi with windows-sys crate #​7416 by @​unlimitedsola
• Prevent default action on command-comma in eframe web #​7547 by @​emilk
• Warn if DYLD_LIBRARY_PATH is set and we find no wgpu adapter #​7572 by @​emilk
• Update MSRV from 1.86 to 1.88 #​7579 by @​Wumpf

🐛 Fixed

• Properly end winit event loop #​7565 by @​tye-exe
• Fix eframe window not being focused on mac on startup #​7593 by @​emilk
• Fix black flash on start in glow eframe backend #​7616 by @​lucasmerlin

v0.32.3

Compare Source

Nothing new

v0.32.2

Compare Source

Nothing new

v0.32.1

Compare Source

• Enable wgpu default features in eframe / egui_wgpu default features #​7344 by @​lucasmerlin
• Request a redraw when the url change through the popstate event listener #​7403 by @​irevoire

v0.32.0

Compare Source

⭐ Added

• Add pointer events and focus handling for apps run in a Shadow DOM #​5627 by @​xxvvii
• MacOS: Add movable_by_window_background option to viewport #​5412 by @​jim-ec
• Add macOS-specific has_shadow and with_has_shadow to ViewportBuilder #​6850 by @​gaelanmcmillan
• Add external eventloop support #​6750 by @​wpbrown

🔧 Changed

• Update MSRV to 1.85 #​7279 by @​emilk
• Use Rust edition 2024 #​7280 by @​emilk
• Rename should_propagate_event and add should_prevent_default #​5779 by @​th0rex
• Clarify platform-specific details for Viewport positioning #​5715 by @​aspiringLich
• Enhance stability on Windows #​5723 by @​rustbasic
• Set web-sys min version to 0.3.73 #​5862 by @​wareya
• Bump ron to 0.10.1 #​6861 by @​torokati44
• Disallow accesskit on Android NativeActivity, making hello_android working again #​6855 by @​podusowski
• Respect and detect prefers-color-scheme: no-preference #​7293 by @​emilk

🐛 Fixed

• Mark all keys as up if the app loses focus #​5743 by @​emilk
• Fix text input on Android #​5759 by @​StratusFearMe21
• Fix text distortion on mobile devices/browsers with glow backend #​6893 by @​wareya
• Workaround libpng crash on macOS by not creating NSImage from png data #​7252 by @​Wumpf
• Fix incorrect window sizes for non-resizable windows on Wayland #​7103 by @​GoldsteinE
• Web: only consume copy/cut events if the canvas has focus #​7270 by @​emilk

v0.31.1

Compare Source

Nothing new

v0.31.0

Compare Source

• Web: Fix incorrect scale when moving to screen with new DPI #​5631 by @​emilk
• Re-enable IME support on Linux #​5198 by @​YgorSouza
• Serialize window maximized state in WindowSettings #​5554 by @​landaire
• Save state on suspend on Android and iOS #​5601 by @​Pandicon
• Eframe web: forward cmd-S/O to egui app (stop default browser action) #​5655 by @​emilk

v0.30.0

Compare Source

NOTE: you now need to enable the wayland or x11 features to get Linux support, including getting it to work on most CI systems.

⭐ Added

• Support ViewportCommand::Screenshot on web #​5438 by @​lucasmerlin

🔧 Changed

• Android support #​5318 by @​parasyte
• Update MSRV to 1.80 #​5457 by @​emilk
• Use profiling crate to support more profiler backends #​5150 by @​teddemunnik
• Update glow to 0.16 #​5395 by @​sagudev
• Forward x11 and wayland features to glutin #​5391 by @​e00E

🐛 Fixed

• iOS: Support putting UI next to the dynamic island #​5211 by @​frederik-uni
• Prevent panic when copying text outside of a secure context #​5326 by @​YgorSouza
• Fix accidental change of FallbackEgl to PreferEgl #​5408 by @​e00E

v0.29.1

Compare Source

• Linux: Disable IME to fix backspace/arrow keys #​5188 by @​emilk

v0.29.0

Compare Source

✨ Highlights

• Upgrade winit to 0.30 (#​4849 #​4939)
• Fix virtual keyboard on (mobile) web (#​4848 #​4855)

🧳 Migration

• WebRunner::start now expects a HtmlCanvasElement rather than the id of it (#​4780)
• NativeOptions::follow_system_theme and default_theme is gone, and is now in egui::Options instead (#​4860 by @​bash)

⭐ Added

• Conditionally propagate web events using a filter in WebOptions #​5056 by @​liamrosenfeld

🔧 Changed

• Pass HtmlCanvasElement element directly in WebRunner::start #​4780 by @​jprochazk
• Upgrade winit to 0.30.2 #​4849 #​4939 by @​ArthurBrussee
• Allow non-static eframe::App lifetime #​5060 by @​timstr
• Improve glow context switching #​4814 by @​rustbasic
• Ignore viewport size/position on iOS #​4922 by @​frederik-uni
• Update web-sys & wasm-bindgen #​4980 by @​bircni
• Remove the need for setting web_sys_unstable_apis #​5000 by @​emilk
• Remove the directories dependency #​4904 by @​YgorSouza

🐛 Fixed

• Fix: call save when hiding web tab, and update when focusing it #​5114 by @​emilk
• Force canvas/text input focus on touch for iOS web browsers #​4848 by @​BKSalman
• Fix virtual keyboard on (mobile) web #​4855 by @​micmonay
• Fix: Backspace not working after IME input #​4912 by @​rustbasic
• Fix iOS build, and add iOS step to CI #​4898 by @​lucasmerlin
• Fix iOS compilation of eframe #​4851 by @​ardocrat
• Fix crash when changing viewport settings #​4862 by @​pm100
• Fix eframe centering on multiple monitor systems #​4919 by @​VinTarZ
• Fix viewport not working when minimized #​5042 by @​rustbasic
• Clarified eframe::run_simple_native() persistence #​4846 by @​tpstevens

v0.28.1

Compare Source

• Web: only capture clicks/touches when actually over canvas #​4775 by @​lucasmerlin

v0.28.0

Compare Source

✨ Highlights

The eframe web canvas now works properly when its a small part of a larger web page.
Previously this caused a lot of weird bugs, such as the eframe canvas stealing focus, and resizing the canvas in annoying ways.
Now it should all work seamlessly to have an eframe canvas as part of a web page, including having multiple different eframe apps next to each other.
As part of that the eframe canvas can now be focused (or not), just like an <input> HTML element.

We've also implemented a better method for sizing and positioning the canvas so that it yields pixel-perfect rendering on all known browsers except for Desktop Safari.
What this means is that text is much less likely to be blurry on web for users (#​4536 by @​jprochazk).

⭐ Added

• Add register_native_texture in eframe::Frame #​4246 by @​Chaojimengnan
• Add NativeOptions::persistence_path #​4423 by @​lucasmerlin
• Make sure to call raw_input_hook on web #​4646 by @​owen-d

🔧 Changed

• Early-out from context switching the glow backend #​4284, #​4296 by @​emilk
• Allow users to create viewports larger than monitor on Windows & macOS #​4337 by @​lopo12123
• Use objc2 and its framework crates #​4395 by @​madsmtm
• Emit physical key presses when a non-Latin layout is active #​4461 by @​TicClick
• Clamp window size to monitor size by default on all platforms #​4410 by @​rustbasic
• Ignore synthetic key presses #​4514 by @​hut
• Use ResizeObserver instead of resize event #​4536 by @​jprochazk
• Make pinch-to-zoom more responsive on web #​4621 by @​emilk
• Move first request_animation_frame into resize observer #​4628 by @​jprochazk
• Replace directories-next dependency with directories #​4661 by @​crumblingstatue
• eframe::Result

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.