2020-11-29 |
Ralf Jung | remove miri-rustc-tests |
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 |
2020-11-12 |
Ralf Jung | rustup; less strict timing tests |
commit | commitdiff | tree | snapshot |
2020-11-11 |
bors | Auto merge of #1623 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-11-11 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-11-10 |
bors | Auto merge of #1621 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-11-10 |
Ralf Jung | test btreemap with raw ptr tracking |
commit | commitdiff | tree | snapshot |
2020-11-10 |
Ralf Jung | remove some unnecessary feature flags |
commit | commitdiff | tree | snapshot |
2020-11-10 |
Ralf Jung | rustup and update test |
commit | commitdiff | tree | snapshot |
2020-11-07 |
bors | Auto merge of #1615 - jyn514:contributing-instructions... |
commit | commitdiff | tree | snapshot |
2020-11-07 |
Joshua Nelson | Improve contributing instructions |
commit | commitdiff | tree | snapshot |
2020-11-07 |
bors | Auto merge of #1612 - camelid:patch-1, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-11-07 |
Camelid | CONTRIBUTING.md: Update comment |
commit | commitdiff | tree | snapshot |
2020-11-07 |
bors | Auto merge of #1620 - RalfJung:overflow, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-11-07 |
Ralf Jung | enable overflow checks in the standard library |
commit | commitdiff | tree | snapshot |
2020-11-06 |
JCTyBlaidd | More aggressive vector index re-use, and added some... |
commit | commitdiff | tree | snapshot |
2020-11-05 |
bors | Auto merge of #1619 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-11-05 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-11-05 |
JCTyBlaidd | Move to use of thread termination hook for vector re... |
commit | commitdiff | tree | snapshot |
2020-11-05 |
JCTyBlaidd | Split out vector_clock to separate file, general tidy... |
commit | commitdiff | tree | snapshot |
2020-11-04 |
JCTyBlaidd | Detect races between atomic and non-atomic accesses... |
commit | commitdiff | tree | snapshot |
2020-11-03 |
bors | Auto merge of #1614 - RalfJung:raw-retag, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-11-03 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-11-02 |
JCTyBlaidd | Add newlines at end of file + use replace. |
commit | commitdiff | tree | snapshot |
2020-11-02 |
JCTyBlaidd | Mark all new tests as disabled on windows |
commit | commitdiff | tree | snapshot |
2020-11-02 |
JCTyBlaidd | Fix & rebase |
commit | commitdiff | tree | snapshot |
2020-11-02 |
JCTyBlaidd | Add tests, and fix bug in atomic RMW relaxed stores |
commit | commitdiff | tree | snapshot |
2020-11-02 |
JCTyBlaidd | Initial data-race detector, |
commit | commitdiff | tree | snapshot |
2020-10-31 |
Ralf Jung | fix trophy case URL |
commit | commitdiff | tree | snapshot |
2020-10-31 |
Ralf Jung | test Rc with raw pointer tracking |
commit | commitdiff | tree | snapshot |
2020-10-31 |
Ralf Jung | fix writing to read-only raw pointer in thread-local... |
commit | commitdiff | tree | snapshot |
2020-10-31 |
Ralf Jung | Stacked Borrows: test raw-ref-to-field with raw ptr... |
commit | commitdiff | tree | snapshot |
2020-10-31 |
bors | Auto merge of #1613 - RalfJung:test-normalize, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-31 |
Ralf Jung | backtrace tests: support more ways of checking out... |
commit | commitdiff | tree | snapshot |
2020-10-30 |
Camelid | CONTRIBUTING.md: Use `build --stage 1` instead of ... |
commit | commitdiff | tree | snapshot |
2020-10-30 |
bors | Auto merge of #1611 - RalfJung:timing-tests, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-30 |
Ralf Jung | increase timeout to avoid spurious test failures |
commit | commitdiff | tree | snapshot |
2020-10-30 |
bors | Auto merge of #1610 - camelid:patch-2, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-30 |
Camelid | Update locally-built rustc instructions |
commit | commitdiff | tree | snapshot |
2020-10-29 |
bors | Auto merge of #1609 - camelid:patch-1, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-29 |
Camelid | Fix link in README |
commit | commitdiff | tree | snapshot |
2020-10-29 |
bors | Auto merge of #1607 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-29 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-10-28 |
bors | Auto merge of #1606 - RalfJung:trophy, r=oli-obk |
commit | commitdiff | tree | snapshot |
2020-10-28 |
bors | Auto merge of #1603 - RalfJung:track-raw, r=oli-obk |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Ralf Jung | update trophy case |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Ralf Jung | test raw pointer tracking; we cannot track raw pointers... |
commit | commitdiff | tree | snapshot |
2020-10-28 |
bors | Auto merge of #1604 - RalfJung:std-debug-assert, r... |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Ralf Jung | expand flag docs |
commit | commitdiff | tree | snapshot |
2020-10-28 |
bors | Auto merge of #1605 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Ralf Jung | remove outdated CI badges |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Ralf Jung | disable debug assertions in the standard library |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Ralf Jung | run some tests with raw pointer tracking |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Ralf Jung | add an option to track raw pointer tags in Stacked... |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Ralf Jung | Stacked Borrows: print affected memory location on... |
commit | commitdiff | tree | snapshot |
2020-10-27 |
bors | Auto merge of #1602 - RalfJung:box, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Ralf Jung | test Box::into_raw aliasing |
commit | commitdiff | tree | snapshot |
2020-10-27 |
bors | Auto merge of #1601 - RalfJung:misc, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Ralf Jung | pointer tag tracking: also show when tag is being created |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Ralf Jung | Use bash to make sure &> works |
commit | commitdiff | tree | snapshot |
2020-10-25 |
bors | Auto merge of #1600 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-25 |
Ralf Jung | rustup; make panic output less dependent on stdlib... |
commit | commitdiff | tree | snapshot |
2020-10-24 |
bors | Auto merge of #1599 - camelid:default-args-const, r... |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Camelid | Make `miri_default_args()` a constant |
commit | commitdiff | tree | snapshot |
2020-10-24 |
bors | Auto merge of #1598 - camelid:hide-readlink-error,... |
commit | commitdiff | tree | snapshot |
2020-10-24 |
bors | Auto merge of #1596 - camelid:fix-readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-24 |
bors | Auto merge of #1594 - camelid:dont-force-install-xargo... |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Camelid | Hide readlink error in `./miri` |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Camelid | Fix README |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Camelid | Don't force-install xargo |
commit | commitdiff | tree | snapshot |
2020-10-22 |
bors | Auto merge of #1593 - rust-lang:test, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-22 |
Ralf Jung | fix './miri test' |
commit | commitdiff | tree | snapshot |
2020-10-22 |
bors | Auto merge of #1592 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-22 |
Ralf Jung | rustup; increase slack for timing tests |
commit | commitdiff | tree | snapshot |
2020-10-22 |
bors | Auto merge of #1590 - RalfJung:trophy, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-21 |
Ralf Jung | another TiKV bug for the trophy case :) |
commit | commitdiff | tree | snapshot |
2020-10-21 |
bors | Auto merge of #1589 - Aaron1011:enable-normal-backtrace... |
commit | commitdiff | tree | snapshot |
2020-10-20 |
Aaron Hill | Enable `backtrace` feature in the generated `Xargo... |
commit | commitdiff | tree | snapshot |
2020-10-20 |
bors | Auto merge of #1587 - lzutao:only-gha, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-20 |
Lzu Tao | build: Gate only on GHA: remove travis and appveyor... |
commit | commitdiff | tree | snapshot |
2020-10-18 |
bors | Auto merge of #1586 - RalfJung:available-concurrency... |
commit | commitdiff | tree | snapshot |
2020-10-18 |
Ralf Jung | test new available_concurrency function |
commit | commitdiff | tree | snapshot |
next |