2021-01-29 |
bors | Auto merge of #1670 - unseddd:abi, r=RalfJung |
blob | commitdiff | raw |
2021-01-28 |
bors | Auto merge of #1686 - thomcc:cmpxchg_weak, r=oli-obk |
blob | commitdiff | raw |
2021-01-26 |
Thom Chiovoloni | Allow configuring the failure rate with -Zmiri-compare... |
blob | commitdiff | raw |
2021-01-26 |
Thom Chiovoloni | Fail 80% of the time on weak cmpxchg, not 50% |
blob | commitdiff | raw | diff to current |
2021-01-26 |
Thom Chiovoloni | Add random failures to compare_exchange_weak |
blob | commitdiff | raw | diff to current |
2021-01-15 |
bors | Auto merge of #1673 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-01-15 |
Ralf Jung | rustup; make tests pass again |
blob | commitdiff | raw | diff to current |
2020-12-13 |
bors | Auto merge of #1644 - JCTyblaidd:detect_race_with_alloc... |
blob | commitdiff | raw | diff to current |
2020-12-13 |
JCTyblaidd | Tidy new_allocation |
blob | commitdiff | raw | diff to current |
2020-12-13 |
JCTyblaidd | Rework to work with machine hook. |
blob | commitdiff | raw | diff to current |
2020-12-13 |
JCTyblaidd | Update src/data_race.rs |
blob | commitdiff | raw | diff to current |
2020-12-13 |
JCTyBlaidd | Fix review changes |
blob | commitdiff | raw | diff to current |
2020-12-13 |
JCTyBlaidd | Fix bug with reporting wrong thread for races with... |
blob | commitdiff | raw | diff to current |
2020-12-13 |
JCTyblaidd | Fix nits |
blob | commitdiff | raw | diff to current |
2020-12-13 |
JCTyBlaidd | Remove old FIXME |
blob | commitdiff | raw | diff to current |
2020-12-13 |
JCTyBlaidd | More tests, fix issue 1643 and detect races with alloca... |
blob | commitdiff | raw | diff to current |
2020-12-06 |
bors | Auto merge of #1641 - JCTyblaidd:update_release_sequenc... |
blob | commitdiff | raw | diff to current |
2020-12-06 |
JCTyblaidd | Fix caps |
blob | commitdiff | raw | diff to current |
2020-12-06 |
JCTyBlaidd | Update release sequence handling to C++20 semantics. |
blob | commitdiff | raw | diff to current |
2020-11-29 |
bors | Auto merge of #1617 - JCTyblaidd:data_race_detector... |
blob | commitdiff | raw | diff to current |
2020-11-29 |
Ralf Jung | fix some typos |
blob | commitdiff | raw | diff to current |
2020-11-28 |
JCTyBlaidd | Fix typos - looked into the papers handling of timestam... |
blob | commitdiff | raw | diff to current |
2020-11-27 |
JCTyBlaidd | Apply review changes, incrementing the clocks twice... |
blob | commitdiff | raw | diff to current |
2020-11-15 |
JCTyBlaidd | Run rustfmt on vector_clock.rs and data_race.rs |
blob | commitdiff | raw | diff to current |
2020-11-15 |
JCTyBlaidd | Add comment regarding seq-cst ordering & add test for... |
blob | commitdiff | raw | diff to current |
2020-11-15 |
JCTyBlaidd | Tidy up comments and function layout, should fix most... |
blob | commitdiff | raw | diff to current |
2020-11-06 |
JCTyBlaidd | More aggressive vector index re-use, and added some... |
blob | commitdiff | raw | diff to current |
2020-11-05 |
JCTyBlaidd | Move to use of thread termination hook for vector re... |
blob | commitdiff | raw | diff to current |
2020-11-05 |
JCTyBlaidd | Split out vector_clock to separate file, general tidy... |
blob | commitdiff | raw | diff to current |
2020-11-04 |
JCTyBlaidd | Detect races between atomic and non-atomic accesses... |
blob | commitdiff | raw | diff to current |
2020-11-02 |
JCTyBlaidd | Add newlines at end of file + use replace. |
blob | commitdiff | raw | diff to current |
2020-11-02 |
JCTyBlaidd | Fix & rebase |
blob | commitdiff | raw | diff to current |
2020-11-02 |
JCTyBlaidd | Add tests, and fix bug in atomic RMW relaxed stores |
blob | commitdiff | raw | diff to current |
2020-11-02 |
JCTyBlaidd | Initial data-race detector, |
blob | commitdiff | raw | diff to current |
|