about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorLines
2018-10-10update tcp stream documentationCharles Hathaway-4/+3
2018-10-10Auto merge of #54461 - RalfJung:pointer-provenance, r=oli-obkbors-547/+990
2018-10-10tidy upRalf Jung-1/+6
2018-10-10vtables are not leaksRalf Jung-4/+9
2018-10-10more comments for these sublte games we are playing with allocations in the m...Ralf Jung-30/+40
2018-10-10abstract mono_hash_map through a trait, only miri actually needs the fancy oneRalf Jung-136/+167
2018-10-10typos and spacesRalf Jung-16/+16
2018-10-10clarify alloc_map descriptionRalf Jung-4/+6
2018-10-10fix typosRalf Jung-2/+2
2018-10-10expand safety comment in memory.rsRalf Jung-0/+4
2018-10-10rename extra -> meta in placeRalf Jung-34/+34
2018-10-10expand commentRalf Jung-0/+2
2018-10-10tidy, oh tidyRalf Jung-4/+16
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-498/+870
2018-10-10Auto merge of #54831 - davidtwco:issue-52663-struct-field-suggestion, r=nikom...bors-0/+89
2018-10-10Auto merge of #54764 - tromey:test-rust-lldb, r=alexcrichtonbors-702/+1405
2018-10-09Auto merge of #54734 - pawroman:fix_range_borrowing_suggestion, r=varkorbors-3/+664
2018-10-09Auto merge of #54613 - matthiaskrgr:string_from_inline_53681, r=nagisabors-0/+2
2018-10-09Auto merge of #54762 - RalfJung:miri-validate, r=oli-obkbors-355/+638
2018-10-09validity: check dynamic size, not staticRalf Jung-6/+2
2018-10-09dont fail when validating non-local closuresRalf Jung-4/+8
2018-10-09box is also a primitive typeRalf Jung-7/+7
2018-10-09update miriRalf Jung-5/+5
2018-10-09add fixme for potential perf optimizationRalf Jung-0/+3
2018-10-09fix nits and handling of extern staticRalf Jung-36/+42
2018-10-09unify handling of thin and fat pointers by moving primitive type handling out...Ralf Jung-202/+225
2018-10-09add some tests with constants that better be validRalf Jung-0/+18
2018-10-09For now, accept all data for integer types when not in const modeRalf Jung-8/+10
2018-10-09tidy upRalf Jung-1/+1
2018-10-09do not look at refs to external statics at allRalf Jung-15/+22
2018-10-09miri engine: also check return type before calling functionRalf Jung-2/+36
2018-10-09add machine option to validate things on every copyRalf Jung-9/+39
2018-10-09move a test to a better placeRalf Jung-0/+0
2018-10-09also validate everything that has a Scalar layout, to catch NonNullRalf Jung-16/+146
2018-10-09fix validating arrays of ZSTsRalf Jung-19/+43
2018-10-09switch validation of scalars to be type-drivenRalf Jung-135/+117
2018-10-09check that entire ref is in-bounds before recursing; add macro for validation...Ralf Jung-96/+86
2018-10-09miri validity: make recursive ref checking optionalRalf Jung-87/+121
2018-10-09Auto merge of #54757 - nikomatsakis:nll-issue-54573-user-annot, r=pnkfelixbors-77/+387
2018-10-09Auto merge of #54798 - matthewjasper:free-region-closure-errors, r=nikomatsakisbors-210/+300
2018-10-09Fix test for windows osPaweł Romanowski-6/+10
2018-10-08add some `debug!` to type checkingNiko Matsakis-4/+19
2018-10-08document `create_substs_for_generic_args`Niko Matsakis-10/+33
2018-10-08add pattern type ascriptions for tuple/brace structs/enumsNiko Matsakis-8/+246
2018-10-08do not skip renumbering the place in place-type-ascriptionsNiko Matsakis-17/+12
2018-10-08extract more helper fns around user substsNiko Matsakis-26/+33
2018-10-08move `user_annotated_ty_for_adt` into a helper traitNiko Matsakis-18/+50
2018-10-08Auto merge of #54686 - zackmdavis:zero_life, r=nikomatsakisbors-41/+113
2018-10-08Run debuginfo tests against rust-enabled lldb, when possibleTom Tromey-702/+1405
2018-10-08Attempt to fix #54505 tests for wasmPaweł Romanowski-11/+12