| 2019-12-02 |
Ralf Jung | miri: add throw_machine_stop macro
|
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-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-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 |
| 2019-11-06 |
Ralf Jung | improve a comment
|
commit | commitdiff | tree |
| 2019-11-06 |
Ralf Jung | remvoe to_scalar_ptr and use ref_to_mplace everywhere
|
commit | commitdiff | tree |
| 2019-11-06 |
Ralf Jung | miri cast: avoid unnecessary to_scalar_ptr
|
commit | commitdiff | tree |
| 2019-11-05 |
Ralf Jung | Apply suggestions from code review
|
commit | commitdiff | tree |
| 2019-11-05 |
Ralf Jung | fix link to ptr docs
|
commit | commitdiff | tree |
| 2019-11-05 |
Ralf Jung | expand comment explaining integer exception
|
commit | commitdiff | tree |
| 2019-11-05 |
Ralf Jung | also edit String::from_raw_parts while we are at it
|
commit | commitdiff | tree |
| 2019-11-05 |
Ralf Jung | expand slice from_raw_part docs
|
commit | commitdiff | tree |
| 2019-11-05 |
Ralf Jung | link from raw slice creation methods to safety requirements
|
commit | commitdiff | tree |
| 2019-11-04 |
Ralf Jung | bump smallvec to 1.0
|
commit | commitdiff | tree |
| 2019-11-04 |
Ralf Jung | also test different integers
|
commit | commitdiff | tree |
| 2019-11-04 |
Ralf Jung | test offset_from with two integers
|
commit | commitdiff | tree |
| 2019-11-04 |
Ralf Jung | Miri: ptr_offset_from: support offset_from with twice...
|
commit | commitdiff | tree |
| 2019-11-04 |
Ralf Jung | Miri: offset_from: do int-to-ptr casts when needed
|
commit | commitdiff | tree |
| 2019-11-04 |
Ralf Jung | let caller of check_ptr_access_align control the error...
|
commit | commitdiff | tree |
| 2019-11-04 |
Ralf Jung | also explain how to resolve MethodCall
|
commit | commitdiff | tree |
| 2019-11-04 |
Ralf Jung | more robust method checking through DefId and diagnostic_item
|
commit | commitdiff | tree |
| 2019-11-04 |
Ralf Jung | more correct error msg
|
commit | commitdiff | tree |
| 2019-11-04 |
Ralf Jung | avoid using nightly features
|
commit | commitdiff | tree |
| 2019-11-04 |
Ralf Jung | QPath docs: mention how to resolve them
|
commit | commitdiff | tree |
| 2019-11-03 |
Ralf Jung | don't fail manifest creation if the toolstate file...
|
commit | commitdiff | tree |
| 2019-11-03 |
Ralf Jung | when Miri tests are not passing, do not add Miri component
|
commit | commitdiff | tree |
| 2019-11-02 |
Ralf Jung | also adjust ignore in generated tests
|
commit | commitdiff | tree |
| 2019-11-02 |
Ralf Jung | consistent handling of missing sysroot spans
|
commit | commitdiff | tree |
| 2019-11-02 |
Ralf Jung | adjust for missing spans on x86 test runner
|
commit | commitdiff | tree |
| 2019-11-02 |
Ralf Jung | also identiy MaybeUninit::uninit().assume_init() as...
|
commit | commitdiff | tree |
| 2019-11-02 |
Ralf Jung | uninit/zeroed lint: warn against NULL vtables
|
commit | commitdiff | tree |
| 2019-10-31 |
Ralf Jung | rebase and re-update lock file
|
commit | commitdiff | tree |
| 2019-10-31 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-10-30 |
Ralf Jung | work around aggressive syntax feature gating
|
commit | commitdiff | tree |
| 2019-10-26 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-10-26 |
Ralf Jung | use plain cargo to install xargo
|
commit | commitdiff | tree |
| next |
projects / rust.git / search