<feed xmlns='http://www.w3.org/2005/Atom'>
<title>rust/src/tools/miri/tests/fail/validity/dangling_ref1.rs, branch master</title>
<subtitle>https://github.com/rust-lang/rust
</subtitle>
<id>http://git.dreamy.place/mirrors/rust/atom?h=master</id>
<link rel='self' href='http://git.dreamy.place/mirrors/rust/atom?h=master'/>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/'/>
<updated>2025-08-23T22:03:54+00:00</updated>
<entry>
<title>Allow `integer_to_ptr_transmutes` in tests</title>
<updated>2025-08-23T22:03:54+00:00</updated>
<author>
<name>Urgau</name>
<email>urgau@numericable.fr</email>
</author>
<published>2025-07-27T11:41:10+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=3c664785c12a5b32b4489d0791cf8cc77fd1b3f6'/>
<id>urn:sha1:3c664785c12a5b32b4489d0791cf8cc77fd1b3f6</id>
<content type='text'>
</content>
</entry>
<entry>
<title>basic dyn* support for Miri</title>
<updated>2023-02-20T14:08:05+00:00</updated>
<author>
<name>Ralf Jung</name>
<email>post@ralfj.de</email>
</author>
<published>2023-02-06T15:00:54+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=b2f58146b98d8197256123457bd68b38bb88549c'/>
<id>urn:sha1:b2f58146b98d8197256123457bd68b38bb88549c</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'</title>
<updated>2022-09-21T15:36:26+00:00</updated>
<author>
<name>Oli Scherer</name>
<email>git-spam-no-reply9815368754983@oli-obk.de</email>
</author>
<published>2022-09-21T15:36:26+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=f45b570e08f0f4146e16e426842210f395e8284a'/>
<id>urn:sha1:f45b570e08f0f4146e16e426842210f395e8284a</id>
<content type='text'>
git-subtree-dir: src/tools/miri
git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131
git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573
</content>
</entry>
</feed>
