2020-05-14 |
Ralf Jung | Rollup merge of #72183 - tmiasko:decr-strong-count...
|
commit | commitdiff | tree |
2020-05-14 |
Ralf Jung | Rollup merge of #72169 - GuillaumeGomez:cleanup-e0582...
|
commit | commitdiff | tree |
2020-05-14 |
Ralf Jung | Rollup merge of #72163 - tshepang:nonexistent-link...
|
commit | commitdiff | tree |
2020-05-14 |
Ralf Jung | Rollup merge of #72151 - ehuss:update-books, r=ehuss
|
commit | commitdiff | tree |
2020-05-14 |
Ralf Jung | Rollup merge of #72150 - jackh726:unnorm_projection...
|
commit | commitdiff | tree |
2020-05-14 |
Ralf Jung | Rollup merge of #72138 - wesleywiser:add_doc_comment...
|
commit | commitdiff | tree |
2020-05-14 |
Ralf Jung | Rollup merge of #72137 - GuillaumeGomez:cleanup-e0581...
|
commit | commitdiff | tree |
2020-05-14 |
Ralf Jung | Rollup merge of #71964 - jcotton42:bootstrap_decode_none_win...
|
commit | commitdiff | tree |
2020-05-14 |
Ralf Jung | Rollup merge of #71909 - Dolpheyn:doc-from-trait-for...
|
commit | commitdiff | tree |
2020-05-14 |
Ralf Jung | Rollup merge of #71870 - ltratt:more_specific_type_name_doc...
|
commit | commitdiff | tree |
2020-05-14 |
Ralf Jung | Rollup merge of #71741 - RalfJung:pointer-print, r...
|
commit | commitdiff | tree |
2020-05-14 |
Ralf Jung | Rollup merge of #71525 - ldm0:intosug, r=Mark-Simulacrum
|
commit | commitdiff | tree |
2020-05-12 |
Ralf Jung | Pointer printing: do not print 0 offset
|
commit | commitdiff | tree |
2020-05-12 |
Ralf Jung | strings do not have to be valid UTF-8 any more
|
commit | commitdiff | tree |
2020-05-11 |
Ralf Jung | fix test_weak_count_locked for Miri
|
commit | commitdiff | tree |
2020-05-11 |
Ralf Jung | update miri some more
|
commit | commitdiff | tree |
2020-05-10 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-05-10 |
Ralf Jung | remove lldb package from bootstrap, config and build...
|
commit | commitdiff | tree |
2020-05-10 |
Ralf Jung | Rollup merge of #72043 - GuillaumeGomez:clean-up-e0569...
|
commit | commitdiff | tree |
2020-05-10 |
Ralf Jung | Rollup merge of #71945 - GuillaumeGomez:sort-impl-on...
|
commit | commitdiff | tree |
2020-05-10 |
Ralf Jung | Rollup merge of #71882 - alexcrichton:update-cc, r...
|
commit | commitdiff | tree |
2020-05-10 |
Ralf Jung | Rollup merge of #71840 - matthewjasper:drop-trees,...
|
commit | commitdiff | tree |
2020-05-10 |
Ralf Jung | use min_specialization for some rustc crates where...
|
commit | commitdiff | tree |
2020-05-09 |
Ralf Jung | Rollup merge of #71555 - cjgillot:nameless, r=matthewjasper
|
commit | commitdiff | tree |
2020-05-09 |
Ralf Jung | Rollup merge of #71508 - oli-obk:alloc_map_unlock,...
|
commit | commitdiff | tree |
2020-05-09 |
Ralf Jung | Rollup merge of #71234 - maurer:init-array, r=cuviper
|
commit | commitdiff | tree |
2020-05-09 |
Ralf Jung | Rollup merge of #71185 - JohnTitor:run-fail, r=petrochenkov
|
commit | commitdiff | tree |
2020-05-09 |
Ralf Jung | Rollup merge of #69406 - jackh726:chalk-upgrade, r...
|
commit | commitdiff | tree |
2020-05-07 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-05-07 |
Ralf Jung | use hex for pointers in Miri error messages; refine...
|
commit | commitdiff | tree |
2020-05-06 |
Ralf Jung | more precise vtable errors
|
commit | commitdiff | tree |
2020-05-06 |
Ralf Jung | try_validation: handle multi-branching, and use macro...
|
commit | commitdiff | tree |
2020-05-06 |
Ralf Jung | convert throw_validation_failure macro to same syntax...
|
commit | commitdiff | tree |
2020-05-06 |
Ralf Jung | properly catch invalid-drop-fn errors
|
commit | commitdiff | tree |
2020-05-06 |
Ralf Jung | convert remaining try_validation to new macro
|
commit | commitdiff | tree |
2020-05-05 |
Ralf Jung | add test for insufficiently aligned vtable
|
commit | commitdiff | tree |
2020-05-05 |
Ralf Jung | validation: port more checks to the pattern-based macro...
|
commit | commitdiff | tree |
2020-05-05 |
Ralf Jung | explain the types used in the open64 call
|
commit | commitdiff | tree |
2020-05-05 |
Ralf Jung | rely on rdlock/wrlock not returning anything but the...
|
commit | commitdiff | tree |
2020-05-04 |
Ralf Jung | edit Mutex comment
|
commit | commitdiff | tree |
2020-05-04 |
Ralf Jung | explain our rwlock implementation (and fix a potential...
|
commit | commitdiff | tree |
2020-05-04 |
Ralf Jung | expand comment on default mutex behavior
|
commit | commitdiff | tree |
2020-05-03 |
Ralf Jung | bless caller-location test
|
commit | commitdiff | tree |
2020-05-03 |
Ralf Jung | remove unneeded flags; exlain why we still have const_if_match
|
commit | commitdiff | tree |
2020-05-03 |
Ralf Jung | fmt
|
commit | commitdiff | tree |
2020-05-03 |
Ralf Jung | warn about each skipped feature gate
|
commit | commitdiff | tree |
2020-05-02 |
Ralf Jung | fix miri-unleash delayed sanity checking
|
commit | commitdiff | tree |
2020-05-02 |
Ralf Jung | explain why we use def_span
|
commit | commitdiff | tree |
2020-05-02 |
Ralf Jung | make sure the miri-unleash-flag is not used to circumvent...
|
commit | commitdiff | tree |
2020-05-02 |
Ralf Jung | Rollup merge of #71782 - cuviper:leave-dev-null-alone...
|
commit | commitdiff | tree |
2020-05-02 |
Ralf Jung | Rollup merge of #71781 - estebank:box-pin-test, r=tmandry
|
commit | commitdiff | tree |
2020-05-02 |
Ralf Jung | Rollup merge of #71739 - tshepang:master, r=Dylan-DPC
|
commit | commitdiff | tree |
2020-05-02 |
Ralf Jung | Rollup merge of #71738 - RalfJung:pointer-no-alloc...
|
commit | commitdiff | tree |
2020-05-02 |
Ralf Jung | Rollup merge of #71736 - RalfJung:silence-spurious...
|
commit | commitdiff | tree |
2020-05-02 |
Ralf Jung | Rollup merge of #71712 - RalfJung:error-backtrace,...
|
commit | commitdiff | tree |
2020-05-02 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2020-05-01 |
Ralf Jung | fix Miri error message padding
|
commit | commitdiff | tree |
2020-05-01 |
Ralf Jung | fmt
|
commit | commitdiff | tree |
2020-05-01 |
Ralf Jung | remove AllocId generalization of Pointer
|
commit | commitdiff | tree |
2020-05-01 |
Ralf Jung | liballoc tests: Miri supports threads now
|
commit | commitdiff | tree |
2020-05-01 |
Ralf Jung | bootstrap: also apply unused-attributes hack without...
|
commit | commitdiff | tree |
2020-05-01 |
Ralf Jung | use hex for invalid bool and char (consistently with...
|
commit | commitdiff | tree |
2020-05-01 |
Ralf Jung | rename InvalidIntPtrUsage
|
commit | commitdiff | tree |
2020-05-01 |
Ralf Jung | bless you
|
commit | commitdiff | tree |
2020-05-01 |
Ralf Jung | InterpError printing really is more Display than Debug
|
commit | commitdiff | tree |
2020-05-01 |
Ralf Jung | tweak InvalidIntPointerUsage message
|
commit | commitdiff | tree |
2020-04-30 |
Ralf Jung | deduplicate warnings
|
commit | commitdiff | tree |
2020-04-30 |
Ralf Jung | remove no longer needed feature flags
|
commit | commitdiff | tree |
2020-04-30 |
Ralf Jung | unleashed Miri: open all the gates
|
commit | commitdiff | tree |
2020-04-30 |
Ralf Jung | Miri: port error backtraces to std::backtrace
|
commit | commitdiff | tree |
2020-04-29 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2020-04-29 |
Ralf Jung | expand comment in memory.rs with extra soundness concerns
|
commit | commitdiff | tree |
2020-04-29 |
Ralf Jung | some more test cases
|
commit | commitdiff | tree |
2020-04-29 |
Ralf Jung | also test reference into static field
|
commit | commitdiff | tree |
2020-04-28 |
Ralf Jung | clarify comment
|
commit | commitdiff | tree |
2020-04-28 |
Ralf Jung | add test for const-ref-to-cross-crate-mutable-static
|
commit | commitdiff | tree |
2020-04-28 |
Ralf Jung | better document const-pattern dynamic soundness checks...
|
commit | commitdiff | tree |
2020-04-28 |
Ralf Jung | also run some generator tests without MIR optimizations
|
commit | commitdiff | tree |
2020-04-27 |
Ralf Jung | share some common code for compile-time miri instances
|
commit | commitdiff | tree |
2020-04-27 |
Ralf Jung | keep 'pointer' terminology around
|
commit | commitdiff | tree |
2020-04-27 |
Ralf Jung | make recursive-zst test unleashed
|
commit | commitdiff | tree |
2020-04-26 |
Ralf Jung | fmt
|
commit | commitdiff | tree |
2020-04-26 |
Ralf Jung | remove Unique::from for shared pointer types
|
commit | commitdiff | tree |
2020-04-26 |
Ralf Jung | organize Debug/Display impls a bit more; avoid sign...
|
commit | commitdiff | tree |
2020-04-26 |
Ralf Jung | Adjust style
|
commit | commitdiff | tree |
2020-04-26 |
Ralf Jung | print pointers more compactly when they are too big
|
commit | commitdiff | tree |
2020-04-26 |
Ralf Jung | sync alloc dump and pointer printing
|
commit | commitdiff | tree |
2020-04-24 |
Ralf Jung | adjust tests
|
commit | commitdiff | tree |
2020-04-24 |
Ralf Jung | Revert "Move early needs_subst bailout to _after_ linting."
|
commit | commitdiff | tree |
2020-04-23 |
Ralf Jung | explain what we are testing in mutable_const
|
commit | commitdiff | tree |
2020-04-23 |
Ralf Jung | add back Scalar::null_ptr
|
commit | commitdiff | tree |
2020-04-23 |
Ralf Jung | miri-unleash tests: ensure they fire even with 'allow...
|
commit | commitdiff | tree |
2020-04-23 |
Ralf Jung | liballoc: more compact way to adjust test sizes for...
|
commit | commitdiff | tree |
2020-04-23 |
Ralf Jung | libcore: more compact way to adjust test sizes for...
|
commit | commitdiff | tree |
2020-04-23 |
Ralf Jung | Miri Frame: use mir::Location to represent position...
|
commit | commitdiff | tree |
2020-04-22 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2020-04-22 |
Ralf Jung | smoke-test for async fn with mir-opt-level=0
|
commit | commitdiff | tree |
2020-04-22 |
Ralf Jung | comment explaining force_align usage
|
commit | commitdiff | tree |
2020-04-21 |
Ralf Jung | Fix stage0.txt version number comment
|
commit | commitdiff | tree |
2020-04-19 |
Ralf Jung | Fix comment
|
commit | commitdiff | tree |
next |