| 2022-08-07 |
Ralf Jung | test: skip terminfo parsing in Miri
|
commit | commitdiff | tree |
| 2022-08-05 |
Ralf Jung | propagate --bless to Miri
|
commit | commitdiff | tree |
| 2022-08-05 |
Ralf Jung | add method to get the mutability of an AllocId
|
commit | commitdiff | tree |
| 2022-08-03 |
Ralf Jung | fix is_disaligned logic for nested packed structs
|
commit | commitdiff | tree |
| 2022-08-03 |
Ralf Jung | update anyhow
|
commit | commitdiff | tree |
| 2022-08-03 |
Ralf Jung | wordsmithing
|
commit | commitdiff | tree |
| 2022-08-02 |
Ralf Jung | fix a comment
|
commit | commitdiff | tree |
| 2022-08-01 |
Ralf Jung | fix for unions with scalar layout
|
commit | commitdiff | tree |
| 2022-08-01 |
Ralf Jung | move layout sanity check to its own file
|
commit | commitdiff | tree |
| 2022-08-01 |
Ralf Jung | tighter checks for (some) ScalarPair layouts
|
commit | commitdiff | tree |
| 2022-08-01 |
Ralf Jung | check that Scalar layout is newtype around a suitable...
|
commit | commitdiff | tree |
| 2022-07-31 |
Ralf Jung | typo
|
commit | commitdiff | tree |
| 2022-07-31 |
Ralf Jung | reorder fields in Laout debug output
|
commit | commitdiff | tree |
| 2022-07-31 |
Ralf Jung | check 'size multiple of align' for all layouts
|
commit | commitdiff | tree |
| 2022-07-25 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
| 2022-07-24 |
Ralf Jung | interpret, ptr_offset_from: refactor and test too-far...
|
commit | commitdiff | tree |
| 2022-07-24 |
Ralf Jung | add miri-track-caller to some intrinsic-exposing methods
|
commit | commitdiff | tree |
| 2022-07-24 |
Ralf Jung | Rollup merge of #99678 - danbev:rustc_parse-config...
|
commit | commitdiff | tree |
| 2022-07-24 |
Ralf Jung | Rollup merge of #99672 - GuillaumeGomez:clean-trait...
|
commit | commitdiff | tree |
| 2022-07-24 |
Ralf Jung | Rollup merge of #99657 - Phosra:patch-1, r=Dylan-DPC
|
commit | commitdiff | tree |
| 2022-07-24 |
Ralf Jung | Rollup merge of #99644 - RalfJung:interpret-int-ptr...
|
commit | commitdiff | tree |
| 2022-07-24 |
Ralf Jung | don't ICE on invalid dyn calls
|
commit | commitdiff | tree |
| 2022-07-23 |
Ralf Jung | fix generate_new doc
|
commit | commitdiff | tree |
| 2022-07-23 |
Ralf Jung | now we can make scalar_to_ptr a method on Scalar
|
commit | commitdiff | tree |
| 2022-07-23 |
Ralf Jung | remove some provenance-related machine hooks that Miri...
|
commit | commitdiff | tree |
| 2022-07-23 |
Ralf Jung | fix outdated lint names in docs
|
commit | commitdiff | tree |
| 2022-07-23 |
Ralf Jung | say some more things about how transmute is UB
|
commit | commitdiff | tree |
| 2022-07-22 |
Ralf Jung | Rollup merge of #99607 - RalfJung:vtable-check, r=eddyb
|
commit | commitdiff | tree |
| 2022-07-22 |
Ralf Jung | Rollup merge of #99602 - RalfJung:xsv, r=Mark-Simulacrum
|
commit | commitdiff | tree |
| 2022-07-22 |
Ralf Jung | Rollup merge of #99588 - ehuss:update-books, r=ehuss
|
commit | commitdiff | tree |
| 2022-07-22 |
Ralf Jung | do not claim that transmute is like memcpy
|
commit | commitdiff | tree |
| 2022-07-22 |
Ralf Jung | adjust UnsafeCell documentation
|
commit | commitdiff | tree |
| 2022-07-22 |
Ralf Jung | do not mark interior mutable shared refs as dereferenceable
|
commit | commitdiff | tree |
| 2022-07-22 |
Ralf Jung | rename PointerKind::Shared → SharedMutable to indicate...
|
commit | commitdiff | tree |
| 2022-07-22 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
| 2022-07-22 |
Ralf Jung | cargotest: do not run quickcheck tests in xsv
|
commit | commitdiff | tree |
| 2022-07-22 |
Ralf Jung | interpret: fix vtable check debug assertion
|
commit | commitdiff | tree |
| 2022-07-22 |
Ralf Jung | miri: make --stage 0 testing work
|
commit | commitdiff | tree |
| 2022-07-21 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | detect bad vptrs on dyn calls
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | various nits from review
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | detect bad vtables on an upcast
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | various nits from review
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | add range metadata to alignment loads
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | slightly cleaner, if more verbose, vtable handling...
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | bless some tests
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | consistently use VTable over Vtable (matching stable...
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | slightly cleaner, if more verbose, vtable handling...
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | consistently use VTable over Vtable (matching stable...
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | use extern type for extra opaqueness
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | incorporate some review feedback
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | add intrinsic to access vtable size and align
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | we seem to monomorphize fewer vtables by default now...
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | make use of symbolic vtables in interpreter
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | rename get_global_alloc to try_get_global_alloc
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | rename get_global_alloc to try_get_global_alloc
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | add a Vtable kind of symbolic allocations
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | add a Vtable kind of symbolic allocations
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | prune raw pointer read and write methods from Miri...
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | miri: prune some atomic operation details from stacktrace
|
commit | commitdiff | tree |
| 2022-07-19 |
Ralf Jung | portable-simd: use simd_arith_offset to avoid ptr-int...
|
commit | commitdiff | tree |
| 2022-07-19 |
Ralf Jung | interpret: rename Tag/PointerTag to Prov/Provenance
|
commit | commitdiff | tree |
| 2022-07-18 |
Ralf Jung | interpret: make some large types not Copy
|
commit | commitdiff | tree |
| 2022-07-18 |
Ralf Jung | interpret: remove some unused trait impls
|
commit | commitdiff | tree |
| 2022-07-17 |
Ralf Jung | interpret/visitor: add missing early return
|
commit | commitdiff | tree |
| 2022-07-17 |
Ralf Jung | make tidy accept another permutation of this license...
|
commit | commitdiff | tree |
| 2022-07-17 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
| 2022-07-15 |
Ralf Jung | interpret/visitor: support visiting with a PlaceTy
|
commit | commitdiff | tree |
| 2022-07-14 |
Ralf Jung | interpret/validity: improve some comments
|
commit | commitdiff | tree |
| 2022-07-14 |
Ralf Jung | rename MPlaceTy::dangling to fake_alloc_zst
|
commit | commitdiff | tree |
| 2022-07-14 |
Ralf Jung | add missing null ptr check in alloc example
|
commit | commitdiff | tree |
| 2022-07-13 |
Ralf Jung | add array tests, cleanup, tidy, and bless
|
commit | commitdiff | tree |
| 2022-07-13 |
Ralf Jung | add array tests, cleanup, tidy, and bless
|
commit | commitdiff | tree |
| 2022-07-13 |
Ralf Jung | assigning to a union field can never drop now
|
commit | commitdiff | tree |
| 2022-07-13 |
Ralf Jung | remove untagged_union feature gate
|
commit | commitdiff | tree |
| 2022-07-13 |
Ralf Jung | also allow arrays of allowed types
|
commit | commitdiff | tree |
| 2022-07-13 |
Ralf Jung | allow unions with mutable references and tuples of...
|
commit | commitdiff | tree |
| 2022-07-13 |
Ralf Jung | factor 'is this type allowed as union field on stable...
|
commit | commitdiff | tree |
| 2022-07-13 |
Ralf Jung | get rid of MemPlaceMeta::Poison
|
commit | commitdiff | tree |
| 2022-07-12 |
Ralf Jung | mention mitigation in the docs
|
commit | commitdiff | tree |
| 2022-07-12 |
Ralf Jung | mem::uninitialized: mitigate many incorrect uses of...
|
commit | commitdiff | tree |
| 2022-07-12 |
Ralf Jung | use a loop rather than try_fold
|
commit | commitdiff | tree |
| 2022-07-12 |
Ralf Jung | interpret: refactor projection handling code
|
commit | commitdiff | tree |
| 2022-07-11 |
Ralf Jung | remove a dubious example
|
commit | commitdiff | tree |
| 2022-07-11 |
Ralf Jung | typo
|
commit | commitdiff | tree |
| 2022-07-09 |
Ralf Jung | add a concrete example
|
commit | commitdiff | tree |
| 2022-07-09 |
Ralf Jung | clarify how write_bytes can lead to UB due to invalid...
|
commit | commitdiff | tree |
| 2022-07-09 |
Ralf Jung | tweak names and output and bless
|
commit | commitdiff | tree |
| 2022-07-09 |
Ralf Jung | tweak names and output and bless
|
commit | commitdiff | tree |
| 2022-07-09 |
Ralf Jung | review feedback
|
commit | commitdiff | tree |
| 2022-07-09 |
Ralf Jung | review feedback
|
commit | commitdiff | tree |
| 2022-07-09 |
Ralf Jung | fix cranelift and gcc backends
|
commit | commitdiff | tree |
| 2022-07-09 |
Ralf Jung | fix cranelift and gcc backends
|
commit | commitdiff | tree |
| 2022-07-09 |
Ralf Jung | don't allow ZST in ScalarInt
|
commit | commitdiff | tree |
| 2022-07-08 |
Ralf Jung | interpret: only to track_caller in debug builds due...
|
commit | commitdiff | tree |
| 2022-07-08 |
Ralf Jung | add regex to rustc-workspace-hack
|
commit | commitdiff | tree |
| 2022-07-08 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
| 2022-07-07 |
Ralf Jung | make a name less ambiguous
|
commit | commitdiff | tree |
| 2022-07-06 |
Ralf Jung | fix a strange ConstProp ICE
|
commit | commitdiff | tree |
| 2022-07-06 |
Ralf Jung | deduplicate some copy_op code
|
commit | commitdiff | tree |
| next |
projects / rust.git / search