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
|
69fb6413dd
|
Tidy up comments and function layout, should fix most of the review notes.
|
2020-11-15 18:30:26 +00:00 |
|
JCTyBlaidd
|
ed32b260f9
|
Add tests, and fix bug in atomic RMW relaxed stores
|
2020-11-02 02:57:06 +00:00 |
|
Aaron Hill
|
05bb560de2
|
Enable backtrace feature in the generated Xargo.toml
This allows the normal std panic hook to print a backtrace if
`RUST_BACKTRACE=1` and `-Z miri-disable-isolation` are set
|
2020-10-20 18:27:55 -04:00 |
|
David Cook
|
da2f268443
|
Review comments
|
2020-08-31 19:32:14 -05:00 |
|
David Cook
|
3ba7f46058
|
Move panic payload state from Machine to Thread
|
2020-08-29 21:38:37 -05:00 |
|