| 2020-12-30 |
Ralf Jung | CTFE: test size/align_of_val_raw on dangling pointers
|
commit | commitdiff | tree |
| 2020-12-29 |
Ralf Jung | Miri: make size/align_of_val work for dangling raw...
|
commit | commitdiff | tree |
| 2020-12-29 |
Ralf Jung | fix a comment
|
commit | commitdiff | tree |
| 2020-12-28 |
Ralf Jung | make more matches exhaustive
|
commit | commitdiff | tree |
| 2020-12-28 |
Ralf Jung | merge two match'es for more exhaustiveness
|
commit | commitdiff | tree |
| 2020-12-28 |
Ralf Jung | promotion: factor some common code into validate_ref
|
commit | commitdiff | tree |
| 2020-12-27 |
Ralf Jung | de-stabilize unsized raw ptr methods for Weak
|
commit | commitdiff | tree |
| 2020-12-26 |
Ralf Jung | address review feedback
|
commit | commitdiff | tree |
| 2020-12-26 |
Ralf Jung | clarify wrapping ptr arithmetic docs
|
commit | commitdiff | tree |
| 2020-12-25 |
Ralf Jung | fix another comment, and make __rust_start_panic code...
|
commit | commitdiff | tree |
| 2020-12-22 |
Ralf Jung | update a seemingly outdated comment
|
commit | commitdiff | tree |
| 2020-12-21 |
Ralf Jung | slightly more typed interface to panic implementation
|
commit | commitdiff | tree |
| 2020-12-20 |
Ralf Jung | promoteds in statics may refer to statics
|
commit | commitdiff | tree |
| 2020-12-20 |
Ralf Jung | validate promoteds
|
commit | commitdiff | tree |
| 2020-12-20 |
Ralf Jung | make sure [CONST; N] drops N times
|
commit | commitdiff | tree |
| 2020-12-20 |
Ralf Jung | add test that repeating non-Copy constants works
|
commit | commitdiff | tree |
| 2020-12-20 |
Ralf Jung | use exhaustive match for checking Rvalue::Repeat
|
commit | commitdiff | tree |
| 2020-12-19 |
Ralf Jung | also const-check FakeRead
|
commit | commitdiff | tree |
| 2020-12-18 |
Ralf Jung | Rollup merge of #80147 - pierwill:patch-9, r=lcnr
|
commit | commitdiff | tree |
| 2020-12-18 |
Ralf Jung | Rollup merge of #80146 - pierwill:pierwill-prelude...
|
commit | commitdiff | tree |
| 2020-12-18 |
Ralf Jung | Rollup merge of #80145 - pierwill:patch-8, r=lcnr
|
commit | commitdiff | tree |
| 2020-12-18 |
Ralf Jung | Rollup merge of #80135 - camelid:const-macro-nt, r...
|
commit | commitdiff | tree |
| 2020-12-18 |
Ralf Jung | Rollup merge of #80130 - pierwill:patch-7, r=oli-obk
|
commit | commitdiff | tree |
| 2020-12-18 |
Ralf Jung | Rollup merge of #80121 - LeSeulArtichaut:if-let-experimental...
|
commit | commitdiff | tree |
| 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-28 |
Ralf Jung | expand iter_projections comment
|
commit | commitdiff | tree |
| 2020-11-22 |
Ralf Jung | refactor unsafety checking of places
|
commit | commitdiff | tree |
| 2020-11-21 |
Ralf Jung | add function to iterate through all sub-places, and...
|
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-20 |
Ralf Jung | needs -> might need
|
commit | commitdiff | tree |
| 2020-11-20 |
Ralf Jung | improve formatting
|
commit | commitdiff | tree |
| 2020-11-20 |
Ralf Jung | adjust union access unsafety check logic to take into...
|
commit | commitdiff | tree |
| 2020-11-20 |
Ralf Jung | consider assignments of union field of ManuallyDrop...
|
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 |
| next |
projects / rust.git / search