2020-09-17 |
Ralf Jung | test 'harness=false' tests |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | detect when the user passes Miri's flags the old way... |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | fix cargo-miri-test for cross-runs |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | show proper warning about not running doctests |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | update comment |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | test reading from stdin |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | patch away --error-format and --json so that errors... |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | forward build-time env vars to binary, and test that... |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | fix Miri script on macOS |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | handle binary suffices (for Windows); stop deleting... |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | make our filename handling work better across platforms |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | even when not linking, create stub .rlib files to fool... |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | fix typo |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | update docs, and also use MIRIFLAGS for the test suite |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | test respecting 'test=false', and what happens with... |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | patch --extern and --emit; test suite passes now! |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | it actually runs tests now! |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | stub JSON information flow from cargo-build-time to... |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | towards letting cargo do binary selection: wrappers... |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | canonicalize miri's directory |
commit | commitdiff | tree | snapshot |
2020-09-17 |
bors | Auto merge of #1546 - Aaron1011:fix/windows-panic,... |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Aaron Hill | Enable some panic tests on Windows |
commit | commitdiff | tree | snapshot |
2020-09-13 |
bors | Auto merge of #1545 - RalfJung:azure-ci, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-13 |
Ralf Jung | also detect Azure CI environments |
commit | commitdiff | tree | snapshot |
2020-09-11 |
bors | Auto merge of #1543 - RalfJung:btree, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-11 |
Ralf Jung | test BTreeMap::drain_filter for leaks |
commit | commitdiff | tree | snapshot |
2020-09-10 |
bors | Auto merge of #1541 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-10 |
Ralf Jung | expand collection tests |
commit | commitdiff | tree | snapshot |
2020-09-10 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-09-09 |
bors | Auto merge of #1511 - samrat:more-fd-trait-ops, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-09 |
Samrat Man... | Implement dup and close for stdin/stdout/stderr |
commit | commitdiff | tree | snapshot |
2020-09-08 |
bors | Auto merge of #1536 - divergentdave:nanosleep, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-07 |
David Cook | Use try block instead of closure |
commit | commitdiff | tree | snapshot |
2020-09-07 |
David Cook | Update comment |
commit | commitdiff | tree | snapshot |
2020-09-07 |
David Cook | Simplify read_timespec error handling |
commit | commitdiff | tree | snapshot |
2020-09-07 |
David Cook | Review comments |
commit | commitdiff | tree | snapshot |
2020-09-07 |
bors | Auto merge of #1539 - RalfJung:issue, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-07 |
Ralf Jung | fix referenced issue |
commit | commitdiff | tree | snapshot |
2020-09-07 |
bors | Auto merge of #1538 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-07 |
Ralf Jung | use standard black_box function |
commit | commitdiff | tree | snapshot |
2020-09-07 |
Ralf Jung | another optimization work-around |
commit | commitdiff | tree | snapshot |
2020-09-07 |
Ralf Jung | better optimization suppression |
commit | commitdiff | tree | snapshot |
2020-09-07 |
Ralf Jung | test opt-level 2 |
commit | commitdiff | tree | snapshot |
2020-09-07 |
Ralf Jung | work around rustc optimizations becoming too smart |
commit | commitdiff | tree | snapshot |
2020-09-06 |
David Cook | Implement libc::nanosleep shim |
commit | commitdiff | tree | snapshot |
2020-09-06 |
David Cook | Refactor timespec parsing, improve error handling |
commit | commitdiff | tree | snapshot |
2020-09-04 |
bors | Auto merge of #1534 - LeSeulArtichaut:tys-kind, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-04 |
LeSeulArtichaut | Change `ty.kind` -> `ty.kind()` |
commit | commitdiff | tree | snapshot |
2020-09-03 |
bors | Auto merge of #1532 - divergentdave:thread-panic-payloa... |
commit | commitdiff | tree | snapshot |
2020-09-03 |
David Cook | Add comment |
commit | commitdiff | tree | snapshot |
2020-09-03 |
David Cook | Per-thread errno storage |
commit | commitdiff | tree | snapshot |
2020-09-01 |
bors | Auto merge of #1533 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-01 |
Ralf Jung | rustup, fix test |
commit | commitdiff | tree | snapshot |
2020-09-01 |
David Cook | Review comments |
commit | commitdiff | tree | snapshot |
2020-08-30 |
David Cook | Move panic payload state from Machine to Thread |
commit | commitdiff | tree | snapshot |
2020-08-29 |
bors | Auto merge of #1531 - divergentdave:cargo-miri-targets... |
commit | commitdiff | tree | snapshot |
2020-08-29 |
David Cook | Test cargo miri target selection |
commit | commitdiff | tree | snapshot |
2020-08-28 |
bors | Auto merge of #1525 - divergentdave:cargo-miri-targets... |
commit | commitdiff | tree | snapshot |
2020-08-27 |
David Cook | Review comments |
commit | commitdiff | tree | snapshot |
2020-08-27 |
bors | Auto merge of #1530 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-08-27 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-08-27 |
bors | Auto merge of #1528 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-08-27 |
Ralf Jung | add encoding_rs OOB arithmetic |
commit | commitdiff | tree | snapshot |
2020-08-26 |
David Cook | Review comments |
commit | commitdiff | tree | snapshot |
2020-08-26 |
David Cook | Support --test/--bin/--lib in cargo-miri |
commit | commitdiff | tree | snapshot |
2020-08-24 |
bors | Auto merge of #1524 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-08-24 |
Ralf Jung | rustup; account for ptr_offset_from stabilization |
commit | commitdiff | tree | snapshot |
2020-08-22 |
bors | Auto merge of #1523 - RalfJung:test-matrix, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-08-22 |
Ralf Jung | fix a test for big-endian targets |
commit | commitdiff | tree | snapshot |
2020-08-22 |
Ralf Jung | tweak test matrix: test big-endian, and test less on... |
commit | commitdiff | tree | snapshot |
2020-08-22 |
bors | Auto merge of #1522 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-08-22 |
Ralf Jung | emphasize that some flags are unsound to use |
commit | commitdiff | tree | snapshot |
2020-08-21 |
bors | Auto merge of #1521 - workingjubilee:bump-cargo-metadat... |
commit | commitdiff | tree | snapshot |
2020-08-21 |
Jubilee Young | Bump cargo_metadata to 0.11 |
commit | commitdiff | tree | snapshot |
2020-08-21 |
bors | Auto merge of #1518 - workingjubilee:remove-byteorder... |
commit | commitdiff | tree | snapshot |
2020-08-20 |
Jubilee Young | Update lockfile |
commit | commitdiff | tree | snapshot |
2020-08-20 |
bors | Auto merge of #1520 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-08-20 |
Ralf Jung | avoid promotion in alignment test to get different... |
commit | commitdiff | tree | snapshot |
2020-08-20 |
Jubilee Young | Remove byteorder dependency |
commit | commitdiff | tree | snapshot |
2020-08-18 |
bors | Auto merge of #1517 - RalfJung:align-test, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-08-18 |
Ralf Jung | forgot to add alignment test loop in one test |
commit | commitdiff | tree | snapshot |
2020-08-17 |
bors | Auto merge of #1513 - RalfJung:int-align, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-08-17 |
Ralf Jung | make another test more robust against random alignment |
commit | commitdiff | tree | snapshot |
2020-08-17 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-08-17 |
Ralf Jung | tweak alignment check docs |
commit | commitdiff | tree | snapshot |
2020-08-16 |
Ralf Jung | make sure we test panic of interpreter-impelemted align... |
commit | commitdiff | tree | snapshot |
2020-08-16 |
Ralf Jung | use real align_offset unless we symbolic alignment... |
commit | commitdiff | tree | snapshot |
2020-08-16 |
Ralf Jung | adjust diagnostics to alignment check mode |
commit | commitdiff | tree | snapshot |
2020-08-16 |
Ralf Jung | document -Zmiri-symbolic-alignment-check |
commit | commitdiff | tree | snapshot |
2020-08-16 |
Ralf Jung | make alignment check integer-based by default, and... |
commit | commitdiff | tree | snapshot |
2020-08-13 |
bors | Auto merge of #1510 - RalfJung:stderr, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-08-13 |
Ralf Jung | fix Stderr::as_file_handle error message |
commit | commitdiff | tree | snapshot |
2020-08-13 |
bors | Auto merge of #1509 - samrat:fd-trait-fixes, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-08-13 |
Samrat Man... | Remove unnecessary whitespace |
commit | commitdiff | tree | snapshot |
2020-08-13 |
Samrat Man... | Remove lifetime from FileDescriptor trait |
commit | commitdiff | tree | snapshot |
2020-08-13 |
bors | Auto merge of #1504 - RalfJung:ill-formed-const, r... |
commit | commitdiff | tree | snapshot |
2020-08-13 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-08-13 |
Ralf Jung | add test for unused ill-formed constant |
commit | commitdiff | tree | snapshot |
2020-08-12 |
bors | Auto merge of #1507 - rust-lang:get_static, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-08-12 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
next |