Skip to content

Conversation

@msullivan
Copy link
Contributor

No description provided.

@msullivan msullivan closed this Jun 10, 2011
Aaron1011 pushed a commit to Aaron1011/rust that referenced this pull request Oct 26, 2020
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this pull request Mar 7, 2023
celinval pushed a commit to celinval/rust-dev that referenced this pull request Jun 4, 2024
* Draft of initial RMC documentation

* revisions in response to feedback
GuillaumeGomez pushed a commit to GuillaumeGomez/rust that referenced this pull request Jul 10, 2024
tautschnig referenced this pull request in model-checking/verify-rust-std Jun 17, 2025
0xllx0 pushed a commit to 0xllx0/rust that referenced this pull request Sep 30, 2025
This is an automated PR to merge library subtree updates from 2025-08-18
(rust-lang/rust@425a9c0) to 2025-08-19
(rust-lang/rust@9eb4a26), inclusive.
This is a clean merge, no conflicts were detected. **Do not remove or
edit the following annotations:**
git-subtree-dir: library
git-subtree-split: b4e28fd

---------

Signed-off-by: Ayush Singh <ayush@beagleboard.org>
Signed-off-by: Jonathan Brouwer <jonathantbrouwer@gmail.com>
Signed-off-by: Sacha Ayoun <sachaayoun@gmail.com>
Signed-off-by: Eval EXEC <execvy@gmail.com>
Signed-off-by: Jens Reidel <adrian@travitia.xyz>
Co-authored-by: Scott McMurray <scottmcm@users.noreply.github.com>
Co-authored-by: github-actions <github-actions@github.com>
Co-authored-by: Trevor Gross <tmgross@umich.edu>
Co-authored-by: Jacob Pratt <jacob@jhpratt.dev>
Co-authored-by: quaternic <57393910+quaternic@users.noreply.github.com>
Co-authored-by: Madhav Madhusoodanan <madhavmadhusoodanan@gmail.com>
Co-authored-by: Ralf Jung <post@ralfj.de>
Co-authored-by: Folkert de Vries <folkert@folkertdev.nl>
Co-authored-by: bors <bors@rust-lang.org>
Co-authored-by: Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com>
Co-authored-by: xonx <119700621+xonx4l@users.noreply.github.com>
Co-authored-by: Yosh <github@yosh.is>
Co-authored-by: usamoi <usamoi@outlook.com>
Co-authored-by: joboet <jonasboettiger@icloud.com>
Co-authored-by: Stuart Cook <Zalathar@users.noreply.github.com>
Co-authored-by: gewitternacht <60887951+gewitternacht@users.noreply.github.com>
Co-authored-by: Jakub Beránek <berykubik@gmail.com>
Co-authored-by: Connor Tsui <connor.tsui20@gmail.com>
Co-authored-by: Aandreba <aandreba@gmail.com>
Co-authored-by: Lucas Werkmeister <mail@lucaswerkmeister.de>
Co-authored-by: WANG Rui <wangrui@loongson.cn>
Co-authored-by: Orson Peters <orsonpeters@gmail.com>
Co-authored-by: Balt <59123926+balt-dev@users.noreply.github.com>
Co-authored-by: Nurzhan Sakén <nurzhan.sakenov@gmail.com>
Co-authored-by: Tsukasa OI <floss_rust@irq.a4lg.com>
Co-authored-by: Guillaume Gomez <guillaume1.gomez@gmail.com>
Co-authored-by: Samuel Tardieu <sam@rfc1149.net>
Co-authored-by: Evgenii Zheltonozhskii <zheltonozhskiy@gmail.com>
Co-authored-by: Nico Lehmann <nico.lehmannm@gmail.com>
Co-authored-by: stifskere <esteve@memw.es>
Co-authored-by: Christopher Hotchkiss <christopher.hotchkiss@gmail.com>
Co-authored-by: Folkert de Vries <flokkievids@gmail.com>
Co-authored-by: Kivooeo <Kivooeo123@gmail.com>
Co-authored-by: Ayush Singh <ayush@beagleboard.org>
Co-authored-by: Jonathan Brouwer <jonathantbrouwer@gmail.com>
Co-authored-by: Ross MacArthur <ross@macarthur.io>
Co-authored-by: Paul Murphy <murp@redhat.com>
Co-authored-by: Michael Tautschnig <tautschn@amazon.com>
Co-authored-by: Chai T. Rex <ChaiTRex@users.noreply.github.com>
Co-authored-by: okaneco <47607823+okaneco@users.noreply.github.com>
Co-authored-by: The 8472 <git@infinite-source.de>
Co-authored-by: Josh Triplett <josh@joshtriplett.org>
Co-authored-by: Eric Huss <eric@huss.org>
Co-authored-by: Boxy <rust@boxyuwu.dev>
Co-authored-by: LorrensP-2158466 <lorrens.pantelis@student.uhasselt.be>
Co-authored-by: Karl Meakin <karl.meakin@arm.com>
Co-authored-by: Ivan Enderlin <ivan@mnt.io>
Co-authored-by: Ulrich Stark <github@ustark.de>
Co-authored-by: Shoyu Vanilla <modulo641@gmail.com>
Co-authored-by: Trevor Gross <t.gross35@gmail.com>
Co-authored-by: Roger Curley <rocurley@gmail.com>
Co-authored-by: Spxg <unsafe@outlook.es>
Co-authored-by: Chris Denton <chris@chrisdenton.dev>
Co-authored-by: Ada Alakbarova <ada.alakbarova@proton.me>
Co-authored-by: ltdk <usr@ltdk.xyz>
Co-authored-by: Esteban Küber <esteban@kuber.com.ar>
Co-authored-by: SabrinaJewson <sejewson@gmail.com>
Co-authored-by: Ed Page <eopage@gmail.com>
Co-authored-by: Ada Alakbarova <58857108+ada4a@users.noreply.github.com>
Co-authored-by: Mara Bos <m-ou.se@m-ou.se>
Co-authored-by: Sacha Ayoun <sachaayoun@gmail.com>
Co-authored-by: Tim (Theemathas) Chirananthavat <theemathas@gmail.com>
Co-authored-by: Eval EXEC <execvy@gmail.com>
Co-authored-by: sayantn <sayantn05@gmail.com>
Co-authored-by: Nicholas Nethercote <n.nethercote@gmail.com>
Co-authored-by: Marcelo Domínguez <dmmarcelo27@gmail.com>
Co-authored-by: Jens Reidel <adrian@travitia.xyz>
Co-authored-by: Alan Urmancheev <108410815+alurm@users.noreply.github.com>
Co-authored-by: gitbot <git@bot>
calebzulawski added a commit to calebzulawski/rust that referenced this pull request Jan 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant