| 2020-02-14 |
Ralf Jung | const-prop: use one helper method for all lints; consistentl...
|
commit | commitdiff | tree |
| 2020-02-14 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2020-02-13 |
Ralf Jung | fix typo
|
commit | commitdiff | tree |
| 2020-02-13 |
Ralf Jung | miri: fix exact_div
|
commit | commitdiff | tree |
| 2020-02-13 |
Ralf Jung | rename PanicInfo -> AssertKind
|
commit | commitdiff | tree |
| 2020-02-13 |
Ralf Jung | improve comments:
|
commit | commitdiff | tree |
| 2020-02-13 |
Ralf Jung | small cleanup in ConstEvalErr::struct_generic
|
commit | commitdiff | tree |
| 2020-02-13 |
Ralf Jung | move PanicInfo to mir module
|
commit | commitdiff | tree |
| 2020-02-13 |
Ralf Jung | no need for hook_panic_fn to return a bool
|
commit | commitdiff | tree |
| 2020-02-13 |
Ralf Jung | remove PanicInfo::Panic variant that MIR does not use...
|
commit | commitdiff | tree |
| 2020-02-13 |
Ralf Jung | const-prop: handle overflow_check consistently for...
|
commit | commitdiff | tree |
| 2020-02-13 |
Ralf Jung | remove Panic variant from InterpError
|
commit | commitdiff | tree |
| 2020-02-10 |
Ralf Jung | remove outdated comment
|
commit | commitdiff | tree |
| 2020-02-10 |
Ralf Jung | some more tests for i128 oveflow behavior
|
commit | commitdiff | tree |
| 2020-02-10 |
Ralf Jung | div/rem overflow tests: also test i128
|
commit | commitdiff | tree |
| 2020-02-10 |
Ralf Jung | add test that checks overflows on arithmetic operators
|
commit | commitdiff | tree |
| 2020-02-09 |
Ralf Jung | const-prop: use overflowing_unary_op for overflowing...
|
commit | commitdiff | tree |
| 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 |
| next |
projects / rust.git / search