2020-03-22 |
Ralf Jung | miri engine: turn error sanity checks into assertions
|
commit | commitdiff | tree |
2020-03-21 |
Ralf Jung | normalize away preferred alignment
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | more type annotations to help inference
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | fmt
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | make rustc_layout also work for type definitions
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | add a test for rustc_layout(debug)
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | add debug option to #[rustc_layout]
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | fix layout_test visitor name
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | Abi::is_signed: assert that we are a Scalar
|
commit | commitdiff | tree |
2020-03-19 |
Ralf Jung | add delay_span_bug to TransmuteSizeDiff, just to be...
|
commit | commitdiff | tree |
2020-03-19 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-03-19 |
Ralf Jung | do not 'return' in 'throw_' macros
|
commit | commitdiff | tree |
2020-03-18 |
Ralf Jung | increase stack slack for x86_64-pc-windows-gnu
|
commit | commitdiff | tree |
2020-03-16 |
Ralf Jung | make mem::{zeroed,uninitialized} inline(always)
|
commit | commitdiff | tree |
2020-03-16 |
Ralf Jung | init-large-type test needs optimizations
|
commit | commitdiff | tree |
2020-03-15 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | fix a codegen test
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | increase slack for stack size test
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | debug-assert ptr sanity in ptr::write
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | fix comment, rustfmt
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | adjust Miri to needs of changed unwinding strategy
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | update panicking comments in libstd
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | adjust Miri interaction with panic runtime
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | add Scalar::from methods for signed integers
|
commit | commitdiff | tree |
2020-03-13 |
Ralf Jung | bless tests
|
commit | commitdiff | tree |
2020-03-13 |
Ralf Jung | adjust enum naming
|
commit | commitdiff | tree |
2020-03-12 |
Ralf Jung | miri engine: fix treatment of abort intrinsic
|
commit | commitdiff | tree |
2020-03-12 |
Ralf Jung | rename panic_if_ intrinsics to assert_
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | fmt
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | make error message less confusing
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | we are on 2018 edition, use try block
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | avoid boolean inversion
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | explain why we catch PointerUseAfterFree
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | start Miri messages lower-case
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | fmt, and fix rustfmt-induced rebase hickup
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | generalize InvalidNullPointerUsage to InvalidIntPointerUsage
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | fmt, tweak messages and bless
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | miri: categorize errors into "unsupported" and "UB"
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | fix expand-to-unstable test
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | implement zeroed and uninitialized with MaybeUninit
|
commit | commitdiff | tree |
2020-03-10 |
Ralf Jung | bump backtrace-sys
|
commit | commitdiff | tree |
2020-03-10 |
Ralf Jung | also make panic_fmt track_caller
|
commit | commitdiff | tree |
2020-03-09 |
Ralf Jung | also handle abort intrinsic with new machine hook
|
commit | commitdiff | tree |
2020-03-09 |
Ralf Jung | remove no-longer needed span from Miri Machine hook
|
commit | commitdiff | tree |
2020-03-09 |
Ralf Jung | Improve readability
|
commit | commitdiff | tree |
2020-03-09 |
Ralf Jung | panic_bounds_check: use caller_location, like PanicFnLangItem
|
commit | commitdiff | tree |
2020-03-09 |
Ralf Jung | miri: add machine hook for Abort terminator
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | use static strings instead of tcx
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | Fix typo
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | fix some cases of unexpected exceptions leaving validation
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | miri validation: debug-complain about unexpected errors
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | move error allocation test to error.rs
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | miri: ICE on invalid terminators
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | fix memory leak when vec::IntoIter panics during drop
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | fix type size mismatch on 32bit
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | bug on ty::GeneratorWitness
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | rename visit_primitive -> try_visit_primitive, and...
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | please tidy
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | better error messages for invalid boxes (and a few...
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | test some more kinds of enums with uninhabited variants
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | test that we validate boxes
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | const validation ub tests: use transmute instead of...
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | miri value visitor: detect primitives by type, not...
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | 'fieldless enums' is not what I meant -- it's empty...
|
commit | commitdiff | tree |
2020-03-05 |
Ralf Jung | reduce test size for Miri
|
commit | commitdiff | tree |
2020-03-05 |
Ralf Jung | update backtrace crate
|
commit | commitdiff | tree |
2020-03-04 |
Ralf Jung | more toolstate comments
|
commit | commitdiff | tree |
2020-03-04 |
Ralf Jung | cover some more nearby cases
|
commit | commitdiff | tree |
2020-03-04 |
Ralf Jung | use integer assoc consts instead of methods
|
commit | commitdiff | tree |
2020-03-04 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-03-04 |
Ralf Jung | point cargo-miri to the right xargo binary
|
commit | commitdiff | tree |
2020-03-02 |
Ralf Jung | remove non-sysroot sources from rust-src component
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | Fix typo
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | fix aliasing violation in align_to_mut
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | clarify alignment requirements in Vec::from_raw_parts
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | transmute: improve Vec example
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | downgrade some assertions to debug_ again
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | move pattern to fn argument
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | move panic intrinsic codegen to helper function
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | clarify a comment in the test
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | we cannot short-circuit just becuase the Abi seems...
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | fmt
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | make it even more conservative, and note some FIXMEs
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | test some more things that should not panic
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | use valid_range_exclusive for correct overflow handling
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | reference tracking issue
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | mem::zeroed/uninit: panic on types that do not permit...
|
commit | commitdiff | tree |
2020-02-28 |
Ralf Jung | miri engine: turn some debug_assert into assert
|
commit | commitdiff | tree |
2020-02-28 |
Ralf Jung | move ZST assertion up, for better errors
|
commit | commitdiff | tree |
2020-02-28 |
Ralf Jung | remove ScalarMaybeUndef::to_bits and make Scalar::to_bits...
|
commit | commitdiff | tree |
2020-02-28 |
Ralf Jung | remove check_raw after reducing it to one use only
|
commit | commitdiff | tree |
2020-02-28 |
Ralf Jung | get rid of to_ptr
|
commit | commitdiff | tree |
2020-02-28 |
Ralf Jung | add comment to check_data
|
commit | commitdiff | tree |
2020-02-27 |
Ralf Jung | avoid a negation in is_nonoverlapping
|
commit | commitdiff | tree |
2020-02-27 |
Ralf Jung | disable debug assertion in ptr::write for now
|
commit | commitdiff | tree |
2020-02-26 |
Ralf Jung | miri: validity visitor comments and path printing improvements
|
commit | commitdiff | tree |
2020-02-26 |
Ralf Jung | adjust LayoutDetails comments
|
commit | commitdiff | tree |
2020-02-24 |
Ralf Jung | no more codegen for miri_start_panic
|
commit | commitdiff | tree |
2020-02-24 |
Ralf Jung | bump Miri once more
|
commit | commitdiff | tree |
2020-02-23 |
Ralf Jung | fmt
|
commit | commitdiff | tree |
next |