git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

projects / rust.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 5238d17) | patch

author	Ralf Jung <post@ralfj.de>
	Sun, 27 Nov 2022 14:19:00 +0000 (15:19 +0100)
committer	Ralf Jung <post@ralfj.de>
	Mon, 28 Nov 2022 07:53:14 +0000 (08:53 +0100)
commit	af92b048555a8c3df2e58237e878dfe73bbc4ede
tree	246c646e30ef60e54c6edacd502e5aa025759645	tree \| snapshot
parent	5238d1779778097d0bcf3a9fc83bb4a37732cb3e	commit \| diff

move interpreter loop into thread manager; they are pretty tightly coupled anyway

src/tools/miri/src/concurrency/thread.rs		diff \| blob \| history
src/tools/miri/src/eval.rs		diff \| blob \| history
src/tools/miri/src/lib.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.