2022-07-18 |
Ralf Jung | interpret: make some large types not Copy
|
commit | commitdiff | tree |
2022-07-18 |
Ralf Jung | interpret: remove some unused trait impls
|
commit | commitdiff | tree |
2022-07-17 |
Ralf Jung | interpret/visitor: add missing early return
|
commit | commitdiff | tree |
2022-07-17 |
Ralf Jung | make tidy accept another permutation of this license...
|
commit | commitdiff | tree |
2022-07-17 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2022-07-15 |
Ralf Jung | interpret/visitor: support visiting with a PlaceTy
|
commit | commitdiff | tree |
2022-07-14 |
Ralf Jung | interpret/validity: improve some comments
|
commit | commitdiff | tree |
2022-07-14 |
Ralf Jung | rename MPlaceTy::dangling to fake_alloc_zst
|
commit | commitdiff | tree |
2022-07-14 |
Ralf Jung | add missing null ptr check in alloc example
|
commit | commitdiff | tree |
2022-07-13 |
Ralf Jung | add array tests, cleanup, tidy, and bless
|
commit | commitdiff | tree |
2022-07-13 |
Ralf Jung | add array tests, cleanup, tidy, and bless
|
commit | commitdiff | tree |
2022-07-13 |
Ralf Jung | assigning to a union field can never drop now
|
commit | commitdiff | tree |
2022-07-13 |
Ralf Jung | remove untagged_union feature gate
|
commit | commitdiff | tree |
2022-07-13 |
Ralf Jung | also allow arrays of allowed types
|
commit | commitdiff | tree |
2022-07-13 |
Ralf Jung | allow unions with mutable references and tuples of...
|
commit | commitdiff | tree |
2022-07-13 |
Ralf Jung | factor 'is this type allowed as union field on stable...
|
commit | commitdiff | tree |
2022-07-13 |
Ralf Jung | get rid of MemPlaceMeta::Poison
|
commit | commitdiff | tree |
2022-07-12 |
Ralf Jung | use a loop rather than try_fold
|
commit | commitdiff | tree |
2022-07-12 |
Ralf Jung | interpret: refactor projection handling code
|
commit | commitdiff | tree |
2022-07-09 |
Ralf Jung | tweak names and output and bless
|
commit | commitdiff | tree |
2022-07-09 |
Ralf Jung | review feedback
|
commit | commitdiff | tree |
2022-07-09 |
Ralf Jung | fix cranelift and gcc backends
|
commit | commitdiff | tree |
2022-07-09 |
Ralf Jung | don't allow ZST in ScalarInt
|
commit | commitdiff | tree |
2022-07-08 |
Ralf Jung | interpret: only to track_caller in debug builds due...
|
commit | commitdiff | tree |
2022-07-08 |
Ralf Jung | add regex to rustc-workspace-hack
|
commit | commitdiff | tree |
2022-07-08 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2022-07-07 |
Ralf Jung | make a name less ambiguous
|
commit | commitdiff | tree |
2022-07-06 |
Ralf Jung | fix a strange ConstProp ICE
|
commit | commitdiff | tree |
2022-07-06 |
Ralf Jung | deduplicate some copy_op code
|
commit | commitdiff | tree |
2022-07-06 |
Ralf Jung | bless
|
commit | commitdiff | tree |
2022-07-06 |
Ralf Jung | support passing unsized fn arguments
|
commit | commitdiff | tree |
2022-07-06 |
Ralf Jung | interpret: remove LocalValue::Unallocated, add Operand...
|
commit | commitdiff | tree |
2022-07-06 |
Ralf Jung | fix ICE in ConstProp
|
commit | commitdiff | tree |
2022-07-06 |
Ralf Jung | add track_caller to some interpreter functions
|
commit | commitdiff | tree |
2022-07-06 |
Ralf Jung | interpret: use AllocRange in UninitByteAccess
|
commit | commitdiff | tree |
2022-07-06 |
Ralf Jung | add test
|
commit | commitdiff | tree |
2022-07-06 |
Ralf Jung | finally enable Scalar layout sanity checks
|
commit | commitdiff | tree |
2022-07-05 |
Ralf Jung | fix type in function name
|
commit | commitdiff | tree |
2022-07-05 |
Ralf Jung | add asserts
|
commit | commitdiff | tree |
2022-07-05 |
Ralf Jung | fix the layout of repr(align) enums
|
commit | commitdiff | tree |
2022-07-05 |
Ralf Jung | adjust dangling-int-ptr error message
|
commit | commitdiff | tree |
2022-07-05 |
Ralf Jung | always check overflow in CheckedBinOp in CTFE
|
commit | commitdiff | tree |
2022-07-05 |
Ralf Jung | interpret: fix CheckedBinOp behavior when overflow...
|
commit | commitdiff | tree |
2022-07-04 |
Ralf Jung | extra assertion, extra sure
|
commit | commitdiff | tree |
2022-07-04 |
Ralf Jung | clarify comment
|
commit | commitdiff | tree |
2022-07-04 |
Ralf Jung | move Box mess handling into general visitor
|
commit | commitdiff | tree |
2022-07-04 |
Ralf Jung | fix interpreter validity check on Box
|
commit | commitdiff | tree |
2022-07-03 |
Ralf Jung | Rollup merge of #98799 - jyn514:rustdoc-lint-help,...
|
commit | commitdiff | tree |
2022-07-03 |
Ralf Jung | Rollup merge of #98773 - notriddle:notriddle/source...
|
commit | commitdiff | tree |
2022-07-03 |
Ralf Jung | Rollup merge of #98764 - InfRandomness:miri-rustdoc...
|
commit | commitdiff | tree |
2022-07-03 |
Ralf Jung | Rollup merge of #94831 - yaahc:lib-tracking-issue-template...
|
commit | commitdiff | tree |
2022-07-03 |
Ralf Jung | ignore rustdoc failures for out-of-tree tools
|
commit | commitdiff | tree |
2022-07-03 |
Ralf Jung | interpret: track place alignment together with the...
|
commit | commitdiff | tree |
2022-07-03 |
Ralf Jung | interpret: don't rely on ScalarPair for overflowed...
|
commit | commitdiff | tree |
2022-07-02 |
Ralf Jung | Rollup merge of #98819 - RalfJung:miri, r=RalfJung
|
commit | commitdiff | tree |
2022-07-02 |
Ralf Jung | Rollup merge of #98812 - gimbles:docs-template, r=Mark...
|
commit | commitdiff | tree |
2022-07-02 |
Ralf Jung | Rollup merge of #98805 - ChrisDenton:rel-notes, r=Dylan-DPC
|
commit | commitdiff | tree |
2022-07-02 |
Ralf Jung | Rollup merge of #98753 - jyn514:dist-rust-dev, r=Mark...
|
commit | commitdiff | tree |
2022-07-02 |
Ralf Jung | Rollup merge of #98715 - matthiaskrgr:test_97047, r...
|
commit | commitdiff | tree |
2022-07-02 |
Ralf Jung | Rollup merge of #98701 - TaKO8Ki:add-regression-test...
|
commit | commitdiff | tree |
2022-07-02 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2022-07-02 |
Ralf Jung | more use of format! variable capture
|
commit | commitdiff | tree |
2022-07-02 |
Ralf Jung | make AllocRef APIs more consistent
|
commit | commitdiff | tree |
2022-07-02 |
Ralf Jung | add AllocRange Debug impl; remove redundant AllocId...
|
commit | commitdiff | tree |
2022-07-01 |
Ralf Jung | interpret: make a comment less scary
|
commit | commitdiff | tree |
2022-06-30 |
Ralf Jung | get rid of some tidy 'unnecessarily ignored' warnings
|
commit | commitdiff | tree |
2022-06-30 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2022-06-29 |
Ralf Jung | fix doc issues
|
commit | commitdiff | tree |
2022-06-29 |
Ralf Jung | interpret: add From<&MplaceTy> for PlaceTy
|
commit | commitdiff | tree |
2022-06-29 |
Ralf Jung | ping more people
|
commit | commitdiff | tree |
2022-06-29 |
Ralf Jung | move MIR syntax into a dedicated file and ping some...
|
commit | commitdiff | tree |
2022-06-29 |
Ralf Jung | fix stderr by hand since that test is not run on my...
|
commit | commitdiff | tree |
2022-06-29 |
Ralf Jung | interpret: adjust error from constructing an invalid...
|
commit | commitdiff | tree |
2022-06-28 |
Ralf Jung | emit Retag for compound types with reference fields
|
commit | commitdiff | tree |
2022-06-27 |
Ralf Jung | fix data race in thread::scope
|
commit | commitdiff | tree |
2022-06-27 |
Ralf Jung | libcore tests: avoid int2ptr casts
|
commit | commitdiff | tree |
2022-06-27 |
Ralf Jung | make AllocKind actually public
|
commit | commitdiff | tree |
2022-06-27 |
Ralf Jung | liballoc tests: avoid int2ptr cast
|
commit | commitdiff | tree |
2022-06-27 |
Ralf Jung | interpret: refactor allocation info query
|
commit | commitdiff | tree |
2022-06-26 |
Ralf Jung | interpret: do not prune requires_caller_location stack...
|
commit | commitdiff | tree |
2022-06-26 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2022-06-25 |
Ralf Jung | bless after rebase
|
commit | commitdiff | tree |
2022-06-25 |
Ralf Jung | bless remaining tests
|
commit | commitdiff | tree |
2022-06-25 |
Ralf Jung | make const_err show up in future breakage reports
|
commit | commitdiff | tree |
2022-06-22 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2022-06-22 |
Ralf Jung | clarify Arc::clone overflow check comment
|
commit | commitdiff | tree |
2022-06-21 |
Ralf Jung | hedge our bets
|
commit | commitdiff | tree |
2022-06-21 |
Ralf Jung | remove use of &Alloc in btree tests
|
commit | commitdiff | tree |
2022-06-18 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2022-06-18 |
Ralf Jung | make std not use &A: Allocator instance
|
commit | commitdiff | tree |
2022-06-18 |
Ralf Jung | make btree not use &A: Allocator instance
|
commit | commitdiff | tree |
2022-06-17 |
Ralf Jung | comments explaining why we have and don't have ManuallyDrop
|
commit | commitdiff | tree |
2022-06-17 |
Ralf Jung | btree: avoid forcing the allocator to be a reference
|
commit | commitdiff | tree |
2022-06-16 |
Ralf Jung | interpret: convert_tag_add_extra, init_allocation_extra...
|
commit | commitdiff | tree |
2022-06-10 |
Ralf Jung | interpret: unify offset_from check with offset check
|
commit | commitdiff | tree |
2022-06-09 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2022-06-06 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2022-06-05 |
Ralf Jung | interpret: do not claim UB until we looked more into...
|
commit | commitdiff | tree |
2022-06-05 |
Ralf Jung | validating the vtable can lead to Stacked Borrows errors
|
commit | commitdiff | tree |
2022-06-05 |
Ralf Jung | restore a test
|
commit | commitdiff | tree |
next |