3 Commits

Author	SHA1	Message	Date
JCTyBlaidd	296ba8b1c8	Fix bug with reporting wrong thread for races with reads & add thread ids to data-race tests	2020-12-13 11:04:58 +00:00
JCTyBlaidd	55fc552d99	Apply review changes, incrementing the clocks twice is an unnecessary hold-over from earlier versions so fixed.	2020-11-27 19:26:06 +00:00
JCTyBlaidd	2a40d9b7a0	More aggressive vector index re-use, and added some tests.	2020-11-06 17:29:54 +00:00