Ben Kimock

I hacked up https://github.com/saethlin/crater-at-home a bit to set the target to aarch64-unknown-linux-gnu and here's a thousand crates (hosted for now in my dev bucket): https://miri-bot-dev.s3.amazonaws.com/aarch64-1000.tar.xz Missing LLVM intrinsics look like:...

Baseline aarch64 does not have the aes feature, but I think here https://github.com/rust-lang/rust/issues/93889#issuecomment-1172693546 @workingjubilee says that M1 is `target-cpu=apple-a14`. I'll try that, it has the `aes` feature.

This issue is pretty old, but every few months someone on the community Discord will point out some dodgy code in rustc and everyone will clamor that we should run...

With this in my `config.toml`: ``` extended = true tools = ["cargo", "clippy", "rustfmt", "src", "miri"] ``` I ran this to build rustc: ``` RUSTFLAGS_NOT_BOOTSTRAP x build --stage 2 ```...

> We do have flags to forward or exclude specific env vars, and I am already wondering if that was a mistake... Maybe this is a separate issue, but has...

We should discuss user-provided shims in another issue. What _we_ provide, with isolation on, should be totally deterministic and correct. So `/dev/null` is a candidate because you can't observe the...

Yeah, the isolation-compatible clock enables running a lot of code that we couldn't before, and code that would reliably change between runs due to the different times pulled from the...

For example, I can imagine a test suite where the author is sure that some file always has some specific contents. Unfortunately we writing the interpreter aren't sure of that...

Do you have an example program or test suite that you want to make work with isolation on? I can do some dirty hacking pretty quickly if I know what...

I am not very interested in canned examples, my general goal is to empower people to use Miri on existing code with as little modifications as possible. If you can...