2019-12-09 |
Oliver Scherer | Use the machine stop error instead of abusing other... |
commit | commitdiff | tree | snapshot |
2019-12-08 |
Oliver Scherer | Remove a flaky test |
commit | commitdiff | tree | snapshot |
2019-12-08 |
Oliver Scherer | Document the new flag |
commit | commitdiff | tree | snapshot |
2019-12-08 |
Oliver Scherer | Rename track-id to track-pointer-tag |
commit | commitdiff | tree | snapshot |
2019-12-08 |
Oliver Scherer | Detect all variants of stack removals |
commit | commitdiff | tree | snapshot |
2019-12-08 |
Oliver Scherer | Vocabulary fix |
commit | commitdiff | tree | snapshot |
2019-12-08 |
Oliver Scherer | Add a scheme to find the place where an id was destroyed |
commit | commitdiff | tree | snapshot |
2019-12-08 |
bors | Auto merge of #1109 - RalfJung:track-caller, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-08 |
Ralf Jung | add caller_location tests to Miri |
commit | commitdiff | tree | snapshot |
2019-12-08 |
bors | Auto merge of #1108 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-08 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2019-12-08 |
bors | Auto merge of #1107 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-08 |
Ralf Jung | bump Rust, fix error messages |
commit | commitdiff | tree | snapshot |
2019-12-07 |
bors | Auto merge of #1106 - RalfJung:memleak-ignore, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-07 |
Ralf Jung | fix all-targets build |
commit | commitdiff | tree | snapshot |
2019-12-07 |
bors | Auto merge of #1105 - RalfJung:readme, r=oli-obk |
commit | commitdiff | tree | snapshot |
2019-12-07 |
Ralf Jung | add flag to ignore memory leaks |
commit | commitdiff | tree | snapshot |
2019-12-07 |
Ralf Jung | use recommended test exclusion technique in test |
commit | commitdiff | tree | snapshot |
2019-12-07 |
Ralf Jung | better way to ignore tests in Miri |
commit | commitdiff | tree | snapshot |
2019-12-06 |
bors | Auto merge of #1104 - RalfJung:readme, r=oli-obk |
commit | commitdiff | tree | snapshot |
2019-12-06 |
Ralf Jung | wording |
commit | commitdiff | tree | snapshot |
2019-12-06 |
Ralf Jung | README: Miri now supports panics and FS access |
commit | commitdiff | tree | snapshot |
2019-12-06 |
bors | Auto merge of #1103 - RalfJung:no-recompile, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-06 |
Ralf Jung | avoid recompiling Miri on install |
commit | commitdiff | tree | snapshot |
2019-12-04 |
bors | Auto merge of #1102 - RalfJung:rsutup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-04 |
Ralf Jung | rustup for find_fn rename |
commit | commitdiff | tree | snapshot |
2019-12-04 |
bors | Auto merge of #1100 - RalfJung:os_str, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-04 |
Ralf Jung | rename helper methods a bit |
commit | commitdiff | tree | snapshot |
2019-12-04 |
bors | Auto merge of #1099 - RalfJung:os_str, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-04 |
Ralf Jung | avoid allocation in read_os_string_from_c_string |
commit | commitdiff | tree | snapshot |
2019-12-04 |
Ralf Jung | use write_os_str_to_c_string for unix arg passing |
commit | commitdiff | tree | snapshot |
2019-12-03 |
bors | Auto merge of #1093 - RalfJung:throw-machine-stop,... |
commit | commitdiff | tree | snapshot |
2019-12-03 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2019-12-03 |
Ralf Jung | use throw_machine_stop macro |
commit | commitdiff | tree | snapshot |
2019-12-03 |
bors | Auto merge of #1097 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-03 |
Ralf Jung | bump Rust for exact_div fix |
commit | commitdiff | tree | snapshot |
2019-12-03 |
bors | Auto merge of #1096 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-03 |
Ralf Jung | bump Rust to HEAD |
commit | commitdiff | tree | snapshot |
2019-12-03 |
bors | Auto merge of #1094 - Aaron1011:rustup-body, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-03 |
Aaron Hill | Rustup for `BodyCache` changes |
commit | commitdiff | tree | snapshot |
2019-12-02 |
bors | Auto merge of #1084 - RalfJung:assert-panic, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | ignore another panicking test on Windows |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | panic errors are actually still possible |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | fix init_allocation_extra |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | some error classes should be impossible |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | also test built-in panics via should_panic |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | adjust for init_allocation_extra |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | fix and expand panic tests |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | better span for functions whose frame we push 'manually' |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | test built-in panic catching |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | implement proper panicking for other MIR assertions |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | implement proper panicking for failed index check |
commit | commitdiff | tree | snapshot |
2019-12-02 |
bors | Auto merge of #1079 - RalfJung:coercion-error, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | test diverging closure fn ptr coercion |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | expand coerce fn test |
commit | commitdiff | tree | snapshot |
2019-12-02 |
bors | Auto merge of #1092 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | also indicate abort via new MachineStop variant |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | improve style in catch_panic test |
commit | commitdiff | tree | snapshot |
2019-12-02 |
Ralf Jung | use new MachineStop error variant |
commit | commitdiff | tree | snapshot |
2019-12-01 |
bors | Auto merge of #1087 - RalfJung:toolchain, r=oli-obk |
commit | commitdiff | tree | snapshot |
2019-12-01 |
Ralf Jung | don't assume a nightly toolchain is installed |
commit | commitdiff | tree | snapshot |
2019-12-01 |
bors | Auto merge of #1091 - RalfJung:run-test, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-01 |
Ralf Jung | run-test: make sure the sysroot building output does... |
commit | commitdiff | tree | snapshot |
2019-12-01 |
bors | Auto merge of #1082 - RalfJung:panic, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-01 |
Ralf Jung | fix catch_panic.stderr |
commit | commitdiff | tree | snapshot |
2019-12-01 |
Ralf Jung | test more panics |
commit | commitdiff | tree | snapshot |
2019-12-01 |
bors | Auto merge of #1088 - RalfJung:globalctxt, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-12-01 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2019-12-01 |
Ralf Jung | test for rustup-toolchain-install-master |
commit | commitdiff | tree | snapshot |
2019-12-01 |
Ralf Jung | toolchain -> rustup-toolchain |
commit | commitdiff | tree | snapshot |
2019-11-30 |
Ralf Jung | fix for GlobalCtxt changes |
commit | commitdiff | tree | snapshot |
2019-11-30 |
bors | Auto merge of #1089 - RalfJung:should-panic, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-11-30 |
Ralf Jung | test should_panic checking the panic string |
commit | commitdiff | tree | snapshot |
2019-11-30 |
Ralf Jung | add toolchain mgmt script |
commit | commitdiff | tree | snapshot |
2019-11-29 |
bors | Auto merge of #1085 - RalfJung:panic-runtime, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-11-29 |
Ralf Jung | avoid injected_panic_runtime which is going away |
commit | commitdiff | tree | snapshot |
2019-11-29 |
bors | Auto merge of #1083 - RalfJung:fn-call-helper, r=oli-obk |
commit | commitdiff | tree | snapshot |
2019-11-29 |
Ralf Jung | fix comment |
commit | commitdiff | tree | snapshot |
2019-11-29 |
Ralf Jung | Add and use helper function for calling a machine funct... |
commit | commitdiff | tree | snapshot |
2019-11-27 |
bors | Auto merge of #1077 - RalfJung:unwind_to_block, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-11-27 |
Ralf Jung | only run leak test on clean platforms |
commit | commitdiff | tree | snapshot |
2019-11-27 |
Ralf Jung | bump Rust version |
commit | commitdiff | tree | snapshot |
2019-11-27 |
Ralf Jung | adjust for goto_block refactoring |
commit | commitdiff | tree | snapshot |
2019-11-26 |
bors | Auto merge of #1078 - RalfJung:uprust, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-11-26 |
Ralf Jung | cargo update |
commit | commitdiff | tree | snapshot |
2019-11-25 |
bors | Auto merge of #1076 - RalfJung:coercion-test, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-11-25 |
Ralf Jung | and another reference |
commit | commitdiff | tree | snapshot |
2019-11-25 |
Ralf Jung | rename some more tests |
commit | commitdiff | tree | snapshot |
2019-11-25 |
Ralf Jung | rename test and add some references |
commit | commitdiff | tree | snapshot |
2019-11-25 |
Ralf Jung | test closure-to-fn-ptr coercions a bit more |
commit | commitdiff | tree | snapshot |
2019-11-24 |
bors | Auto merge of #1072 - RalfJung:locally-built-rustc... |
commit | commitdiff | tree | snapshot |
2019-11-24 |
bors | Auto merge of #1073 - RalfJung:catch_panic, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-11-24 |
Ralf Jung | also test non-string panic payload |
commit | commitdiff | tree | snapshot |
2019-11-24 |
Ralf Jung | beef up catch_panic test |
commit | commitdiff | tree | snapshot |
2019-11-23 |
Ralf Jung | miri script does not need to handle locally built rustc... |
commit | commitdiff | tree | snapshot |
2019-11-23 |
Ralf Jung | cargo-miri: also find Rust sources when being run in... |
commit | commitdiff | tree | snapshot |
2019-11-22 |
bors | Auto merge of #1069 - RalfJung:typo, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-11-22 |
Ralf Jung | typo |
commit | commitdiff | tree | snapshot |
next |