Andy Wang b6bcbf76fd Prevent futex_wait from reading outdated value		2022-06-11 20:45:45 +01:00
..
bin	make scheduler preemptive, with configurable preemption rate	2022-06-06 20:16:02 -04:00
concurrency	Auto merge of #2227 - RalfJung:doc, r=RalfJung	2022-06-11 15:50:11 +00:00
helpers	Replace as casts in llvm.x86.addcarry.64 implementation	2022-04-30 10:33:55 -07:00
shims	Prevent futex_wait from reading outdated value	2022-06-11 20:45:45 +01:00
stacked_borrows	rustup	2022-05-29 14:06:35 +02:00
diagnostics.rs	adjust for better provenance control	2022-06-06 11:43:25 -04:00
eval.rs	Add mandatory cargo_doc	2022-06-11 10:59:57 +02:00
helpers.rs	make frame_in_std check work with inlining	2022-06-10 20:25:58 -07:00
intptrcast.rs	enable number validity checking and ptr::invalid checking by default	2022-05-25 16:17:41 +02:00
lib.rs	Allow clippy::derive_hash_xor_eq	2022-06-08 18:43:12 +02:00
machine.rs	rustup	2022-06-08 12:10:54 -04:00
mono_hash_map.rs	some clippy-induced cleanup	2022-06-08 08:06:32 -04:00
operator.rs	rustup	2022-04-09 09:41:29 -04:00
range_map.rs	Resolve clippy::needless_return	2022-04-29 15:53:48 -07:00
stacked_borrows.rs	Add comment to explain manual optimization	2022-06-08 19:29:54 +02:00
sync.rs	Inline _create() calls and add assertions	2022-05-12 21:06:17 +01:00
thread.rs	make scheduler preemptive, with configurable preemption rate	2022-06-06 20:16:02 -04:00
vector_clock.rs	set_at_index sets the default value (0) if index doesn't exist in the other vector	2022-06-06 19:15:20 +01:00