| 2022-08-28 |
Ralf Jung | improve OFFSET_IS_ADDR docs
|
commit | commitdiff | tree |
| 2022-08-28 |
Ralf Jung | validation should only catch UB errors
|
commit | commitdiff | tree |
| 2022-08-27 |
Ralf Jung | adjust tests
|
commit | commitdiff | tree |
| 2022-08-27 |
Ralf Jung | interpret: make read-pointer-as-bytes *always* work...
|
commit | commitdiff | tree |
| 2022-08-27 |
Ralf Jung | interpret: rename relocation → provenance
|
commit | commitdiff | tree |
| 2022-08-26 |
Ralf Jung | remove now-unused ScalarMaybeUninit
|
commit | commitdiff | tree |
| 2022-08-26 |
Ralf Jung | make read_immediate error immediately on uninit, so...
|
commit | commitdiff | tree |
| 2022-08-26 |
Ralf Jung | remove some now-unnecessary parameters from check_bytes
|
commit | commitdiff | tree |
| 2022-08-26 |
Ralf Jung | remove enforce_number_init machine hook that Miri no...
|
commit | commitdiff | tree |
| 2022-08-26 |
Ralf Jung | fix an outdated machine hook name
|
commit | commitdiff | tree |
| 2022-08-22 |
Ralf Jung | fix ICE with extra-const-ub-checks
|
commit | commitdiff | tree |
| 2022-08-21 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
| 2022-08-18 |
Ralf Jung | clarify lib.rs attribute structure
|
commit | commitdiff | tree |
| 2022-08-18 |
Ralf Jung | silence some unused-fn warnings in miri std builds
|
commit | commitdiff | tree |
| 2022-08-18 |
Ralf Jung | make many std tests work in Miri
|
commit | commitdiff | tree |
| 2022-08-18 |
Ralf Jung | add some Miri-only tests
|
commit | commitdiff | tree |
| 2022-08-18 |
Ralf Jung | add miri-test-libstd support to libstd
|
commit | commitdiff | tree |
| 2022-08-17 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
| 2022-08-15 |
Ralf Jung | unwind: don't build dependency when building for Miri
|
commit | commitdiff | tree |
| 2022-08-13 |
Ralf Jung | nicer Miri backtraces for from_exposed_addr
|
commit | commitdiff | tree |
| 2022-08-13 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
| 2022-08-11 |
Ralf Jung | avoid some int2ptr casts in thread_local_key tests
|
commit | commitdiff | tree |
| 2022-08-11 |
Ralf Jung | more typos
|
commit | commitdiff | tree |
| 2022-08-10 |
Ralf Jung | grammar
|
commit | commitdiff | tree |
| 2022-08-10 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
| 2022-08-09 |
Ralf Jung | compare with-flag to without-flag
|
commit | commitdiff | tree |
| 2022-08-09 |
Ralf Jung | dont rely on old macro-in-trait-impl bug
|
commit | commitdiff | tree |
| 2022-08-08 |
Ralf Jung | also update anyhow in codegen_cranelift
|
commit | commitdiff | tree |
| 2022-08-08 |
Ralf Jung | also update anyhow in codegen_cranelift
|
commit | commitdiff | tree |
| 2022-08-07 |
Ralf Jung | test: skip terminfo parsing in Miri
|
commit | commitdiff | tree |
| 2022-08-07 |
Ralf Jung | add -Zextra-const-ub-checks to enable more UB checking...
|
commit | commitdiff | tree |
| 2022-08-06 |
Ralf Jung | make NOP dyn casts not require anything about the vtable
|
commit | commitdiff | tree |
| 2022-08-06 |
Ralf Jung | make NOP dyn casts not require anything about the vtable
|
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 | actually call assert_send_and_sync
|
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 | add link to discussion
|
commit | commitdiff | tree |
| 2022-08-02 |
Ralf Jung | update comment
|
commit | commitdiff | tree |
| 2022-08-02 |
Ralf Jung | remove some unused code and types
|
commit | commitdiff | tree |
| 2022-08-02 |
Ralf Jung | never consider unsafe blocks unused if they would be...
|
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-31 |
Ralf Jung | interpret: only consider 1-ZST when searching for receiver
|
commit | commitdiff | tree |
| 2022-07-30 |
Ralf Jung | avoid assertion failures in try_to_scalar_int
|
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-20 |
Ralf Jung | fix typo
|
commit | commitdiff | tree |
| next |
projects / rust.git / search