2020-03-30 |
Ralf Jung | fix BTreeMap test compilation with Miri
|
commit | commitdiff | tree |
2020-03-28 |
Ralf Jung | fix TryEnterCriticalSection return type
|
commit | commitdiff | tree |
2020-03-28 |
Ralf Jung | refmt
|
commit | commitdiff | tree |
2020-03-28 |
Ralf Jung | get rid of useless back-and-forth cast
|
commit | commitdiff | tree |
2020-03-28 |
Ralf Jung | use more specialized Scalar::from_ constructors where...
|
commit | commitdiff | tree |
2020-03-28 |
Ralf Jung | use machine_ prefix for target usize/isize
|
commit | commitdiff | tree |
2020-03-28 |
Ralf Jung | rename Scalar::{ptr_null -> null_ptr}
|
commit | commitdiff | tree |
2020-03-27 |
Ralf Jung | avoid creating unnecessary reference in Windows Env...
|
commit | commitdiff | tree |
2020-03-26 |
Ralf Jung | Miri float->int casts: be explicit that this is saturating
|
commit | commitdiff | tree |
2020-03-26 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | avoid catching InterpError
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | add usize methods for Size getters
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | go back to infix ops for Size
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | add helper method for ptr ops on Scalar; reduce unnecessary...
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | use Size addition instead of checked int addition
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | make Size::from* methods generic in the integer type...
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | remove unnecessary cast
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | miri: avoid a bunch of casts by offering usized-based...
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | avoid double-cast in mplace_field
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | make bit_width return u64, consistently with other...
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | use checked casts and arithmetic in Miri engine
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | miri: simplify shift operator overflow checking
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | rename def_id -> static_def_id
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | better explain GLOBAL_KIND choice
|
commit | commitdiff | tree |
2020-03-24 |
Ralf Jung | actually we can reject all reads from mutable allocs...
|
commit | commitdiff | tree |
2020-03-24 |
Ralf Jung | fix const_prop ICE
|
commit | commitdiff | tree |
2020-03-24 |
Ralf Jung | bless you
|
commit | commitdiff | tree |
2020-03-24 |
Ralf Jung | get back the more precise error message
|
commit | commitdiff | tree |
2020-03-24 |
Ralf Jung | bless; add test for mutating a static
|
commit | commitdiff | tree |
2020-03-24 |
Ralf Jung | move ModifiedStatic error to ConstEval errors, and...
|
commit | commitdiff | tree |
2020-03-23 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-03-23 |
Ralf Jung | make sure we are checking the size of the right thing
|
commit | commitdiff | tree |
2020-03-23 |
Ralf Jung | add macro to reduce boilerplate and keep readable messages
|
commit | commitdiff | tree |
2020-03-23 |
Ralf Jung | add err_machine_stop macro
|
commit | commitdiff | tree |
2020-03-22 |
Ralf Jung | remove UbExperimental variant
|
commit | commitdiff | tree |
2020-03-22 |
Ralf Jung | miri engine: turn error sanity checks into assertions
|
commit | commitdiff | tree |
2020-03-22 |
Ralf Jung | avoid unsafe code, use upcasting-trait instead (trick...
|
commit | commitdiff | tree |
2020-03-22 |
Ralf Jung | get rid of ConstPropUnsupported; use ZST marker structs...
|
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 |
next |