nora

Results 207 comments of nora

needs a rebase and name change, then it's good

> In order to fix #1812 `nativeBuildInputs` can be changed to include `glibc.out glibc.static` (_in that order_) > > * ~additionally, `gcc_multi` can be removed~ Looks like it was used...

ok my perf is always broken somehow (???). I did remove `gcc_multi` because it's useless now (as mir opt tests now don't require C anymore) but the change I made...

moving it to `buildInputs` fixed the hangs. i do not want to know where they come from. but i will put it there, that seems more appropriate anyways.

saethlin very recently made this not required anymore, being able to bless without a C toolchain.

This should be fine to merge now. We could also mention this in `x setup` when it detects nix (which it already) can, but that's something for later.

Finished The MSRV is: 1.74.1

Maybe it would make sense to have a flag like `-Zmiri-diagnostic-exclude-crates` (or a better name) to mark these crates as non-local even if they are. But I'm not sure whether...

I think there is a need for a kind of miri-walkthrough that explains the most important flags and ways to use miri in a nice tutorial. I might take a...