about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorLines
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-08Auto merge of #54847 - ljedrz:kill_graphviz_intocow, r=pnkfelixbors-81/+40
2018-10-08Auto merge of #54700 - frewsxcv:frewsxcv-binary-search, r=GuillaumeGomezbors-10/+13
2018-10-08Auto merge of #54609 - kzys:404-search, r=GuillaumeGomezbors-21/+54
2018-10-07Auto merge of #53517 - phungleson:fix-impl-from-for-error, r=frewsxcvbors-0/+13
2018-10-07Auto merge of #54810 - 1aim:unused-impl-trait, r=oli-obkbors-7/+24
2018-10-07Auto merge of #54835 - oli-obk:mögen_konstante_funktionen_doch_bitte_endlich...bors-254/+145
2018-10-07Clarify docs for when binary_search has many matches.Corey Farwell-10/+13
2018-10-07Auto merge of #54813 - petrochenkov:uilocale, r=alexcrichtonbors-42/+20
2018-10-07Auto merge of #54823 - euclio:needs-test, r=alexcrichtonbors-0/+68
2018-10-07Auto merge of #54451 - alexcrichton:no-mangle-extern-linkage, r=michaelwoeristerbors-307/+400
2018-10-07Auto merge of #54782 - pnkfelix:issue-54556-semi-on-tail-diagnostic, r=nikoma...bors-141/+958
2018-10-06rustc: Allow `#[no_mangle]` anywhere in a crateAlex Crichton-307/+400
2018-10-06Auto merge of #54756 - ljedrz:cleanup_middle, r=michaelwoeristerbors-711/+641
2018-10-06Auto merge of #54854 - matthiaskrgr:clippy_update, r=Manishearthbors-14/+14
2018-10-06'a' → 'an' in front of vowel sounds.Corey Farwell-1/+1
2018-10-06Auto merge of #54766 - alexcrichton:wasm-all-symbols, r=michaelwoeristerbors-4/+89
2018-10-06rustc/middle: whitespace & formatting fixesljedrz-572/+534
2018-10-06rustc/middle: improve allocationsljedrz-4/+8
2018-10-06rustc/middle: use Cow<'static, str> where applicableljedrz-38/+41
2018-10-06rustc/middle: improve some patternsljedrz-95/+56
2018-10-06submodules: update clippy to 32b1d1fc157f71ed2f10b60fe28abe087a743618 to fix ...Matthias Krüger-14/+14
2018-10-06Auto merge of #54859 - pietroalbini:rollup, r=pietroalbinibors-503/+796
2018-10-05Rollup merge of #54853 - davidtwco:issue-52663-missing-lifetime-suggestion-te...Pietro Albini-28/+11
2018-10-05Rollup merge of #54851 - alexcrichton:revert-optimize, r=sfacklerPietro Albini-47/+5
2018-10-05Rollup merge of #54834 - kzys:fix-small-screen, r=GuillaumeGomezPietro Albini-1/+0
2018-10-05Rollup merge of #54833 - abonander:issue-54441, r=petrochenkovPietro Albini-16/+40
2018-10-05Rollup merge of #54812 - pnkfelix:issue-32382-index-assoc-type-with-lifetime,...Pietro Albini-0/+42
2018-10-05Rollup merge of #54804 - euclio:inverted-parameters, r=estebankPietro Albini-1/+106
2018-10-05Rollup merge of #54787 - varkor:unused-mut-in-desugaring, r=nikomatsakisPietro Albini-17/+53
2018-10-05Rollup merge of #54781 - phansch:master, r=varkorPietro Albini-1/+16
2018-10-05Rollup merge of #54717 - ljedrz:cleanup_ty_p1, r=davidtwcoPietro Albini-388/+375
2018-10-05Rollup merge of #54078 - GabrielMajeri:expand-sync-docs, r=steveklabnikPietro Albini-4/+148
2018-10-05Auto merge of #54743 - ljedrz:cleanup_ty_p2, r=zackmdavisbors-178/+146
2018-10-05Simplify test.David Wood-28/+11