2021-02-04 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-02-03 |
Ralf Jung | make const_err a future incompat lint
|
commit | commitdiff | tree |
2021-01-31 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-01-30 |
Ralf Jung | codegen: assume constants cannot fail to evaluate
|
commit | commitdiff | tree |
2021-01-29 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-01-29 |
Ralf Jung | rename raw_const/mut -> const/mut_addr_of, and stabilize...
|
commit | commitdiff | tree |
2021-01-25 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-01-24 |
Ralf Jung | clean up some const error reporting around promoteds
|
commit | commitdiff | tree |
2021-01-24 |
Ralf Jung | clean up some const error reporting around promoteds
|
commit | commitdiff | tree |
2021-01-22 |
Ralf Jung | re-bless ui tests
|
commit | commitdiff | tree |
2021-01-22 |
Ralf Jung | expand successful-promotion test a bit
|
commit | commitdiff | tree |
2021-01-22 |
Ralf Jung | do promote array indexing if we know it is in-bounds
|
commit | commitdiff | tree |
2021-01-22 |
Ralf Jung | update const_err description
|
commit | commitdiff | tree |
2021-01-22 |
Ralf Jung | avoid promoting division, modulo and indexing operations...
|
commit | commitdiff | tree |
2021-01-18 |
Ralf Jung | remove some outdated comments regarding debug assertions
|
commit | commitdiff | tree |
2021-01-18 |
Ralf Jung | use raw-ptr-addr-of for slice::swap
|
commit | commitdiff | tree |
2021-01-17 |
Ralf Jung | validation test: turn some const_err back into validation...
|
commit | commitdiff | tree |
2021-01-16 |
Ralf Jung | PlaceRef::ty: use method call syntax
|
commit | commitdiff | tree |
2021-01-06 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-01-04 |
Ralf Jung | make sure that promoteds which fail to evaluate in...
|
commit | commitdiff | tree |
2021-01-03 |
Ralf Jung | use PlaceRef more consistently instead of loosely coupled...
|
commit | commitdiff | tree |
2021-01-02 |
Ralf Jung | extend comment
|
commit | commitdiff | tree |
2021-01-01 |
Ralf Jung | improve unconditional_panic description
|
commit | commitdiff | tree |
2020-12-31 |
Ralf Jung | remove move_val_init leftovers
|
commit | commitdiff | tree |
2020-12-30 |
Ralf Jung | implement ptr::write without dedicated intrinsic
|
commit | commitdiff | tree |
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 |
next |