2018-08-16 |
varkor | Add a summary of the algorithm to the file |
blob | commitdiff | raw |
2018-08-16 |
varkor | Some reformatting |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Move logic from push_wild_constructor to apply_constructor |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Move witnesses inside push_wild_constructor |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Add some comments |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Refactor condition |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | No longer return value_constructors for all_constructors |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Refactor for less allocation |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Refactor after miri api changes |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Introduce signed_bias method |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Inline encode and decode methods |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Fix print_miri_value for signed integers |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Simplify bitwise operations |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Improve the comments |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Fix sign conversion arithmetic errors |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Refactor to remove explicit integer type matching |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Fix integer overflow |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Use bit operators for min_max_ty |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Refactor interval conditions |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Fix range splitting |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Require just the Unicode Scalar Values to be matched... |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Improve macros with reduced repetition |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Fix handling of signed integers |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Add feature gate and refactor |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Add support for all integer types |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Give correct suggestions |
blob | commitdiff | raw | diff to current |
2018-08-16 |
varkor | Implement interval checking |
blob | commitdiff | raw | diff to current |
2018-08-15 |
Guillaume Gomez | Rollup merge of #52453 - srijs:fix-52436, r=TimNN |
blob | commitdiff | raw | diff to current |
2018-08-09 |
bors | Auto merge of #52788 - LukasKalbertodt:improve-index... |
blob | commitdiff | raw | diff to current |
2018-08-06 |
bors | Auto merge of #52332 - zackmdavis:dead_code_lint_should... |
blob | commitdiff | raw | diff to current |
2018-08-04 |
kennytm | Rollup merge of #53001 - petrochenkov:master, r=estebank |
blob | commitdiff | raw | diff to current |
2018-08-02 |
bors | Auto merge of #52890 - djrenren:test-visibility, r... |
blob | commitdiff | raw | diff to current |
2018-08-01 |
Pietro Albini | Rollup merge of #52809 - davidtwco:issue-49579, r=pnkfelix |
blob | commitdiff | raw | diff to current |
2018-08-01 |
Pietro Albini | Rollup merge of #52793 - davidtwco:issue-49824, r=pnkfelix |
blob | commitdiff | raw | diff to current |
2018-08-01 |
bors | Auto merge of #51609 - dscorbett:is_numeric, r=alexcrichton |
blob | commitdiff | raw | diff to current |
2018-08-01 |
Pietro Albini | Rollup merge of #52851 - flip1995:tool_lints, r=oli-obk |
blob | commitdiff | raw | diff to current |
2018-08-01 |
Pietro Albini | Rollup merge of #52825 - RalfJung:codegen, r=alexcrichton |
blob | commitdiff | raw | diff to current |
2018-08-01 |
Pietro Albini | Rollup merge of #52822 - MajorBreakfast:fix-from-local... |
blob | commitdiff | raw | diff to current |
2018-08-01 |
Pietro Albini | Rollup merge of #52821 - fukatani:gdb-vecdeque-print... |
blob | commitdiff | raw | diff to current |
2018-08-01 |
Pietro Albini | Rollup merge of #52810 - matthewjasper:more-immutablity... |
blob | commitdiff | raw | diff to current |
2018-08-01 |
Pietro Albini | Rollup merge of #52778 - ljedrz:readable_serialize... |
blob | commitdiff | raw | diff to current |
2018-08-01 |
Pietro Albini | Rollup merge of #52771 - matklad:patch-1, r=kennytm |
blob | commitdiff | raw | diff to current |
2018-08-01 |
Pietro Albini | Rollup merge of #52745 - commandline:master, r=oli-obk |
blob | commitdiff | raw | diff to current |
2018-08-01 |
Pietro Albini | Rollup merge of #52340 - cypher:document-from-trait... |
blob | commitdiff | raw | diff to current |
2018-07-31 |
bors | Auto merge of #52863 - steveklabnik:update-books, r... |
blob | commitdiff | raw | diff to current |
2018-07-30 |
bors | Auto merge of #52697 - ljedrz:misc_data_structures... |
blob | commitdiff | raw | diff to current |
2018-07-30 |
bors | Auto merge of #52722 - alexcrichton:more-identifier... |
blob | commitdiff | raw | diff to current |
2018-07-30 |
bors | Auto merge of #52805 - ljedrz:format_str_literal, r... |
blob | commitdiff | raw | diff to current |
2018-07-30 |
Brad Gibson | resolved upstream merge conflicts |
blob | commitdiff | raw | diff to current |
2018-07-30 |
bors | Auto merge of #52823 - RalfJung:test, r=eddyb |
blob | commitdiff | raw | diff to current |
2018-07-29 |
bors | Auto merge of #52620 - mikhail-m1:51351, r=nikomatsakis |
blob | commitdiff | raw | diff to current |
2018-07-29 |
bors | Auto merge of #52755 - kennytm:update-rustfmt, r=nrc |
blob | commitdiff | raw | diff to current |
2018-07-29 |
bors | Auto merge of #52767 - ljedrz:avoid_format, r=petrochenkov |
blob | commitdiff | raw | diff to current |
2018-07-29 |
bors | Auto merge of #52764 - sinkuu:cleanup, r=nikomatsakis |
blob | commitdiff | raw | diff to current |
2018-07-27 |
Shotaro Yamada | Use str::repeat |
blob | commitdiff | raw | diff to current |
2018-07-24 |
Mark Rousskov | Rollup merge of #52656 - jD91mZM2:stablize-uds, r=alexc... |
blob | commitdiff | raw | diff to current |
2018-07-22 |
kennytm | Rollup merge of #51807 - newpavlov:deprecate_str_slice... |
blob | commitdiff | raw | diff to current |
2018-07-21 |
bors | Auto merge of #51485 - estebank:dehighlight-secondary... |
blob | commitdiff | raw | diff to current |
2018-07-19 |
bors | Auto merge of #51854 - davidtwco:rfc-2008-rustdoc,... |
blob | commitdiff | raw | diff to current |
2018-07-12 |
bors | Auto merge of #51339 - sdroege:exact-chunks-remainder... |
blob | commitdiff | raw | diff to current |
2018-07-11 |
bors | Auto merge of #51553 - jD91mZM2:uds, r=sfackler |
blob | commitdiff | raw | diff to current |
2018-07-11 |
bors | Auto merge of #51230 - nikic:no-verify-lto, r=pnkfelix |
blob | commitdiff | raw | diff to current |
2018-07-11 |
Guillaume Gomez | Rollup merge of #51701 - anirudhb:master, r=frewsxcv |
blob | commitdiff | raw | diff to current |
2018-07-10 |
Guillaume Gomez | Rollup merge of #51722 - Aaronepower:master, r=Mark... |
blob | commitdiff | raw | diff to current |
2018-07-07 |
bors | Auto merge of #51656 - soc:topic/fix-home-dir, r=SimonSapin |
blob | commitdiff | raw | diff to current |
2018-07-06 |
bors | Auto merge of #51757 - nielx:fix/haiku-fixes, r=nagisa |
blob | commitdiff | raw | diff to current |
2018-07-06 |
kennytm | Rollup merge of #52096 - d-e-s-o:fix-typo, r=sfackler |
blob | commitdiff | raw | diff to current |
2018-07-06 |
bors | Auto merge of #51861 - GuillaumeGomez:prevent-some... |
blob | commitdiff | raw | diff to current |
2018-07-05 |
kennytm | Rollup merge of #51793 - GuillaumeGomez:search-result... |
blob | commitdiff | raw | diff to current |
2018-07-05 |
kennytm | Rollup merge of #51619 - mksully22:ppc64le_rust, r... |
blob | commitdiff | raw | diff to current |
2018-07-05 |
bors | Auto merge of #51732 - GuillaumeGomez:cmd-line-lint... |
blob | commitdiff | raw | diff to current |
2018-07-04 |
bors | Auto merge of #51803 - lucasem:rustdoc-code-hash-escape... |
blob | commitdiff | raw | diff to current |
2018-07-04 |
bors | Auto merge of #51611 - QuietMisdreavus:slippery-macros... |
blob | commitdiff | raw | diff to current |
2018-07-04 |
bors | Auto merge of #51395 - SimonSapin:repr-transparent... |
blob | commitdiff | raw | diff to current |
2018-07-03 |
bors | Auto merge of #51450 - estebank:inner-fn-test, r=@pnkfelix |
blob | commitdiff | raw | diff to current |
2018-07-03 |
Pietro Albini | Rollup merge of #51809 - drrlvn:rw_exact_all_at, r... |
blob | commitdiff | raw | diff to current |
2018-07-03 |
Pietro Albini | Rollup merge of #51548 - DiamondLovesYou:amdgpu-target... |
blob | commitdiff | raw | diff to current |
2018-07-03 |
bors | Auto merge of #51564 - SimonSapin:try-int, r=alexcrichton |
blob | commitdiff | raw | diff to current |
2018-07-02 |
bors | Auto merge of #51645 - marco-c:error_when_incremental_a... |
blob | commitdiff | raw | diff to current |
2018-07-02 |
bors | Auto merge of #51864 - est31:libc_update, r=alexcrichton |
blob | commitdiff | raw | diff to current |
2018-07-01 |
Pietro Albini | Rollup merge of #51853 - MajorBreakfast:fix-doc-links... |
blob | commitdiff | raw | diff to current |
2018-07-01 |
Pietro Albini | Rollup merge of #51511 - Centril:feature/stabilize_iter... |
blob | commitdiff | raw | diff to current |
2018-07-01 |
bors | Auto merge of #51833 - wesleywiser:faster_large_constan... |
blob | commitdiff | raw | diff to current |
2018-07-01 |
bors | Auto merge of #51883 - estebank:placement-suggestion... |
blob | commitdiff | raw | diff to current |
2018-07-01 |
bors | Auto merge of #51855 - Eh2406:i51821, r=nikomatsakis |
blob | commitdiff | raw | diff to current |
2018-07-01 |
bors | Auto merge of #51882 - varkor:check-type_dependent_defs... |
blob | commitdiff | raw | diff to current |
2018-07-01 |
bors | Auto merge of #51869 - nnethercote:rm-clone_from, r... |
blob | commitdiff | raw | diff to current |
2018-06-30 |
bors | Auto merge of #51717 - Mark-Simulacrum:snap, r=alexcrichton |
blob | commitdiff | raw | diff to current |
2018-06-30 |
bors | Auto merge of #51849 - nikomatsakis:issue-51820-places... |
blob | commitdiff | raw | diff to current |
2018-06-30 |
bors | Auto merge of #51862 - estebank:lifetime-spans, r=nikom... |
blob | commitdiff | raw | diff to current |
2018-06-30 |
bors | Auto merge of #51806 - oli-obk:lowering_cleanups1,... |
blob | commitdiff | raw | diff to current |
2018-06-29 |
bors | Auto merge of #51729 - matthewjasper:move-errors, r... |
blob | commitdiff | raw | diff to current |
2018-06-29 |
bors | Auto merge of #50526 - moxian:just-fix, r=alexcrichton |
blob | commitdiff | raw | diff to current |
2018-06-29 |
bors | Auto merge of #51290 - Pslydhh:master, r=alexcrichton |
blob | commitdiff | raw | diff to current |
2018-06-29 |
bors | Auto merge of #50357 - seanmonstar:arc-weak-null, r... |
blob | commitdiff | raw | diff to current |
2018-06-29 |
bors | Auto merge of #51592 - GuillaumeGomez:fix-macro-doc... |
blob | commitdiff | raw | diff to current |
2018-06-28 |
bors | Auto merge of #51884 - Mark-Simulacrum:rollup, r=Mark... |
blob | commitdiff | raw | diff to current |
2018-06-28 |
Mark Rousskov | Rollup merge of #51875 - badboy:emscripten-no-wasm... |
blob | commitdiff | raw | diff to current |
2018-06-28 |
Mark Rousskov | Rollup merge of #51868 - Lireer:master, r=pietroalbini |
blob | commitdiff | raw | diff to current |
2018-06-28 |
Mark Rousskov | Rollup merge of #51839 - oli-obk:const_shift_overflow... |
blob | commitdiff | raw | diff to current |
next |