2020-12-11 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2020-12-11 |
Ralf Jung | make redundant StorageLive UB
|
commit | commitdiff | tree |
2020-12-10 |
Ralf Jung | re-bless tests
|
commit | commitdiff | tree |
2020-12-10 |
Ralf Jung | CTFE: tweak abort-on-uninhabited message
|
commit | commitdiff | tree |
2020-12-10 |
Ralf Jung | Windows TLS: ManuallyDrop instead of mem::forget
|
commit | commitdiff | tree |
2020-12-09 |
Ralf Jung | remove a test that does not work any more
|
commit | commitdiff | tree |
2020-12-09 |
Ralf Jung | remove a hack that seems to only benefit a few very...
|
commit | commitdiff | tree |
2020-12-09 |
Ralf Jung | make sure we do not promote things with interior mutability
|
commit | commitdiff | tree |
2020-12-05 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2020-12-02 |
Ralf Jung | break formatting so rustfmt is happy
|
commit | commitdiff | tree |
2020-12-02 |
Ralf Jung | disable a ptr equality test on Miri
|
commit | commitdiff | tree |
2020-11-30 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2020-11-20 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-11-20 |
Ralf Jung | reference NonNull::dangling
|
commit | commitdiff | tree |
2020-11-19 |
Ralf Jung | unix/weak: pass arguments to syscall at the given type
|
commit | commitdiff | tree |
2020-11-19 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2020-11-15 |
Ralf Jung | document that __rust_alloc is also magic to our LLVM...
|
commit | commitdiff | tree |
2020-11-12 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2020-11-06 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2020-10-31 |
Ralf Jung | fix aliasing issues in SipHasher
|
commit | commitdiff | tree |
2020-10-31 |
Ralf Jung | fix aliasing issue in binary_heap
|
commit | commitdiff | tree |
2020-10-31 |
Ralf Jung | fix aliasing issue in unix sleep function
|
commit | commitdiff | tree |
2020-10-31 |
Ralf Jung | fix aliasing issues in u128 formatting code
|
commit | commitdiff | tree |
2020-10-31 |
Ralf Jung | Retagging: do not retag 'raw reborrows'
|
commit | commitdiff | tree |
2020-10-29 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2020-10-28 |
Ralf Jung | fix some incorrect aliasing in the BTree
|
commit | commitdiff | tree |
2020-10-28 |
Ralf Jung | fix a comment in validity check
|
commit | commitdiff | tree |
2020-10-27 |
Ralf Jung | fix Box::into_unique
|
commit | commitdiff | tree |
2020-10-26 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2020-10-26 |
Ralf Jung | explain why interning is not as trivial as it might...
|
commit | commitdiff | tree |
2020-10-26 |
Ralf Jung | interning cleanup: we no longer need to distinguish...
|
commit | commitdiff | tree |
2020-10-26 |
Ralf Jung | move &mut-in-const check from interning to validation
|
commit | commitdiff | tree |
2020-10-26 |
Ralf Jung | move UnsafeCell-in-const check from interning to validation
|
commit | commitdiff | tree |
2020-10-26 |
Ralf Jung | ensure we intern all promoteds as InternKind::Promoted
|
commit | commitdiff | tree |
2020-10-25 |
Ralf Jung | also test non-extern uninhabited statics
|
commit | commitdiff | tree |
2020-10-24 |
Ralf Jung | fix typo
|
commit | commitdiff | tree |
2020-10-24 |
Ralf Jung | ensure that statics are inhabited
|
commit | commitdiff | tree |
2020-10-21 |
Ralf Jung | Miri engine interning: improve comments, and entirely...
|
commit | commitdiff | tree |
2020-10-21 |
Ralf Jung | Miri engine validity check: simplify code with 'matches!'
|
commit | commitdiff | tree |
2020-10-19 |
Ralf Jung | fix Rvalue::ty for ThreadLocalRef
|
commit | commitdiff | tree |
2020-10-19 |
Ralf Jung | fix static_ptr_ty for foreign statics, and more comments...
|
commit | commitdiff | tree |
2020-10-19 |
Ralf Jung | remove what seems to be an outdated comment
|
commit | commitdiff | tree |
2020-10-18 |
Ralf Jung | we can test std and core panic macros together
|
commit | commitdiff | tree |
2020-10-16 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-10-16 |
Ralf Jung | stop relying on feature(untagged_unions) in stdlib
|
commit | commitdiff | tree |
2020-10-16 |
Ralf Jung | stabilize union with 'ManuallyDrop' fields and 'impl...
|
commit | commitdiff | tree |
2020-10-13 |
Ralf Jung | explicitly talk about integer literals
|
commit | commitdiff | tree |
2020-10-12 |
Ralf Jung | clarify rules for ZST Boxes
|
commit | commitdiff | tree |
2020-10-12 |
Ralf Jung | fix markdown reference
|
commit | commitdiff | tree |
2020-10-11 |
Ralf Jung | const keyword: brief paragraph on 'const fn'
|
commit | commitdiff | tree |
2020-10-11 |
Ralf Jung | transmute_copy: explain that alignment is handled correctly
|
commit | commitdiff | tree |
2020-10-09 |
Ralf Jung | rename __default_lib_allocator -> __default_alloc_error_handler
|
commit | commitdiff | tree |
2020-10-09 |
Ralf Jung | also extend global allocator comment
|
commit | commitdiff | tree |
2020-10-09 |
Ralf Jung | fix __rust_alloc_error_handler comment
|
commit | commitdiff | tree |
2020-10-06 |
Ralf Jung | avoid unnecessary intermediate reference and improve...
|
commit | commitdiff | tree |
2020-10-05 |
Ralf Jung | make IterMut Send/Sync again
|
commit | commitdiff | tree |
2020-10-05 |
Ralf Jung | VecDeque: avoid more aliasing issues by working with...
|
commit | commitdiff | tree |
2020-10-05 |
Ralf Jung | VecDeque: fix incorrect &mut aliasing in IterMut::next...
|
commit | commitdiff | tree |
2020-10-04 |
Ralf Jung | stop promoting union field accesses in 'const'
|
commit | commitdiff | tree |
2020-10-03 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2020-10-03 |
Ralf Jung | grammar nit
|
commit | commitdiff | tree |
2020-09-30 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-09-28 |
Ralf Jung | Rollup merge of #77295 - jethrogb:jb/unstable-book...
|
commit | commitdiff | tree |
2020-09-28 |
Ralf Jung | Rollup merge of #77288 - RalfJung:miri-macos, r=Amanieu
|
commit | commitdiff | tree |
2020-09-28 |
Ralf Jung | Rollup merge of #77194 - pickfire:patch-7, r=withoutboats
|
commit | commitdiff | tree |
2020-09-28 |
Ralf Jung | Rollup merge of #77170 - ecstatic-morse:const-fn-ptr...
|
commit | commitdiff | tree |
2020-09-28 |
Ralf Jung | Rollup merge of #76711 - davidtwco:issue-51154-param...
|
commit | commitdiff | tree |
2020-09-28 |
Ralf Jung | Rollup merge of #76474 - bjorn3:driver_selected_codegen...
|
commit | commitdiff | tree |
2020-09-28 |
Ralf Jung | Rollup merge of #76474 - bjorn3:driver_selected_codegen...
|
commit | commitdiff | tree |
2020-09-28 |
Ralf Jung | Rollup merge of #76454 - poliorcetics:ui-to-unit-test...
|
commit | commitdiff | tree |
2020-09-28 |
Ralf Jung | fix building libstd for Miri on macOS
|
commit | commitdiff | tree |
2020-09-27 |
Ralf Jung | update tokei and ripgrep in cargotest
|
commit | commitdiff | tree |
2020-09-26 |
Ralf Jung | Rollup merge of #77211 - est31:remove_unused_allow...
|
commit | commitdiff | tree |
2020-09-26 |
Ralf Jung | Rollup merge of #77207 - camelid:whence-to-span, r...
|
commit | commitdiff | tree |
2020-09-26 |
Ralf Jung | Rollup merge of #77204 - LingMan:patch-3, r=jonas-schievink
|
commit | commitdiff | tree |
2020-09-26 |
Ralf Jung | Rollup merge of #77181 - GuillaumeGomez:add-pointer...
|
commit | commitdiff | tree |
2020-09-26 |
Ralf Jung | Rollup merge of #77166 - RalfJung:miri, r=RalfJung
|
commit | commitdiff | tree |
2020-09-26 |
Ralf Jung | Rollup merge of #77161 - est31:swich_len_already_trusted...
|
commit | commitdiff | tree |
2020-09-26 |
Ralf Jung | Rollup merge of #77127 - camelid:update-mdbook, r=Dylan-DPC
|
commit | commitdiff | tree |
2020-09-26 |
Ralf Jung | Rollup merge of #77122 - ecstatic-morse:const-fn-arithmetic...
|
commit | commitdiff | tree |
2020-09-26 |
Ralf Jung | Rollup merge of #77093 - lcnr:const-generics-infer...
|
commit | commitdiff | tree |
2020-09-26 |
Ralf Jung | Rollup merge of #77076 - GuillaumeGomez:missing-code...
|
commit | commitdiff | tree |
2020-09-26 |
Ralf Jung | Rollup merge of #76631 - jyn514:x.py-setup, r=Mark...
|
commit | commitdiff | tree |
2020-09-26 |
Ralf Jung | Rollup merge of #75454 - ltratt:option_optimisation_guarante...
|
commit | commitdiff | tree |
2020-09-26 |
Ralf Jung | might_permit_raw_init: also check aggregate fields
|
commit | commitdiff | tree |
2020-09-24 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2020-09-22 |
Ralf Jung | Miri: more informative deallocation error messages
|
commit | commitdiff | tree |
2020-09-21 |
Ralf Jung | Rollup merge of #77012 - RalfJung:miri, r=RalfJung
|
commit | commitdiff | tree |
2020-09-21 |
Ralf Jung | Rollup merge of #77009 - est31:dogfood_total_cmp, r...
|
commit | commitdiff | tree |
2020-09-21 |
Ralf Jung | Rollup merge of #76996 - LingMan:patch-1, r=ecstatic...
|
commit | commitdiff | tree |
2020-09-21 |
Ralf Jung | Rollup merge of #76983 - ssomers:btree_extra_test,...
|
commit | commitdiff | tree |
2020-09-21 |
Ralf Jung | Rollup merge of #76981 - pickfire:patch-5, r=Mark-Simulacrum
|
commit | commitdiff | tree |
2020-09-21 |
Ralf Jung | Rollup merge of #76977 - tmiasko:issue-76740, r=wesleywiser
|
commit | commitdiff | tree |
2020-09-21 |
Ralf Jung | Rollup merge of #76967 - fusion-engineering-forks:revert...
|
commit | commitdiff | tree |
2020-09-21 |
Ralf Jung | Rollup merge of #76835 - matthiaskrgr:replace_prefix...
|
commit | commitdiff | tree |
2020-09-21 |
Ralf Jung | Rollup merge of #76521 - tavianator:fix-pthread-getattr...
|
commit | commitdiff | tree |
2020-09-21 |
Ralf Jung | Rollup merge of #76439 - GuillaumeGomez:add-error-explanatio...
|
commit | commitdiff | tree |
2020-09-21 |
Ralf Jung | update Miri for another bugfix
|
commit | commitdiff | tree |
2020-09-21 |
Ralf Jung | Rollup merge of #77000 - RalfJung:miri, r=RalfJung
|
commit | commitdiff | tree |
2020-09-21 |
Ralf Jung | Rollup merge of #76963 - est31:remove_static_assert...
|
commit | commitdiff | tree |
next |