rust/src/tools/miri/genmc-sys, branch lcnr/rustc-dev-guide https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=lcnr/rustc-dev-guide 2025-07-28T08:50:02+00:00 Reduce required cc crate version. 2025-07-28T08:50:02+00:00 Patrick-6 pamu99@gmx.ch 2025-07-28T08:50:02+00:00 urn:sha1:ecb046a63e94301463b8a5291d7ef9776c06aadc various minor adjustments 2025-07-27T14:37:49+00:00 Ralf Jung post@ralfj.de 2025-07-27T14:34:42+00:00 urn:sha1:87b8cb06c793620f1f66291200aea1b9bd8c3d89 Add support for building and linking against genmc 2025-07-27T14:37:14+00:00 Patrick-6 pamu99@gmx.ch 2025-03-14T08:58:46+00:00 urn:sha1:41259050afa0a2e66d739594a27b638266706074