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

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

2022-06-06	Andy Wang	Destroy store buffers on non-racy non-atomic accesses	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Differentiate between not multithreading and temp disabling...	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Add rust-only operation tests	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Move transmute into a separate function	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Update src/concurrency/weak_memory.rs	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Spelling, punctuation and grammar	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Replace yield_now() with spin loop hint	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Amend experimental thread support warnings	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Put the initialisation value into the store buffer	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Rename variables in AllocationMap	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Throw UB on imperfectly overlapping access	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Remove incorrect comment	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Move buffered functions into their own ext trait	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Move data_race and weak_memory into a submodule	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Reduce the number of runs in consistency tests	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Refactor store buffer search conditions	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Add tests showing weak memory behaviours	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Improve privacy and comments	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Update README	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Add more top-level comments	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Move cpp20_rwc_syncs into compile-fail	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Disable weak memory emulation on scheduler-dependent...	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Move type definitions together and clarify fetch_store...	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Add -Zmiri-disable-weak-memory-emulation to README	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Add imperfectly overlapping test	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Use a new AllocationMap to store store buffers in the...	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Clearer boundries between alloc metadata with multiple...	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Comment out and provide context to C++20 test	commit \| commitdiff \| tree
2022-06-06	Andy Wang	set_at_index sets the default value (0) if index doesn...	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Implement weak memory emulation	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Add test cases	commit \| commitdiff \| tree
2022-06-06	Andy Wang	Add weak memory config option	commit \| commitdiff \| tree
2022-05-13	Andy Wang	Move and rename offset_and_layout_to_place to deref_operand_...	commit \| commitdiff \| tree
2022-05-12	Andy Wang	Inline _create() calls and add assertions	commit \| commitdiff \| tree
2022-05-12	Andy Wang	Refactor to hide *_next_id functions	commit \| commitdiff \| tree
2022-05-11	Andy Wang	Use proper atomic rmw for {mutex, rwlock, cond, srwlock...	commit \| commitdiff \| tree
2021-05-12	Andy Wang	Update rust commit sha	commit \| commitdiff \| tree
2021-05-12	Andy Wang	Prefer remapped filename in backtrace to match rustc...	commit \| commitdiff \| tree

Empowering everyone to build reliable and efficient software.

RSS Atom