2020-09-28 |
Aaron Hill | Add API for capturing backtrace |
commit | commitdiff | tree | snapshot |
2020-09-27 |
bors | Auto merge of #1555 - lzutao:upstream-assume-const... |
commit | commitdiff | tree | snapshot |
2020-09-27 |
Lzu Tao | Remove assume intrinsic from EvalContextExt |
commit | commitdiff | tree | snapshot |
2020-09-24 |
bors | Auto merge of #1561 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-24 |
Ralf Jung | rustup; fix tests |
commit | commitdiff | tree | snapshot |
2020-09-23 |
bors | Auto merge of #1560 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-23 |
Ralf Jung | opt-level 3 is clean again :) |
commit | commitdiff | tree | snapshot |
2020-09-21 |
bors | Auto merge of #1558 - RalfJung:serde_derive, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-21 |
Ralf Jung | test formerly broken serde_derive dependency |
commit | commitdiff | tree | snapshot |
2020-09-21 |
bors | Auto merge of #1557 - RalfJung:cargo-miri, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-21 |
Ralf Jung | support non-rlib extern files |
commit | commitdiff | tree | snapshot |
2020-09-21 |
bors | Auto merge of #1556 - RalfJung:compat, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-21 |
Ralf Jung | also support old 'cargo miri run -- -- args' style |
commit | commitdiff | tree | snapshot |
2020-09-20 |
bors | Auto merge of #1554 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-20 |
Ralf Jung | rustup; support panic=abort on Windows |
commit | commitdiff | tree | snapshot |
2020-09-20 |
bors | Auto merge of #1553 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-20 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-09-20 |
bors | Auto merge of #1552 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-20 |
Ralf Jung | account for mir-opts masking more errors |
commit | commitdiff | tree | snapshot |
2020-09-20 |
Ralf Jung | rustup; make sure the iterator moves even with smarter... |
commit | commitdiff | tree | snapshot |
2020-09-19 |
bors | Auto merge of #1551 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-19 |
Ralf Jung | list two more aliasing problems we found in BTreeMap... |
commit | commitdiff | tree | snapshot |
2020-09-18 |
bors | Auto merge of #1549 - RalfJung:panic-abort, r=oli-obk |
commit | commitdiff | tree | snapshot |
2020-09-18 |
Ralf Jung | fmt |
commit | commitdiff | tree | snapshot |
2020-09-18 |
Ralf Jung | support panic=abort |
commit | commitdiff | tree | snapshot |
2020-09-18 |
bors | Auto merge of #1548 - RalfJung:update, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-18 |
Ralf Jung | update for major version bumps |
commit | commitdiff | tree | snapshot |
2020-09-18 |
Ralf Jung | 'cargo update' test-cargo-miri |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | cargo update main crates |
commit | commitdiff | tree | snapshot |
2020-09-17 |
bors | Auto merge of #1540 - RalfJung:cargo-miri-redone, r... |
commit | commitdiff | tree | snapshot |
2020-09-17 |
bors | Auto merge of #1547 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | rustup; no need to special-case the guaranteed_eq/ne... |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | add comment mentioning alternative approach |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | test-cargo-miri: normalize slashes before comparing... |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | make sure tests pass even with RUST_TEST_NOCAPTURE set |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | make (not yet actually used) doctest actually use the... |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | more consistent error capitalization |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | cleaner output for cargo-miri-test harness |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | make sure subcrate tests have the right cwd |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | test 'cargo miri run' CWD, also for subcrate in a workspace |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | test propagating env vars from build.rs to binary |
commit | commitdiff | tree | snapshot |
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 |
next |