Khyber Sen

It has now been rebased to `master` after merging #683 and #691 to fix #613. It works locally without race conditions after running it 100s of times. Let's see if...

CI seems to work fine, so I'll merge this now.

I think this should be re-considered, as `0 as *const T` and `null()` are no longer equivalent under strict provenance. We should prefer `null()` and `null_mut()` where possible to avoid...

This is a different issue from #561, because that's for using `#if __has_include` directly, and I'm still not sure if it's reproducible. This is with system headers. So I've unlinked...

I was only able to reproduce this once after running it a bunch of times, but after a `rm -rf instrument.target`, it works again, and I haven't been able to...

Now I'm able to reproduce it. I think I may have just been not waiting long enough. The error, I think, is because `lighttpd` builds two crates, `rust` (a `staticlib`)...

Do you know if there's a way to `write` all bytes or 0 bytes? I can split up writes into smaller chunks.

I moved the installation stuff to `scripts/provision_cross_tests.sh`, which I only run in `scripts/provision_deb.sh` now. If installs all the same stuff as before, but since it's not installed at use-site, it...

Removed any dependencies on `zig cc` and `cargo-zigbuild` now. It now just uses the `gcc-${c_target}` `apt` packages for cross-compiling. It does this by generating a `.cargo/config.toml` for every cross-compiling test....

https://github.com/immunant/c2rust/issues/433 is now fixed by https://github.com/immunant/c2rust/pull/441, so that's down to 1/2 issues blocking the `tests/asm.aarch64` test from working.