| 2020-02-09 |
Ralf Jung | miri: equip unary_op with overflow detection
|
commit | commitdiff | tree |
| 2020-02-09 |
Ralf Jung | bring back extra check for int_min%-1
|
commit | commitdiff | tree |
| 2020-02-09 |
Ralf Jung | miri: simplify singed operator overflow detection
|
commit | commitdiff | tree |
| 2020-02-07 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2020-02-02 |
Ralf Jung | add raw-addr-of variant to mir_raw_fat_ptr
|
commit | commitdiff | tree |
| 2020-02-02 |
Ralf Jung | bump Miri
|
commit | commitdiff | tree |
| 2020-01-19 |
Ralf Jung | fix real_drop_in_place in comments
|
commit | commitdiff | tree |
| 2020-01-19 |
Ralf Jung | adjust codegen-units tests
|
commit | commitdiff | tree |
| 2020-01-18 |
Ralf Jung | adjust ui tests
|
commit | commitdiff | tree |
| 2020-01-18 |
Ralf Jung | adjust mir-opt tests
|
commit | commitdiff | tree |
| 2020-01-18 |
Ralf Jung | get rid of real_drop_in_place again
|
commit | commitdiff | tree |
| 2020-01-16 |
Ralf Jung | adjust Deref comment
|
commit | commitdiff | tree |
| 2020-01-16 |
Ralf Jung | let rustfmt undo most of my edits :(
|
commit | commitdiff | tree |
| 2020-01-16 |
Ralf Jung | fix rustfmt fallout
|
commit | commitdiff | tree |
| 2020-01-15 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2020-01-07 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2020-01-02 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-12-28 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-12-25 |
Ralf Jung | use error-pattern
|
commit | commitdiff | tree |
| 2019-12-24 |
Ralf Jung | this has sysroot spans to let's ignore it the usual way
|
commit | commitdiff | tree |
| 2019-12-24 |
Ralf Jung | better variable names
|
commit | commitdiff | tree |
| 2019-12-24 |
Ralf Jung | add test for dropping in const
|
commit | commitdiff | tree |
| 2019-12-24 |
Ralf Jung | bootstrap miri: remove no longer used env var
|
commit | commitdiff | tree |
| 2019-12-24 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-12-22 |
Ralf Jung | no longer promote non-pattern const functions
|
commit | commitdiff | tree |
| 2019-12-13 |
Ralf Jung | be explicit that mem::uninitialized is the same as...
|
commit | commitdiff | tree |
| 2019-12-12 |
Ralf Jung | avoid more intermediate allocations in validation errors
|
commit | commitdiff | tree |
| 2019-12-12 |
Ralf Jung | validation: avoid some intermediate allocations
|
commit | commitdiff | tree |
| 2019-12-12 |
Ralf Jung | dont ICE in case of invalid drop fn
|
commit | commitdiff | tree |
| 2019-12-08 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
| 2019-12-08 |
Ralf Jung | fix miri step debug printing
|
commit | commitdiff | tree |
| 2019-12-07 |
Ralf Jung | fix warnings with cfg(miri)
|
commit | commitdiff | tree |
| 2019-12-07 |
Ralf Jung | liballoc: ignore tests in Miri instead of removing...
|
commit | commitdiff | tree |
| 2019-12-07 |
Ralf Jung | libcore: ignore tests in Miri instead of removing them...
|
commit | commitdiff | tree |
| 2019-12-06 |
Ralf Jung | get rid of __ in field names
|
commit | commitdiff | tree |
| 2019-12-05 |
Ralf Jung | use abort instead of unreachable
|
commit | commitdiff | tree |
| 2019-12-05 |
Ralf Jung | comments
|
commit | commitdiff | tree |
| 2019-12-05 |
Ralf Jung | add a test
|
commit | commitdiff | tree |
| 2019-12-05 |
Ralf Jung | codegen: mark invalid SetDiscriminant unreachable
|
commit | commitdiff | tree |
| 2019-12-04 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-12-03 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | miri: add throw_machine_stop macro
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | Rollup merge of #66834 - infinity0:master, r=Mark-Simulacrum
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | Rollup merge of #66827 - RalfJung:miri-missing-ret...
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | Rollup merge of #66822 - RalfJung:miri-panic, r=oli-obk
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | Rollup merge of #66654 - ecstatic-morse:check-consts...
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | Rollup merge of #66245 - tmiasko:cfg-sanitize, r=oli-obk
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | fix init_allocation_extra
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | Assert terminator is never executed in ConstProp
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | fat -> wide
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | make alloc_extra machine hook a bit nicer
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | add and use helper method to get SourceInfo of current...
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | Miri: add helper fn to allocate string; simplify alloc_calle...
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | Add From instances for Pointer -> ScalarMaybeUndef...
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | expose span to M::assert_panic, and provide helper...
|
commit | commitdiff | tree |
| 2019-12-02 |
Ralf Jung | Miri: add machine hook for MIR-level assertion panics
|
commit | commitdiff | tree |
| 2019-12-01 |
Ralf Jung | fix compile-fail tests
|
commit | commitdiff | tree |
| 2019-12-01 |
Ralf Jung | Miri core engine: use throw_ub instead of throw_panic
|
commit | commitdiff | tree |
| 2019-12-01 |
Ralf Jung | add reusable MachineStop variant to Miri engine error...
|
commit | commitdiff | tree |
| 2019-11-30 |
Ralf Jung | pass Queries to compiler callbacks
|
commit | commitdiff | tree |
| 2019-11-30 |
Ralf Jung | libunwind_panic: adjust miri panic hack
|
commit | commitdiff | tree |
| 2019-11-29 |
Ralf Jung | Rollup merge of #66872 - Mikotochan:patch-1, r=jonas...
|
commit | commitdiff | tree |
| 2019-11-29 |
Ralf Jung | Rollup merge of #66844 - RalfJung:caller-location-leak...
|
commit | commitdiff | tree |
| 2019-11-29 |
Ralf Jung | Rollup merge of #66837 - ohadravid:epsilon-doc, r=dtolnay
|
commit | commitdiff | tree |
| 2019-11-29 |
Ralf Jung | Rollup merge of #66826 - mlodato517:mlodato517-clarify...
|
commit | commitdiff | tree |
| 2019-11-29 |
Ralf Jung | Rollup merge of #66808 - GuillaumeGomez:cleanup-err...
|
commit | commitdiff | tree |
| 2019-11-29 |
Ralf Jung | Rollup merge of #66793 - matthewjasper:record-static...
|
commit | commitdiff | tree |
| 2019-11-29 |
Ralf Jung | Rollup merge of #66791 - cjgillot:arena, r=Mark-Simulacrum
|
commit | commitdiff | tree |
| 2019-11-29 |
Ralf Jung | Rollup merge of #66766 - RalfJung:panic-comments, r...
|
commit | commitdiff | tree |
| 2019-11-29 |
Ralf Jung | Rollup merge of #66613 - Areredify:trait-ref-print...
|
commit | commitdiff | tree |
| 2019-11-29 |
Ralf Jung | Rollup merge of #66589 - TheSamsa:master, r=Dylan-DPC
|
commit | commitdiff | tree |
| 2019-11-29 |
Ralf Jung | Rollup merge of #66379 - CreepySkeleton:patch-1, r...
|
commit | commitdiff | tree |
| 2019-11-29 |
Ralf Jung | really_init cmdline args on Miri
|
commit | commitdiff | tree |
| 2019-11-28 |
Ralf Jung | do not consider memory allocated by caller_location...
|
commit | commitdiff | tree |
| 2019-11-28 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
| 2019-11-28 |
Ralf Jung | const_prop: detect and avoid catching Miri errors that...
|
commit | commitdiff | tree |
| 2019-11-27 |
Ralf Jung | comment
|
commit | commitdiff | tree |
| 2019-11-27 |
Ralf Jung | handle diverging functions forwarding their return...
|
commit | commitdiff | tree |
| 2019-11-26 |
Ralf Jung | rename update_count_then_panic -> rust_panic_without_hook
|
commit | commitdiff | tree |
| 2019-11-26 |
Ralf Jung | explain why __rust_start_panic does not take a Box
|
commit | commitdiff | tree |
| 2019-11-26 |
Ralf Jung | expand comment
|
commit | commitdiff | tree |
| 2019-11-26 |
Ralf Jung | abort on BoxMeUp misuse
|
commit | commitdiff | tree |
| 2019-11-26 |
Ralf Jung | panic_handler -> begin_panic_handler (and more comments)
|
commit | commitdiff | tree |
| 2019-11-25 |
Ralf Jung | more panicking comments
|
commit | commitdiff | tree |
| 2019-11-25 |
Ralf Jung | review feedback: comments and spacing
|
commit | commitdiff | tree |
| 2019-11-25 |
Ralf Jung | make sure we handle all transmute invocations, including...
|
commit | commitdiff | tree |
| 2019-11-25 |
Ralf Jung | miri: couple ret place and ret block together (they...
|
commit | commitdiff | tree |
| 2019-11-25 |
Ralf Jung | move ABI check out to cover all calls
|
commit | commitdiff | tree |
| 2019-11-25 |
Ralf Jung | unify call_intrinsic handling of intruction pointer...
|
commit | commitdiff | tree |
| 2019-11-25 |
Ralf Jung | refactor goto_block and also add unwind_to_block
|
commit | commitdiff | tree |
| 2019-11-25 |
Ralf Jung | better comment and rename BoxMeUp::box_me_up to take_box
|
commit | commitdiff | tree |
| 2019-11-25 |
Ralf Jung | Rename continue_panic_fmt to panic_handler, and make...
|
commit | commitdiff | tree |
| 2019-11-24 |
Ralf Jung | make comment compile
|
commit | commitdiff | tree |
| 2019-11-24 |
Ralf Jung | expand type info on __rust_start_panic
|
commit | commitdiff | tree |
| 2019-11-24 |
Ralf Jung | panicking comments
|
commit | commitdiff | tree |
| 2019-11-23 |
Ralf Jung | only print LEAK REPORT if there is a leak
|
commit | commitdiff | tree |
| 2019-11-23 |
Ralf Jung | Miri: print leak report even without tracing
|
commit | commitdiff | tree |
| 2019-11-23 |
Ralf Jung | enable more panic-catching tests in Miri
|
commit | commitdiff | tree |
| 2019-11-22 |
Ralf Jung | enable panic-catching tests in Miri
|
commit | commitdiff | tree |
| 2019-11-22 |
Ralf Jung | use catch_panic instead of thread::spawn to catch panics
|
commit | commitdiff | tree |
| next |
projects / rust.git / search