2021-04-15 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-04-10 |
Ralf Jung | fix incorrect from_raw_in doctest
|
commit | commitdiff | tree |
2021-04-10 |
Ralf Jung | fix Miri errors in libcore doctests
|
commit | commitdiff | tree |
2021-04-10 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-04-06 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-04-04 |
Ralf Jung | fix typo
|
commit | commitdiff | tree |
2021-04-04 |
Ralf Jung | rely on intra-doc links
|
commit | commitdiff | tree |
2021-04-03 |
Ralf Jung | explain that even addr_of cannot deref a NULL ptr
|
commit | commitdiff | tree |
2021-04-03 |
Ralf Jung | addr_of_mut: add example for creating a pointer to...
|
commit | commitdiff | tree |
2021-03-28 |
Ralf Jung | adjust old test
|
commit | commitdiff | tree |
2021-03-28 |
Ralf Jung | unaligned_references: align(N) fields in packed(N)...
|
commit | commitdiff | tree |
2021-03-28 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-03-27 |
Ralf Jung | clarify 'remains attached', and remove recommendation...
|
commit | commitdiff | tree |
2021-03-27 |
Ralf Jung | add definition of 'allocated object', and link it from...
|
commit | commitdiff | tree |
2021-03-27 |
Ralf Jung | make unaligned_refereces future-incompat lint warn...
|
commit | commitdiff | tree |
2021-03-27 |
Ralf Jung | update comment at MaybeUninit::uninit_array
|
commit | commitdiff | tree |
2021-03-27 |
Ralf Jung | Run Miri test suite with mir-opt-level=4
|
commit | commitdiff | tree |
2021-03-21 |
Ralf Jung | post-drop-elab check-const: explain why we still check...
|
commit | commitdiff | tree |
2021-03-18 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-03-11 |
Ralf Jung | bump Miri
|
commit | commitdiff | tree |
2021-03-10 |
Ralf Jung | fix error message for copy(_nonoverlapping) overflow
|
commit | commitdiff | tree |
2021-03-10 |
Ralf Jung | add regression test
|
commit | commitdiff | tree |
2021-03-10 |
Ralf Jung | fix copy_nonoverlapping
|
commit | commitdiff | tree |
2021-03-06 |
Ralf Jung | tweak MaybeUninit docs
|
commit | commitdiff | tree |
2021-03-04 |
Ralf Jung | improve offset_from docs
|
commit | commitdiff | tree |
2021-03-02 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-03-02 |
Ralf Jung | enable atomic_min/max tests in Miri
|
commit | commitdiff | tree |
2021-02-28 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-02-22 |
Ralf Jung | disable atomic_max/min tests in Miri
|
commit | commitdiff | tree |
2021-02-21 |
Ralf Jung | improve UnsafeCell docs
|
commit | commitdiff | tree |
2021-02-20 |
Ralf Jung | all InterpError allocate now, so adjust alloc-error...
|
commit | commitdiff | tree |
2021-02-20 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-02-20 |
Ralf Jung | fn ptr pretty printing: fall back to raw ptr printing
|
commit | commitdiff | tree |
2021-02-16 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-02-16 |
Ralf Jung | add test
|
commit | commitdiff | tree |
2021-02-16 |
Ralf Jung | fix MIR fn-ptr pretty-printing
|
commit | commitdiff | tree |
2021-02-16 |
Ralf Jung | validation: fix invalid-fn-ptr error message
|
commit | commitdiff | tree |
2021-02-13 |
Ralf Jung | CTFE validation: catch ReadPointerAsBytes and better...
|
commit | commitdiff | tree |
2021-02-09 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2021-02-06 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
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-21 |
Ralf Jung | directly expose copy and copy_nonoverlapping intrinsics
|
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 |
next |