2020-12-31 |
bors | Auto merge of #1663 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-12-31 |
Ralf Jung | test Weak into_raw/from_raw on dangling ptrs |
tree | commitdiff |
2020-12-30 |
bors | Auto merge of #1662 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-12-30 |
Ralf Jung | panicing now works with -Zmiri-track-raw-pointers |
tree | commitdiff |
2020-12-29 |
bors | Auto merge of #1659 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-12-29 |
Ralf Jung | rustup; add an interesting alias test case |
tree | commitdiff |
2020-12-21 |
bors | Auto merge of #1656 - RalfJung:tests, r=RalfJung |
tree | commitdiff |
2020-12-21 |
Ralf Jung | leak checker: also test AtomicPtr stored via 'swap' |
tree | commitdiff |
2020-12-13 |
bors | Auto merge of #1644 - JCTyblaidd:detect_race_with_alloc... |
tree | commitdiff |
2020-12-13 |
JCTyBlaidd | Fix review changes |
tree | commitdiff |
2020-12-13 |
JCTyBlaidd | Change to disable mir-opt in compile-flags |
tree | commitdiff |
2020-12-13 |
JCTyBlaidd | Disable tests in windows |
tree | commitdiff |
2020-12-13 |
JCTyBlaidd | Defeat the mir-opt=3 optimizer. |
tree | commitdiff |
2020-12-13 |
JCTyBlaidd | Update note |
tree | commitdiff |
2020-12-13 |
JCTyBlaidd | Fix bug with reporting wrong thread for races with... |
tree | commitdiff |
2020-12-13 |
JCTyBlaidd | Add concurrent caller location test |
tree | commitdiff |
2020-12-13 |
JCTyblaidd | Fix nits |
tree | commitdiff |
2020-12-13 |
JCTyBlaidd | Increase sleep times for the scheduler |
tree | commitdiff |
2020-12-13 |
JCTyBlaidd | More tests, fix issue 1643 and detect races with alloca... |
tree | commitdiff |
2020-12-11 |
bors | Auto merge of #1648 - RalfJung:windows-track-raw, r... |
tree | commitdiff |
2020-12-11 |
Ralf Jung | enable track-raw-ptr tests on Windows |
tree | commitdiff |
2020-12-10 |
bors | Auto merge of #1646 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-12-10 |
Ralf Jung | rustup |
tree | commitdiff |
2020-12-10 |
bors | Auto merge of #1645 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-12-09 |
Ralf Jung | rustup; test AtomicPtr leak checker |
tree | commitdiff |
2020-12-06 |
bors | Auto merge of #1641 - JCTyblaidd:update_release_sequenc... |
tree | commitdiff |
2020-12-06 |
JCTyBlaidd | Fix typo |
tree | commitdiff |
2020-12-06 |
JCTyBlaidd | Update release sequence handling to C++20 semantics. |
tree | commitdiff |
2020-12-05 |
bors | Auto merge of #1640 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2020-12-05 |
bors | Auto merge of #1639 - m-ou-se:allocator, r=RalfJung |
tree | commitdiff |
2020-12-04 |
Mara Bos | Use new std::alloc::Allocator interface. |
tree | commitdiff |
2020-11-29 |
bors | Auto merge of #1617 - JCTyblaidd:data_race_detector... |
tree | commitdiff |
2020-11-27 |
JCTyBlaidd | Apply review changes, incrementing the clocks twice... |
tree | commitdiff |
2020-11-22 |
JCTyBlaidd | Fix review changes |
tree | commitdiff |
2020-11-22 |
bors | Auto merge of #1633 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-11-22 |
Ralf Jung | rustup; test sorting for provenance-correctness |
tree | commitdiff |
2020-11-19 |
bors | Auto merge of #1630 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-11-19 |
est31 | Normalize column numbers |
tree | commitdiff |
2020-11-15 |
JCTyBlaidd | Add comment regarding seq-cst ordering & add test for... |
tree | commitdiff |
2020-11-15 |
JCTyBlaidd | Tidy up comments and function layout, should fix most... |
tree | commitdiff |
2020-11-12 |
bors | Auto merge of #1624 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-11-12 |
Ralf Jung | rustup; less strict timing tests |
tree | commitdiff |
2020-11-10 |
bors | Auto merge of #1621 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-11-10 |
Ralf Jung | test btreemap with raw ptr tracking |
tree | commitdiff |
2020-11-10 |
Ralf Jung | remove some unnecessary feature flags |
tree | commitdiff |
2020-11-10 |
Ralf Jung | rustup and update test |
tree | commitdiff |
2020-11-07 |
bors | Auto merge of #1612 - camelid:patch-1, r=RalfJung |
tree | commitdiff |
2020-11-06 |
JCTyBlaidd | More aggressive vector index re-use, and added some... |
tree | commitdiff |
2020-11-05 |
bors | Auto merge of #1619 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-11-05 |
Ralf Jung | rustup |
tree | commitdiff |
2020-11-04 |
JCTyBlaidd | Detect races between atomic and non-atomic accesses... |
tree | commitdiff |
2020-11-03 |
bors | Auto merge of #1614 - RalfJung:raw-retag, r=RalfJung |
tree | commitdiff |
2020-11-02 |
JCTyBlaidd | Add newlines at end of file + use replace. |
tree | commitdiff |
2020-11-02 |
JCTyBlaidd | Mark all new tests as disabled on windows |
tree | commitdiff |
2020-11-02 |
JCTyBlaidd | Add tests, and fix bug in atomic RMW relaxed stores |
tree | commitdiff |
2020-10-31 |
Ralf Jung | test Rc with raw pointer tracking |
tree | commitdiff |
2020-10-31 |
Ralf Jung | fix writing to read-only raw pointer in thread-local... |
tree | commitdiff |
2020-10-31 |
Ralf Jung | Stacked Borrows: test raw-ref-to-field with raw ptr... |
tree | commitdiff |
2020-10-31 |
bors | Auto merge of #1613 - RalfJung:test-normalize, r=RalfJung |
tree | commitdiff |
2020-10-31 |
Ralf Jung | backtrace tests: support more ways of checking out... |
tree | commitdiff |
2020-10-30 |
bors | Auto merge of #1611 - RalfJung:timing-tests, r=RalfJung |
tree | commitdiff |
2020-10-30 |
Ralf Jung | increase timeout to avoid spurious test failures |
tree | commitdiff |
2020-10-29 |
bors | Auto merge of #1607 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-10-29 |
Ralf Jung | rustup |
tree | commitdiff |
2020-10-28 |
bors | Auto merge of #1606 - RalfJung:trophy, r=oli-obk |
tree | commitdiff |
2020-10-28 |
bors | Auto merge of #1603 - RalfJung:track-raw, r=oli-obk |
tree | commitdiff |
2020-10-28 |
Ralf Jung | test raw pointer tracking; we cannot track raw pointers... |
tree | commitdiff |
2020-10-28 |
bors | Auto merge of #1604 - RalfJung:std-debug-assert, r... |
tree | commitdiff |
2020-10-28 |
Ralf Jung | disable debug assertions in the standard library |
tree | commitdiff |
2020-10-28 |
Ralf Jung | run some tests with raw pointer tracking |
tree | commitdiff |
2020-10-27 |
bors | Auto merge of #1602 - RalfJung:box, r=RalfJung |
tree | commitdiff |
2020-10-27 |
Ralf Jung | test Box::into_raw aliasing |
tree | commitdiff |
2020-10-25 |
bors | Auto merge of #1600 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-10-25 |
Ralf Jung | rustup; make panic output less dependent on stdlib... |
tree | commitdiff |
2020-10-22 |
bors | Auto merge of #1593 - rust-lang:test, r=RalfJung |
tree | commitdiff |
2020-10-22 |
Ralf Jung | fix './miri test' |
tree | commitdiff |
2020-10-22 |
bors | Auto merge of #1592 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-10-22 |
Ralf Jung | rustup; increase slack for timing tests |
tree | commitdiff |
2020-10-22 |
bors | Auto merge of #1590 - RalfJung:trophy, r=RalfJung |
tree | commitdiff |
2020-10-21 |
bors | Auto merge of #1589 - Aaron1011:enable-normal-backtrace... |
tree | commitdiff |
2020-10-20 |
Aaron Hill | Enable `backtrace` feature in the generated `Xargo... |
tree | commitdiff |
2020-10-18 |
bors | Auto merge of #1586 - RalfJung:available-concurrency... |
tree | commitdiff |
2020-10-18 |
Ralf Jung | test new available_concurrency function |
tree | commitdiff |
2020-10-18 |
bors | Auto merge of #1584 - Aaron1011:test/std-backtrace... |
tree | commitdiff |
2020-10-17 |
Aaron Hill | Test std::backtrace::Backtrace |
tree | commitdiff |
2020-10-17 |
bors | Auto merge of #1585 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-10-17 |
Ralf Jung | rustup; the bad compile times for the float test are... |
tree | commitdiff |
2020-10-11 |
bors | Auto merge of #1581 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2020-10-11 |
bors | Auto merge of #1580 - Aaron1011:feature/backtrace-fn... |
tree | commitdiff |
2020-10-11 |
bors | Auto merge of #1571 - lzutao:actions, r=RalfJung |
tree | commitdiff |
2020-10-10 |
Aaron Hill | Add an `fn_ptr` field to `MiriFrame` |
tree | commitdiff |
2020-10-07 |
bors | Auto merge of #1550 - RalfJung:vecdeque, r=RalfJung |
tree | commitdiff |
2020-10-07 |
Ralf Jung | test VecDeque::iter_mut aliasing |
tree | commitdiff |
2020-10-06 |
bors | Auto merge of #1575 - Aaron1011:fix/macro-backtrace... |
tree | commitdiff |
2020-10-05 |
Aaron Hill | Use macro callsite spans in backtrace |
tree | commitdiff |
2020-10-04 |
bors | Auto merge of #1564 - Aaron1011:readlink, r=RalfJung |
tree | commitdiff |
2020-10-04 |
Aaron Hill | Normalize MIRI_TEMP before using it |
tree | commitdiff |
2020-10-04 |
bors | Auto merge of #1572 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-10-04 |
Ralf Jung | rustup; test NaN conversion issue |
tree | commitdiff |
2020-10-04 |
Aaron Hill | Swap order of assertions for easier debugging |
tree | commitdiff |
next |