2021-06-09 |
bors | Auto merge of #1830 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw |
2021-06-09 |
Ralf Jung | tweak isolation-error message in README |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1818 - landaire:feature/panic-on-unsuppo... |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1797 - atsmtat:env-isolation, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-09 |
Smit Soni | Add a support to execute isolated op without halting |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1827 - l4l:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-09 |
Kitsu | Specify miri toolchain for CI example |
blob | commitdiff | raw | diff to current |
2021-06-07 |
Lander Brandt | Add support for panicking in the emulated application... |
blob | commitdiff | raw | diff to current |
2021-06-03 |
bors | Auto merge of #1776 - hyd-dev:1170, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-31 |
hyd-dev | Move `-Zmiri-disable-abi-check` in README |
blob | commitdiff | raw | diff to current |
2021-05-31 |
hyd-dev | Add `-Zmiri-disable-abi-check` |
blob | commitdiff | raw | diff to current |
2021-05-30 |
bors | Auto merge of #1791 - Aaron1011:measureme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-29 |
Aaron Hill | Address review comments |
blob | commitdiff | raw | diff to current |
2021-05-29 |
Aaron Hill | Add `measureme` integration for profiling the interpret... |
blob | commitdiff | raw | diff to current |
2021-05-27 |
bors | Auto merge of #1817 - hyd-dev:doctest, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-27 |
bors | Auto merge of #1819 - scottmcm:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-27 |
scottmcm | Add `copy_within` to the SB trophy case |
blob | commitdiff | raw | diff to current |
2021-05-04 |
bors | Auto merge of #1788 - hyd-dev:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-04 |
bors | Auto merge of #1787 - DianaNites:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-04 |
Diana | Fix dead self-link |
blob | commitdiff | raw | diff to current |
2021-04-22 |
bors | Auto merge of #1769 - RalfJung:remove-compat, r=oli-obk |
blob | commitdiff | raw | diff to current |
2021-04-20 |
bors | Auto merge of #1778 - RalfJung:thread-local-const-init... |
blob | commitdiff | raw | diff to current |
2021-04-20 |
bors | Auto merge of #1779 - RalfJung:cargo-miri-xargo, r... |
blob | commitdiff | raw | diff to current |
2021-04-18 |
Ralf Jung | fix MIRI_BE_RUSTC value during sysroot build |
blob | commitdiff | raw | diff to current |
2021-04-10 |
bors | Auto merge of #1768 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-04-10 |
Ralf Jung | add the bad doctests we found to the trophy case |
blob | commitdiff | raw | diff to current |
2021-04-09 |
bors | Auto merge of #1764 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-04-09 |
Ralf Jung | fix typo in README |
blob | commitdiff | raw | diff to current |
2021-04-08 |
bors | Auto merge of #1761 - hyd-dev:build-rs-proc-macro-no... |
blob | commitdiff | raw | diff to current |
2021-04-08 |
hyd-dev | Don't use `MIRI_DEFAULT_ARGS` to compile host crates |
blob | commitdiff | raw | diff to current |
2021-04-07 |
bors | Auto merge of #1759 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-04-07 |
Ralf Jung | mention 'cargo miri test filter' in README |
blob | commitdiff | raw | diff to current |
2021-04-06 |
bors | Auto merge of #1757 - RalfJung:rustdoc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-04-05 |
Tristan Dannenberg | make cargo-miri run doc-tests |
blob | commitdiff | raw | diff to current |
2021-03-25 |
bors | Auto merge of #1748 - jrvanwhy:track-raw-pointers-doc... |
blob | commitdiff | raw | diff to current |
2021-03-24 |
Johnathan Van Why | README.md: Apply RalfJung's suggestion |
blob | commitdiff | raw | diff to current |
2021-03-22 |
Johnathan Van Why | `-Zmiri-track-raw-pointers` doc correction: it is not... |
blob | commitdiff | raw | diff to current |
2021-03-19 |
Johnathan Van Why | Improvements to the README item on `-Zmiri-track-raw... |
blob | commitdiff | raw | diff to current |
2021-01-31 |
bors | Auto merge of #1697 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-01-30 |
bors | Auto merge of #1693 - rust-lang:oli-obk-patch-1, r... |
blob | commitdiff | raw | diff to current |
2021-01-30 |
Oli Scherer | Update README.md |
blob | commitdiff | raw | diff to current |
2021-01-30 |
Oli Scherer | Update README.md |
blob | commitdiff | raw | diff to current |
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 |
next |