2021-05-16 |
Ralf Jung | format much of Miri |
commit | commitdiff | tree | snapshot |
2021-05-16 |
Ralf Jung | configure rustfmt; fmt cargo-miri |
commit | commitdiff | tree | snapshot |
2021-05-15 |
bors | Auto merge of #1799 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-05-15 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-05-15 |
bors | Auto merge of #1798 - RalfJung:nogit, r=oli-obk |
commit | commitdiff | tree | snapshot |
2021-05-15 |
Ralf Jung | support building Miri outside a git repo |
commit | commitdiff | tree | snapshot |
2021-05-12 |
bors | Auto merge of #1794 - cbeuw:83813, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-05-12 |
Andy Wang | Update rust commit sha |
commit | commitdiff | tree | snapshot |
2021-05-12 |
Andy Wang | Prefer remapped filename in backtrace to match rustc... |
commit | commitdiff | tree | snapshot |
2021-05-11 |
bors | Auto merge of #1792 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-05-11 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-05-08 |
bors | Auto merge of #1790 - hyd-dev:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-05-08 |
hyd-dev | Update pointer error messages |
commit | commitdiff | tree | snapshot |
2021-05-07 |
bors | Auto merge of #1789 - RalfJung:array-to-elem, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-05-07 |
Ralf Jung | stacked borrows: ensure array-to-elem casts behave... |
commit | commitdiff | tree | snapshot |
2021-05-04 |
bors | Auto merge of #1788 - hyd-dev:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-05-04 |
bors | Auto merge of #1787 - DianaNites:patch-1, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-05-04 |
hyd-dev | `encountered a NULL reference` -> `encountered a null... |
commit | commitdiff | tree | snapshot |
2021-05-04 |
Diana | Fix dead self-link |
commit | commitdiff | tree | snapshot |
2021-05-03 |
bors | Auto merge of #1785 - Smittyvb:fast-math-ub, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-05-03 |
Smitty | Simplify finiteness checking |
commit | commitdiff | tree | snapshot |
2021-05-03 |
Smitty | test for infinite value in f*_fast |
commit | commitdiff | tree | snapshot |
2021-05-03 |
bors | Auto merge of #1786 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-05-03 |
Ralf Jung | adjust for different 'yield' hint on aarch64 |
commit | commitdiff | tree | snapshot |
2021-05-03 |
Ralf Jung | fix checking os_family |
commit | commitdiff | tree | snapshot |
2021-05-02 |
Smitty | UB if f*_fast intrinsic called with nonfinite value |
commit | commitdiff | tree | snapshot |
2021-05-01 |
bors | Auto merge of #1784 - hyd-dev:harness-false, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-05-01 |
hyd-dev | Use `harness = false` instead of `#![feature(custom_tes... |
commit | commitdiff | tree | snapshot |
2021-04-30 |
bors | Auto merge of #1783 - hyd-dev:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-30 |
hyd-dev | Rustup for rust-lang/rust#84401 |
commit | commitdiff | tree | snapshot |
2021-04-25 |
bors | Auto merge of #1781 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-25 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-04-22 |
bors | Auto merge of #1769 - RalfJung:remove-compat, r=oli-obk |
commit | commitdiff | tree | snapshot |
2021-04-20 |
bors | Auto merge of #1778 - RalfJung:thread-local-const-init... |
commit | commitdiff | tree | snapshot |
2021-04-20 |
Ralf Jung | make TLS-drop-test more cross-platform |
commit | commitdiff | tree | snapshot |
2021-04-20 |
bors | Auto merge of #1779 - RalfJung:cargo-miri-xargo, r... |
commit | commitdiff | tree | snapshot |
2021-04-20 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-04-18 |
Ralf Jung | fix MIRI_BE_RUSTC value during sysroot build |
commit | commitdiff | tree | snapshot |
2021-04-18 |
Ralf Jung | test thread_local_const_init |
commit | commitdiff | tree | snapshot |
2021-04-16 |
bors | Auto merge of #1777 - crlf0710:fix_compilation, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-16 |
Charles Lew | Remove `main_fn.rs` test. |
commit | commitdiff | tree | snapshot |
2021-04-15 |
bors | Auto merge of #1775 - ABouttefeux:master, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-15 |
Aliénore Bouttefeux | change rust version to head |
commit | commitdiff | tree | snapshot |
2021-04-15 |
Aliénore Bouttefeux | allow deref of null ptr in test |
commit | commitdiff | tree | snapshot |
2021-04-12 |
bors | Auto merge of #1774 - RalfJung:contrib, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-12 |
Ralf Jung | fix CONTRIBUTING example |
commit | commitdiff | tree | snapshot |
2021-04-11 |
bors | Auto merge of #1772 - RalfJung:less-timeout-checking... |
commit | commitdiff | tree | snapshot |
2021-04-11 |
Ralf Jung | test calling pthread_cond_timedwait with an already... |
commit | commitdiff | tree | snapshot |
2021-04-11 |
bors | Auto merge of #1771 - vakaras:bug-1763, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-11 |
Vytautas Astrauskas | Reference issue 1763 in the comment. |
commit | commitdiff | tree | snapshot |
2021-04-11 |
Ralf Jung | only check timeouts when a thread yields |
commit | commitdiff | tree | snapshot |
2021-04-10 |
Vytautas Astrauskas | Attempt to fix #1763 by asking the scheduler to retry... |
commit | commitdiff | tree | snapshot |
2021-04-10 |
bors | Auto merge of #1770 - RalfJung:no_run, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-10 |
Ralf Jung | make sure that we truly do not run no_run doctests |
commit | commitdiff | tree | snapshot |
2021-04-10 |
Ralf Jung | remove compatibility code for passing miri flags via... |
commit | commitdiff | tree | snapshot |
2021-04-10 |
bors | Auto merge of #1768 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-10 |
Ralf Jung | add the bad doctests we found to the trophy case |
commit | commitdiff | tree | snapshot |
2021-04-10 |
bors | Auto merge of #1766 - RalfJung:dropped-temporary, r... |
commit | commitdiff | tree | snapshot |
2021-04-10 |
Ralf Jung | add test to detect dropped temporary |
commit | commitdiff | tree | snapshot |
2021-04-10 |
bors | Auto merge of #1765 - rust-lang:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-10 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-04-09 |
bors | Auto merge of #1764 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-09 |
Ralf Jung | fix typo in README |
commit | commitdiff | tree | snapshot |
2021-04-08 |
bors | Auto merge of #1761 - hyd-dev:build-rs-proc-macro-no... |
commit | commitdiff | tree | snapshot |
2021-04-08 |
hyd-dev | Don't use `MIRI_DEFAULT_ARGS` to compile host crates |
commit | commitdiff | tree | snapshot |
2021-04-07 |
bors | Auto merge of #1759 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-07 |
Ralf Jung | mention 'cargo miri test filter' in README |
commit | commitdiff | tree | snapshot |
2021-04-06 |
bors | Auto merge of #1757 - RalfJung:rustdoc, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-05 |
Ralf Jung | nits and fix non-deterministic test output |
commit | commitdiff | tree | snapshot |
2021-04-05 |
Ralf Jung | nits; test running no doctests |
commit | commitdiff | tree | snapshot |
2021-04-05 |
Ralf Jung | avoid some dead code and test no_run tests |
commit | commitdiff | tree | snapshot |
2021-04-05 |
Ralf Jung | add test for compile_fail; de-duplicate sysroot forwarding |
commit | commitdiff | tree | snapshot |
2021-04-05 |
hyd-dev | Fix sysroot for rustdoc |
commit | commitdiff | tree | snapshot |
2021-04-05 |
Ralf Jung | resolve semantic conflicts |
commit | commitdiff | tree | snapshot |
2021-04-05 |
Ralf Jung | make attempt to cross-interpret a hard error |
commit | commitdiff | tree | snapshot |
2021-04-05 |
Tristan Dannenberg | make cargo-miri run doc-tests |
commit | commitdiff | tree | snapshot |
2021-04-04 |
bors | Auto merge of #1756 - RalfJung:getrandom, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-04 |
Ralf Jung | also test old getrandom |
commit | commitdiff | tree | snapshot |
2021-04-04 |
bors | Auto merge of #1755 - RalfJung:cargo-update, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-04-04 |
Ralf Jung | bump test-cargo-miri dependencies |
commit | commitdiff | tree | snapshot |
2021-04-04 |
Ralf Jung | bump cargo-miri dependencies |
commit | commitdiff | tree | snapshot |
2021-04-04 |
Ralf Jung | bump miri dependencies |
commit | commitdiff | tree | snapshot |
2021-04-04 |
Ralf Jung | fix newer getrandom on Windows |
commit | commitdiff | tree | snapshot |
2021-04-04 |
Ralf Jung | 'cargo update' all the things |
commit | commitdiff | tree | snapshot |
2021-04-04 |
Ralf Jung | also test getrandom directly |
commit | commitdiff | tree | snapshot |
2021-03-28 |
bors | Auto merge of #1753 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-03-28 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-03-25 |
bors | Auto merge of #1752 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-03-25 |
Ralf Jung | disable MIR opts for ZST-related tests |
commit | commitdiff | tree | snapshot |
2021-03-25 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-03-25 |
bors | Auto merge of #1748 - jrvanwhy:track-raw-pointers-doc... |
commit | commitdiff | tree | snapshot |
2021-03-24 |
Johnathan Van Why | README.md: Apply RalfJung's suggestion |
commit | commitdiff | tree | snapshot |
2021-03-23 |
bors | Auto merge of #1750 - hyd-dev:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-03-23 |
hyd-dev | Update `rust-version` |
commit | commitdiff | tree | snapshot |
2021-03-23 |
hyd-dev | Remove `#![feature(or_patterns)]` |
commit | commitdiff | tree | snapshot |
2021-03-22 |
Johnathan Van Why | `-Zmiri-track-raw-pointers` doc correction: it is not... |
commit | commitdiff | tree | snapshot |
2021-03-22 |
bors | Auto merge of #1749 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-03-22 |
Ralf Jung | rustup; better comment in storage_dead_dangling test |
commit | commitdiff | tree | snapshot |
2021-03-19 |
Johnathan Van Why | Improvements to the README item on `-Zmiri-track-raw... |
commit | commitdiff | tree | snapshot |
2021-03-17 |
bors | Auto merge of #1746 - bstrie:depfix, r=RalfJung |
commit | commitdiff | tree | snapshot |
next |