You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
To fix #2144 I removed the limit to stack growth during unwinding. Always having a limit in place is a very nice safeguard though. Perhaps we could just double the limit during unwinding.
The text was updated successfully, but these errors were encountered:
different strategy for normalizing Rust stdlib path
`-Zremap-cwd-prefix` has some [unintended side-effects](rust-lang/miri#2172), so we could use regexp-based normalization instead. Unfortunately, this will fail if the user's home directory contains a space.
Fixesrust-lang/miri#2172
celinval
added a commit
to celinval/rust-dev
that referenced
this issue
Jun 4, 2024
We no longer need to bundle the kani libraries for the legacy linker since its no longer supported.
This won't affect the std script which is the last place we still use the legacy reachability mode
Kobzol
pushed a commit
to Kobzol/rust
that referenced
this issue
Dec 30, 2024
To fix #2144 I removed the limit to stack growth during unwinding. Always having a limit in place is a very nice safeguard though. Perhaps we could just double the limit during unwinding.
The text was updated successfully, but these errors were encountered: