5 Commits

Author	SHA1	Message	Date
Andy Wang	5ddd4eff03	Spelling, punctuation and grammar ... Co-authored-by: Ralf Jung <post@ralfj.de>	2022-06-06 19:15:56 +01:00
Andy Wang	31c01415cb	Replace yield_now() with spin loop hint	2022-06-06 19:15:55 +01:00
Andy Wang	92145373c3	Put the initialisation value into the store buffer	2022-06-06 19:15:55 +01:00
Andy Wang	13e3465346	Reduce the number of runs in consistency tests	2022-06-06 19:15:25 +01:00
Andy Wang	7d874db213	Add tests showing weak memory behaviours	2022-06-06 19:15:25 +01:00