2021-01-30 |
Oli Scherer | Update README.md |
blob | commitdiff | raw |
2021-01-28 |
Oli Scherer | Document -Zmiri-compare-exchange-weak-failure-rate |
blob | commitdiff | raw | diff to current |
2021-01-24 |
bors | Auto merge of #1675 - hyd-dev:proc-macro-unit-test... |
blob | commitdiff | raw | diff to current |
2021-01-24 |
bors | Auto merge of #1685 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-01-24 |
Ralf Jung | add -Zmiri-disable-data-race-detector to readme |
blob | commitdiff | raw | diff to current |
2021-01-23 |
bors | Auto merge of #1683 - frewsxcv:frewsxcv-nprocessors... |
blob | commitdiff | raw | diff to current |
2021-01-23 |
bors | Auto merge of #1684 - RalfJung:env, r=oli-obk |
blob | commitdiff | raw | diff to current |
2021-01-23 |
Ralf Jung | expand README |
blob | commitdiff | raw | diff to current |
2020-12-22 |
bors | Auto merge of #1658 - RalfJung:forget, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-12-21 |
bors | Auto merge of #1657 - RalfJung:zulip, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-12-21 |
Ralf Jung | link to our shiny new Zulip stream |
blob | commitdiff | raw | diff to current |
2020-12-11 |
bors | Auto merge of #1648 - RalfJung:windows-track-raw, r... |
blob | commitdiff | raw | diff to current |
2020-12-11 |
Ralf Jung | enable track-raw-ptr tests on Windows |
blob | commitdiff | raw | diff to current |
2020-12-07 |
bors | Auto merge of #1642 - jonahwilliams:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-12-07 |
Jonah Williams | Fix README.md typo "extend" -> "extent" |
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-05 |
bors | Auto merge of #1640 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-12-05 |
Ralf Jung | readme: mention data races, and mention cross-interpret... |
blob | commitdiff | raw | diff to current |
2020-11-30 |
bors | Auto merge of #1636 - RalfJung:rustup, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-11-30 |
bors | Auto merge of #1635 - RalfJung:readme, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-11-29 |
Ralf Jung | update README |
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-07 |
bors | Auto merge of #1612 - camelid:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-11-03 |
bors | Auto merge of #1614 - RalfJung:raw-retag, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-31 |
Ralf Jung | fix trophy case URL |
blob | commitdiff | raw | diff to current |
2020-10-29 |
bors | Auto merge of #1609 - camelid:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-29 |
Camelid | Fix link in README |
blob | commitdiff | raw | diff to current |
2020-10-28 |
bors | Auto merge of #1606 - RalfJung:trophy, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-10-28 |
bors | Auto merge of #1603 - RalfJung:track-raw, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-10-28 |
Ralf Jung | update trophy case |
blob | commitdiff | raw | diff to current |
2020-10-28 |
bors | Auto merge of #1604 - RalfJung:std-debug-assert, r... |
blob | commitdiff | raw | diff to current |
2020-10-28 |
Ralf Jung | expand flag docs |
blob | commitdiff | raw | diff to current |
2020-10-28 |
bors | Auto merge of #1605 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-28 |
Ralf Jung | remove outdated CI badges |
blob | commitdiff | raw | diff to current |
2020-10-28 |
Ralf Jung | add an option to track raw pointer tags in Stacked... |
blob | commitdiff | raw | diff to current |
2020-10-24 |
bors | Auto merge of #1598 - camelid:hide-readlink-error,... |
blob | commitdiff | raw | diff to current |
2020-10-24 |
bors | Auto merge of #1596 - camelid:fix-readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-23 |
Camelid | Fix README |
blob | commitdiff | raw | diff to current |
2020-10-22 |
bors | Auto merge of #1592 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-22 |
bors | Auto merge of #1590 - RalfJung:trophy, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-21 |
Ralf Jung | another TiKV bug for the trophy case :) |
blob | commitdiff | raw | diff to current |
2020-10-21 |
bors | Auto merge of #1589 - Aaron1011:enable-normal-backtrace... |
blob | commitdiff | raw | diff to current |
2020-10-20 |
Aaron Hill | Enable `backtrace` feature in the generated `Xargo... |
blob | commitdiff | raw | diff to current |
2020-10-11 |
bors | Auto merge of #1581 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-11 |
bors | Auto merge of #1580 - Aaron1011:feature/backtrace-fn... |
blob | commitdiff | raw | diff to current |
2020-10-11 |
Ralf Jung | Improve wording |
blob | commitdiff | raw | diff to current |
2020-10-11 |
bors | Auto merge of #1571 - lzutao:actions, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-11 |
Lzu Tao | Add a working github actions template |
blob | commitdiff | raw | diff to current |
2020-10-11 |
Ralf Jung | README: make our cross-interpretation feature stand... |
blob | commitdiff | raw | diff to current |
2020-10-10 |
Aaron Hill | Add an `fn_ptr` field to `MiriFrame` |
blob | commitdiff | raw | diff to current |
2020-10-09 |
bors | Auto merge of #1579 - lygstate:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-09 |
Yonggang Luo | Update README.md |
blob | commitdiff | raw | diff to current |
2020-10-04 |
bors | Auto merge of #1563 - lzutao:dummy-actions, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-09-28 |
bors | Auto merge of #1559 - Aaron1011:new-miri-backtrace... |
blob | commitdiff | raw | diff to current |
2020-09-28 |
Ralf Jung | fix typo |
blob | commitdiff | raw | diff to current |
2020-09-28 |
Aaron Hill | Require #[repr(C)] on MiriFrame |
blob | commitdiff | raw | diff to current |
2020-09-28 |
Aaron Hill | Update README |
blob | commitdiff | raw | diff to current |
2020-09-28 |
Aaron Hill | Use a 'flags' parameter instead of 'version' |
blob | commitdiff | raw | diff to current |
2020-09-28 |
Aaron Hill | Add API for capturing backtrace |
blob | commitdiff | raw | diff to current |
2020-09-19 |
bors | Auto merge of #1551 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-09-19 |
Ralf Jung | list two more aliasing problems we found in BTreeMap... |
blob | commitdiff | raw | diff to current |
2020-09-18 |
bors | Auto merge of #1549 - RalfJung:panic-abort, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-09-18 |
Ralf Jung | support panic=abort |
blob | commitdiff | raw | diff to current |
2020-09-17 |
bors | Auto merge of #1540 - RalfJung:cargo-miri-redone, r... |
blob | commitdiff | raw | diff to current |
2020-09-17 |
Ralf Jung | make sure subcrate tests have the right cwd |
blob | commitdiff | raw | diff to current |
2020-09-17 |
Ralf Jung | update docs, and also use MIRIFLAGS for the test suite |
blob | commitdiff | raw | diff to current |
2020-08-28 |
bors | Auto merge of #1525 - divergentdave:cargo-miri-targets... |
blob | commitdiff | raw | diff to current |
2020-08-27 |
bors | Auto merge of #1530 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-27 |
bors | Auto merge of #1528 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-27 |
Ralf Jung | add encoding_rs OOB arithmetic |
blob | commitdiff | raw | diff to current |
2020-08-22 |
bors | Auto merge of #1522 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-22 |
Ralf Jung | emphasize that some flags are unsound to use |
blob | commitdiff | raw | diff to current |
2020-08-17 |
bors | Auto merge of #1513 - RalfJung:int-align, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-17 |
Ralf Jung | tweak alignment check docs |
blob | commitdiff | raw | diff to current |
2020-08-16 |
Ralf Jung | document -Zmiri-symbolic-alignment-check |
blob | commitdiff | raw | diff to current |
2020-07-25 |
bors | Auto merge of #1485 - RalfJung:miri-extern-fn, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-23 |
Ralf Jung | document Miri extern functions |
blob | commitdiff | raw | diff to current |
2020-07-18 |
bors | Auto merge of #1436 - samrat:support-stdin-read, r... |
blob | commitdiff | raw | diff to current |
2020-07-15 |
bors | Auto merge of #1478 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Ralf Jung | make cfg(miri) greppable |
blob | commitdiff | raw | diff to current |
2020-07-03 |
bors | Auto merge of #1466 - RalfJung:target, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-07-02 |
bors | Auto merge of #1463 - RalfJung:track-call-id, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-02 |
Ralf Jung | add option to track call IDs |
blob | commitdiff | raw | diff to current |
2020-06-09 |
bors | Auto merge of #1418 - divergentdave:file-sync, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-06-08 |
bors | Auto merge of #1445 - JOE1994:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-06-08 |
Youngsuk Kim | Add a case to list of 'StackedBorrows violations' |
blob | commitdiff | raw | diff to current |
2020-05-31 |
bors | Auto merge of #1441 - RalfJung:sync-cleanup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-30 |
Ralf Jung | update unsupported example in README (now that threadin... |
blob | commitdiff | raw | diff to current |
2020-05-17 |
bors | Auto merge of #1415 - RalfJung:test-suite-filter, r... |
blob | commitdiff | raw | diff to current |
2020-05-17 |
Ralf Jung | add test suite filter example to README and 'cargo... |
blob | commitdiff | raw | diff to current |
2020-05-10 |
bors | Auto merge of #1408 - RalfJung:comments, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-10 |
Ralf Jung | fix some comments, and run_compiler return type |
blob | commitdiff | raw | diff to current |
2020-05-10 |
bors | Auto merge of #1406 - RalfJung:miri-as-rustc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-10 |
Ralf Jung | fix dead link in README |
blob | commitdiff | raw | diff to current |
2020-05-09 |
bors | Auto merge of #1405 - RalfJung:stage-0, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-09 |
Ralf Jung | Typo |
blob | commitdiff | raw | diff to current |
2020-05-09 |
Ralf Jung | make Miri work in rustc bootstrap stage 0 |
blob | commitdiff | raw | diff to current |
2020-05-07 |
bors | Auto merge of #1397 - brson:tikv-2, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-07 |
Ralf Jung | adjust wording |
blob | commitdiff | raw | diff to current |
2020-05-07 |
Brian Anderson | Add two more TiKV bugs to trophy case |
blob | commitdiff | raw | diff to current |
next |