| 2022-07-20 |
bjorn3 | Move vtable_size and vtable_align impls to cg_ssa
|
commit | commitdiff | tree |
| 2022-07-20 |
bjorn3 | Implement vtable_size and vtable_align intrinsics for...
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | bless some tests
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | slightly cleaner, if more verbose, vtable handling...
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | consistently use VTable over Vtable (matching stable...
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | use extern type for extra opaqueness
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | incorporate some review feedback
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | add intrinsic to access vtable size and align
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | we seem to monomorphize fewer vtables by default now...
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | make use of symbolic vtables in interpreter
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | rename get_global_alloc to try_get_global_alloc
|
commit | commitdiff | tree |
| 2022-07-20 |
Ralf Jung | add a Vtable kind of symbolic allocations
|
commit | commitdiff | tree |
| 2022-07-19 |
Ralf Jung | interpret: rename Tag/PointerTag to Prov/Provenance
|
commit | commitdiff | tree |
| 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 | 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 | update Miri
|
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 | 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 |
projects / rust.git / search