| 2022-02-23 |
bors | Auto merge of #1982 - saethlin:trophies, r=oli-obk |
blob | commitdiff | raw |
| 2022-02-23 |
Ben Kimock | Add crossbeam-epoch and integer-encoding to the trophy... |
blob | commitdiff | raw |
| 2022-02-22 |
bors | Auto merge of #1978 - RalfJung:simd_eq, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2022-02-21 |
bors | Auto merge of #1979 - RalfJung:trophy, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2022-02-21 |
Ralf Jung | another for the trophy case |
blob | commitdiff | raw | diff to current |
| 2021-12-23 |
bors | Auto merge of #1949 - RalfJung:miri-lib-src, r=oli-obk |
blob | commitdiff | raw | diff to current |
| 2021-12-23 |
Ralf Jung | add and document MIRI_LIB_SRC env var to set the source... |
blob | commitdiff | raw | diff to current |
| 2021-12-19 |
bors | Auto merge of #1944 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2021-12-19 |
bors | Auto merge of #1943 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2021-12-19 |
Ralf Jung | readme: be more explicit about the toolchain |
blob | commitdiff | raw | diff to current |
| 2021-11-17 |
bors | Auto merge of #1911 - RalfJung:rename-track-tag, r... |
blob | commitdiff | raw | diff to current |
| 2021-11-13 |
Ralf Jung | rename track-raw-pointers flag to tag-raw-pointers |
blob | commitdiff | raw | diff to current |
| 2021-11-10 |
bors | Auto merge of #1904 - camelid:uninit-num, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2021-11-10 |
Noah Lev | Add docs for `-Zmiri-check-number-validity` |
blob | commitdiff | raw | diff to current |
| 2021-10-12 |
bors | Auto merge of #1898 - Kixunil:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2021-10-12 |
Martin Habovštiak | Remove vague statement from README |
blob | commitdiff | raw | diff to current |
| 2021-10-12 |
Martin Habovštiak | Typo fixes |
blob | commitdiff | raw | diff to current |
| 2021-10-09 |
Martin Habovštiak | Document threading support a bit more |
blob | commitdiff | raw | diff to current |
| 2021-07-27 |
bors | Auto merge of #1858 - RalfJung:thread-leaks, r=oli-obk |
blob | commitdiff | raw | diff to current |
| 2021-07-25 |
Ralf Jung | also ignore 'thread leaks' with -Zmiri-ignore-leaks |
blob | commitdiff | raw | diff to current |
| 2021-06-09 |
bors | Auto merge of #1830 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 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 |
| next |
projects / rust.git / history