Kostis Andrikopoulos

Yeah I posted a comment and deleted it because it was wrong. It didn't occur to me that github sends an email for comments and it would seem weird. Sorry...

Maybe this script can be interactive. I imagine that after translating each message it can ask the user to verify the translation. Then the user could alter the translation if...

Could be unrelated but i got the same error message when (i think) i tried to to load viola while it was allready loaded. Is it possible that you are...

Wouldnt a [UNENCRYPTED] tag be desplayed in the beggining of the message though? Even so it may be the case that such an "attack" might be utilized in an obscure...

tl;dr: By passing the `--target` after the filename, the `target` field in the `Command:Run` variant is left empty, and `--target i686-unknown-linux-gnu` is included in the field `flags` of the same...

Yes I agree. I wanted to point out that as long as `--target` is passed before the non-flag arguments, it can appear in any order.

I would be interested in trying this. I would need to do some research first though. I haven't done anything similar before.

I finally found some time to work on this. Just by adding `RUSTFLAGS="-C instrument-coverage"` in the `./miri test` command: ``` [mandragore@archibald miri]$ git diff diff --git a/miri-script/src/util.rs b/miri-script/src/util.rs index f5a6a8188..45f587dfa...

I created this draft PR #3954 It requires that [cargo-binutils](https://crates.io/crates/cargo-binutils) is installed to generated the reports. It's so that we use the correct llvm version, compatible with what rustc is...

Would this be possible to do by storing the original address in memory with `pthread_mutex_t` and check if it has changed? Not sure how changing the miri layout of a...