2021-01-23 |
Ralf Jung | macos: support aarch64 link names |
commit | commitdiff | tree | snapshot |
2021-01-23 |
Ralf Jung | implement aarch64 hint 'intrinsic' |
commit | commitdiff | tree | snapshot |
2021-01-23 |
Corey Farwell | Test aarch64-apple-darwin |
commit | commitdiff | tree | snapshot |
2021-01-22 |
Corey Farwell | Add shim for libc::sysconf(libc::_SC_NPROCESSORS_CONF) |
commit | commitdiff | tree | snapshot |
2021-01-22 |
bors | Auto merge of #1682 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-01-22 |
Ralf Jung | rustup; test swap of element with itself |
commit | commitdiff | tree | snapshot |
2021-01-18 |
bors | Auto merge of #1681 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-01-18 |
Ralf Jung | rustup; remove some intrinsics that are gone or moved... |
commit | commitdiff | tree | snapshot |
2021-01-17 |
bors | Auto merge of #1680 - LeSeulArtichaut:polite-bot, r... |
commit | commitdiff | tree | snapshot |
2021-01-17 |
LeSeulArtichaut | Teach the miri cronjobs to speak politely |
commit | commitdiff | tree | snapshot |
2021-01-17 |
bors | Auto merge of #1679 - hyd-dev:min-const-generics, r... |
commit | commitdiff | tree | snapshot |
2021-01-17 |
hyd-dev | Remove `#![feature(const_generics)]` and `#![allow... |
commit | commitdiff | tree | snapshot |
2021-01-16 |
bors | Auto merge of #1678 - RalfJung:features, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-01-16 |
Ralf Jung | remove some unnecessary feature gates |
commit | commitdiff | tree | snapshot |
2021-01-16 |
bors | Auto merge of #1676 - RalfJung:zulip, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-01-16 |
Ralf Jung | undo cronjob deliberate failure |
commit | commitdiff | tree | snapshot |
2021-01-15 |
bors | Auto merge of #1673 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-01-15 |
Ralf Jung | rustup; make tests pass again |
commit | commitdiff | tree | snapshot |
2021-01-15 |
bors | Auto merge of #1672 - RalfJung:zulip, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-01-15 |
Ralf Jung | add Zulip site information |
commit | commitdiff | tree | snapshot |
2021-01-11 |
bors | Auto merge of #1669 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-01-11 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-01-11 |
bors | Auto merge of #1668 - RalfJung:zulip, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-01-11 |
Ralf Jung | fix zulip-send path |
commit | commitdiff | tree | snapshot |
2021-01-10 |
bors | Auto merge of #1667 - RalfJung:cron-fail-notification... |
commit | commitdiff | tree | snapshot |
2021-01-10 |
Ralf Jung | send Zulip notification when cron job fails |
commit | commitdiff | tree | snapshot |
2020-12-31 |
bors | Auto merge of #1663 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-12-31 |
Ralf Jung | test Weak into_raw/from_raw on dangling ptrs |
commit | commitdiff | tree | snapshot |
2020-12-30 |
bors | Auto merge of #1662 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-12-30 |
Ralf Jung | panicing now works with -Zmiri-track-raw-pointers |
commit | commitdiff | tree | snapshot |
2020-12-29 |
bors | Auto merge of #1659 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-12-29 |
Ralf Jung | rustup; add an interesting alias test case |
commit | commitdiff | tree | snapshot |
2020-12-22 |
bors | Auto merge of #1658 - RalfJung:forget, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-12-22 |
Ralf Jung | remove intrinsic that is now implemented in the rustc... |
commit | commitdiff | tree | snapshot |
2020-12-21 |
bors | Auto merge of #1657 - RalfJung:zulip, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-12-21 |
Ralf Jung | link to our shiny new Zulip stream |
commit | commitdiff | tree | snapshot |
2020-12-21 |
bors | Auto merge of #1656 - RalfJung:tests, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-12-21 |
Ralf Jung | test test suite harness with raw-ptr tracking |
commit | commitdiff | tree | snapshot |
2020-12-21 |
Ralf Jung | leak checker: also test AtomicPtr stored via 'swap' |
commit | commitdiff | tree | snapshot |
2020-12-21 |
Ralf Jung | rename test ref files for proper names |
commit | commitdiff | tree | snapshot |
2020-12-21 |
bors | Auto merge of #1655 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-12-21 |
Ralf Jung | rustup + cargo-miri 'cargo update' |
commit | commitdiff | tree | snapshot |
2020-12-17 |
bors | Auto merge of #1652 - RalfJung:update, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-12-17 |
Ralf Jung | rustup + cargo update |
commit | commitdiff | tree | snapshot |
2020-12-13 |
bors | Auto merge of #1644 - JCTyblaidd:detect_race_with_alloc... |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyblaidd | Tidy new_allocation |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyblaidd | Update rust version |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyblaidd | Rework to work with machine hook. |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyblaidd | Update src/data_race.rs |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyBlaidd | Fix review changes |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyBlaidd | Change to disable mir-opt in compile-flags |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyBlaidd | Disable tests in windows |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyBlaidd | Defeat the mir-opt=3 optimizer. |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyBlaidd | Update note |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyBlaidd | Fix bug with reporting wrong thread for races with... |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyBlaidd | Add concurrent caller location test |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyblaidd | Fix nits |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyBlaidd | Increase sleep times for the scheduler |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyBlaidd | Remove old FIXME |
commit | commitdiff | tree | snapshot |
2020-12-13 |
JCTyBlaidd | More tests, fix issue 1643 and detect races with alloca... |
commit | commitdiff | tree | snapshot |
2020-12-11 |
bors | Auto merge of #1648 - RalfJung:windows-track-raw, r... |
commit | commitdiff | tree | snapshot |
2020-12-11 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-12-11 |
Ralf Jung | enable track-raw-ptr tests on Windows |
commit | commitdiff | tree | snapshot |
2020-12-10 |
bors | Auto merge of #1646 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-12-10 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-12-10 |
bors | Auto merge of #1645 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-12-09 |
Ralf Jung | rustup; test AtomicPtr leak checker |
commit | commitdiff | tree | snapshot |
2020-12-07 |
bors | Auto merge of #1642 - jonahwilliams:patch-1, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-12-07 |
Jonah Williams | Fix README.md typo "extend" -> "extent" |
commit | commitdiff | tree | snapshot |
2020-12-06 |
bors | Auto merge of #1641 - JCTyblaidd:update_release_sequenc... |
commit | commitdiff | tree | snapshot |
2020-12-06 |
JCTyblaidd | Fix caps |
commit | commitdiff | tree | snapshot |
2020-12-06 |
JCTyBlaidd | Fix typo |
commit | commitdiff | tree | snapshot |
2020-12-06 |
JCTyBlaidd | Update release sequence handling to C++20 semantics. |
commit | commitdiff | tree | snapshot |
2020-12-05 |
bors | Auto merge of #1640 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-12-05 |
Ralf Jung | readme: mention data races, and mention cross-interpret... |
commit | commitdiff | tree | snapshot |
2020-12-05 |
bors | Auto merge of #1639 - m-ou-se:allocator, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-12-04 |
Mara Bos | Use new std::alloc::Allocator interface. |
commit | commitdiff | tree | snapshot |
2020-11-30 |
bors | Auto merge of #1636 - RalfJung:rustup, r=oli-obk |
commit | commitdiff | tree | snapshot |
2020-11-30 |
bors | Auto merge of #1635 - RalfJung:readme, r=oli-obk |
commit | commitdiff | tree | snapshot |
2020-11-29 |
Ralf Jung | remove miri-rustc-tests |
commit | commitdiff | tree | snapshot |
2020-11-29 |
Ralf Jung | update README |
commit | commitdiff | tree | snapshot |
2020-11-29 |
bors | Auto merge of #1617 - JCTyblaidd:data_race_detector... |
commit | commitdiff | tree | snapshot |
2020-11-29 |
Ralf Jung | fix some typos |
commit | commitdiff | tree | snapshot |
2020-11-28 |
JCTyBlaidd | Fix typos - looked into the papers handling of timestam... |
commit | commitdiff | tree | snapshot |
2020-11-27 |
JCTyBlaidd | Apply review changes, incrementing the clocks twice... |
commit | commitdiff | tree | snapshot |
2020-11-22 |
JCTyBlaidd | Fix review changes |
commit | commitdiff | tree | snapshot |
2020-11-22 |
bors | Auto merge of #1633 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-11-22 |
Ralf Jung | rustup; test sorting for provenance-correctness |
commit | commitdiff | tree | snapshot |
2020-11-20 |
bors | Auto merge of #1632 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-11-20 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-11-19 |
bors | Auto merge of #1630 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-11-19 |
Ralf Jung | avoid fallback logic (and we do not need the flag value... |
commit | commitdiff | tree | snapshot |
2020-11-19 |
Mara Bos | Make weak syscalls in std work. |
commit | commitdiff | tree | snapshot |
2020-11-19 |
est31 | Normalize column numbers |
commit | commitdiff | tree | snapshot |
2020-11-19 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-11-15 |
JCTyBlaidd | Run rustfmt on vector_clock.rs and data_race.rs |
commit | commitdiff | tree | snapshot |
2020-11-15 |
JCTyBlaidd | Add comment regarding seq-cst ordering & add test for... |
commit | commitdiff | tree | snapshot |
2020-11-15 |
JCTyBlaidd | Convert extra benchmark program into cfg option. |
commit | commitdiff | tree | snapshot |
2020-11-15 |
JCTyBlaidd | Tidy up comments and function layout, should fix most... |
commit | commitdiff | tree | snapshot |
2020-11-12 |
bors | Auto merge of #1624 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
next |