| 2019-12-12 |
Ralf Jung | validation: avoid some intermediate allocations
|
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 |
| 2019-11-22 |
Ralf Jung | enable panic-catching tests in Miri
|
commit | commitdiff | tree |
| 2019-11-22 |
Ralf Jung | remove the 'dereferenceable' attribute from Box
|
commit | commitdiff | tree |
| 2019-11-22 |
Ralf Jung | fix reoccuring typo: dereferencable -> dereferenceable
|
commit | commitdiff | tree |
| 2019-11-17 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
| 2019-11-16 |
Ralf Jung | avoid some casts
|
commit | commitdiff | tree |
| 2019-11-16 |
Ralf Jung | ICE on invalid MIR
|
commit | commitdiff | tree |
| 2019-11-16 |
Ralf Jung | make simd_size return a u64
|
commit | commitdiff | tree |
| 2019-11-16 |
Ralf Jung | rename and move read_vector_ty
|
commit | commitdiff | tree |
| 2019-11-16 |
Ralf Jung | re-add miri intrinsic ABI check
|
commit | commitdiff | tree |
| 2019-11-16 |
Ralf Jung | avoid linking errors
|
commit | commitdiff | tree |
| 2019-11-16 |
Ralf Jung | miri panic_unwind: fix hack for SEH platforms
|
commit | commitdiff | tree |
| 2019-11-15 |
Ralf Jung | more comment
|
commit | commitdiff | tree |
| 2019-11-15 |
Ralf Jung | libpanic_unwind for Miri: make sure we have the SEH...
|
commit | commitdiff | tree |
| 2019-11-14 |
Ralf Jung | mem::forget docs: mention ManuallyDrop
|
commit | commitdiff | tree |
| 2019-11-14 |
Ralf Jung | miri: helper methods for max values of machine's usize...
|
commit | commitdiff | tree |
| 2019-11-13 |
Ralf Jung | make things ugly
|
commit | commitdiff | tree |
| 2019-11-13 |
Ralf Jung | expand docs
|
commit | commitdiff | tree |
| 2019-11-13 |
Ralf Jung | clarify why we can do the ptr cast
|
commit | commitdiff | tree |
| 2019-11-13 |
Ralf Jung | Trailing full stop
|
commit | commitdiff | tree |
| 2019-11-11 |
Ralf Jung | avoid the loop in unwinding stack popping
|
commit | commitdiff | tree |
| 2019-11-09 |
Ralf Jung | add raw ptr variant of UnsafeCell::get
|
commit | commitdiff | tree |
| 2019-11-09 |
Ralf Jung | partially port invalid_value lint to diagnostic items
|
commit | commitdiff | tree |
| 2019-11-09 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-11-08 |
Ralf Jung | miri: Rename to_{u,i}size to to_machine_{u,i}size
|
commit | commitdiff | tree |
| 2019-11-08 |
Ralf Jung | rename Memory::get methods to get_raw to indicate their...
|
commit | commitdiff | tree |
| 2019-11-07 |
Ralf Jung | invalid_value lint: fix help text
|
commit | commitdiff | tree |
| 2019-11-06 |
Ralf Jung | Fix markdown link
|
commit | commitdiff | tree |
| 2019-11-06 |
Ralf Jung | --bless
|
commit | commitdiff | tree |
| next |
projects / rust.git / search