Vytautas Astrauskas aef4c95599 Fix the problem of sending pointed to thread local statics. Add a regression test.		2020-04-27 14:23:32 -07:00
..
bin	make sure we do not discard information on the Ok exit side	2020-04-25 11:16:03 +02:00
shims	Add a warning that Miri does not check for data-races.	2020-04-27 14:23:32 -07:00
diagnostics.rs	Review comments	2020-04-26 22:13:36 -05:00
eval.rs	Implement basic support for concurrency (Linux only).	2020-04-27 14:23:32 -07:00
helpers.rs	Move the stack to the evaluator to make Miri compile with the newest Rustc.	2020-04-20 09:19:37 +02:00
intptrcast.rs	Move the stack to the evaluator to make Miri compile with the newest Rustc.	2020-04-20 09:19:37 +02:00
lib.rs	Implement basic support for concurrency (Linux only).	2020-04-27 14:23:32 -07:00
machine.rs	Fix the problem of sending pointed to thread local statics. Add a regression test.	2020-04-27 14:23:32 -07:00
mono_hash_map.rs	avoid ref in matches	2020-04-12 10:08:12 +02:00
operator.rs	rustup for import changes	2020-04-03 00:05:35 +02:00
range_map.rs	rustup for import changes	2020-04-03 00:05:35 +02:00
stacked_borrows.rs	Stacked Borrows: alignment does not matter	2020-04-22 23:32:19 +02:00
threads.rs	Update to support the updated API.	2020-04-27 14:23:32 -07:00