2020-03-28 |
Ralf Jung | env shim: make sure we clean up all the memory we allocate |
blob | commitdiff | raw |
2020-03-25 |
bors | Auto merge of #1259 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-25 |
Ralf Jung | rustup, adjust for renames |
blob | commitdiff | raw | diff to current |
2020-03-23 |
bors | Auto merge of #1257 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-23 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2020-03-22 |
bors | Auto merge of #1250 - RalfJung:error-context, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-03-22 |
Ralf Jung | link to some websites for UB explanations |
blob | commitdiff | raw | diff to current |
2020-03-02 |
bors | Auto merge of #1202 - RalfJung:symbols, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-02 |
Ralf Jung | HashMap -> FxHashMap |
blob | commitdiff | raw | diff to current |
2020-03-02 |
bors | Auto merge of #1190 - RalfJung:canonical-alloc-id,... |
blob | commitdiff | raw | diff to current |
2020-03-02 |
Ralf Jung | port from find_foreign_static to canonical_alloc_id |
blob | commitdiff | raw | diff to current |
2020-03-01 |
bors | Auto merge of #1197 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-01 |
Ralf Jung | some formatting |
blob | commitdiff | raw | diff to current |
2020-02-26 |
bors | Auto merge of #1152 - divergentdave:shim-directory... |
blob | commitdiff | raw | diff to current |
2020-02-26 |
bors | Auto merge of #1192 - RalfJung:disable-stacked-borrows... |
blob | commitdiff | raw | diff to current |
2020-02-24 |
Ralf Jung | add an option to disable Stacked Borrows |
blob | commitdiff | raw | diff to current |
2020-01-10 |
bors | Auto merge of #1143 - christianpoveda:symlink-shim... |
blob | commitdiff | raw | diff to current |
2020-01-09 |
bors | Auto merge of #1127 - rust-lang:stacked_borrow_tracing... |
blob | commitdiff | raw | diff to current |
2020-01-09 |
Oliver Scherer | Remove trailing newline |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Use names that actually represent what's going on |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Make the non-halting diagnostic scheme independent... |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Remove debugging hint until we can actuall use `note:` |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Process delayed errors on every step |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Tell the user about stacked borrow debugging flags |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Oliver Scherer | Emit errors without halting interpretation |
blob | commitdiff | raw | diff to current |
2020-01-07 |
bors | Auto merge of #1140 - RalfJung:no-macos, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-01-07 |
bors | Auto merge of #1142 - JohnTitor:rustup-0107, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Yuki Okushi | Rustup |
blob | commitdiff | raw | diff to current |
2019-12-31 |
bors | Auto merge of #1130 - christianpoveda:ignore-close... |
blob | commitdiff | raw | diff to current |
2019-12-27 |
bors | Auto merge of #1114 - rust-lang:to_ptr_considered_harmf... |
blob | commitdiff | raw | diff to current |
2019-12-27 |
Oliver Scherer | Remove `to_ptr` uses |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1121 - rust-lang:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-12-23 |
Oliver Scherer | Rustup to rustc 1.42.0-nightly (005cf38f7 2019-12-22) |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1124 - RalfJung:sysroot-check, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1118 - rust-lang:stacked_borrow_tracing... |
blob | commitdiff | raw | diff to current |
2019-12-23 |
Oliver Scherer | Rustfmt all the things |
blob | commitdiff | raw | diff to current |
2019-12-22 |
bors | Auto merge of #1101 - christianpoveda:stat-shim, r... |
blob | commitdiff | raw | diff to current |
2019-12-14 |
bors | Auto merge of #1113 - RalfJung:vtable, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-12-10 |
bors | Auto merge of #1080 - rust-lang:stacked_borrow_tracing... |
blob | commitdiff | raw | diff to current |
2019-12-09 |
Oliver Scherer | Use the machine stop error instead of abusing other... |
blob | commitdiff | raw | diff to current |
2019-12-08 |
Oliver Scherer | Rename track-id to track-pointer-tag |
blob | commitdiff | raw | diff to current |
2019-12-08 |
Oliver Scherer | Detect all variants of stack removals |
blob | commitdiff | raw | diff to current |
2019-12-08 |
Oliver Scherer | Add a scheme to find the place where an id was destroyed |
blob | commitdiff | raw | diff to current |
2019-12-02 |
bors | Auto merge of #1084 - RalfJung:assert-panic, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-12-02 |
Ralf Jung | fix init_allocation_extra |
blob | commitdiff | raw | diff to current |
2019-12-02 |
Ralf Jung | adjust for init_allocation_extra |
blob | commitdiff | raw | diff to current |
2019-11-19 |
bors | Auto merge of #693 - Aaron1011:feature/panic_unwind_fin... |
blob | commitdiff | raw | diff to current |
2019-11-17 |
Aaron Hill | Support unwinding after a panic |
blob | commitdiff | raw | diff to current |
2019-11-17 |
bors | Auto merge of #1055 - RalfJung:panic-stub, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-11-14 |
bors | Auto merge of #1053 - RalfJung:clean, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-11-14 |
bors | Auto merge of #1052 - RalfJung:icefix, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-11-14 |
Ralf Jung | do full deref-check before reborrowing |
blob | commitdiff | raw | diff to current |
2019-11-13 |
bors | Auto merge of #1022 - christianpoveda:fix-fd-access... |
blob | commitdiff | raw | diff to current |
2019-11-11 |
bors | Auto merge of #1047 - RalfJung:uprust, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-11-11 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2019-11-09 |
Christian Poveda | Fix merge conflicts |
blob | commitdiff | raw | diff to current |
2019-11-08 |
bors | Auto merge of #1044 - RalfJung:uprust, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-11-08 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2019-10-30 |
bors | Auto merge of #1027 - RalfJung:typo, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-10-30 |
Ralf Jung | fix typo |
blob | commitdiff | raw | diff to current |
2019-10-21 |
Christian Poveda | Fix merge conflicts |
blob | commitdiff | raw | diff to current |
2019-10-21 |
bors | Auto merge of #1010 - RalfJung:xargo, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-10-20 |
bors | Auto merge of #1009 - RalfJung:expect_none, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-10-20 |
Ralf Jung | use expect_none and unwrap_none where it makes sense |
blob | commitdiff | raw | diff to current |
2019-10-18 |
bors | Auto merge of #1004 - JohnTitor:use-memory, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-10-18 |
Yuki Okushi | Use memory field instead of memory() |
blob | commitdiff | raw | diff to current |
2019-09-30 |
Christian Poveda | Reserve fides for stdio and fix merge issues |
blob | commitdiff | raw | diff to current |
2019-09-28 |
bors | Auto merge of #957 - christianpoveda:ptr-align-offset... |
blob | commitdiff | raw | diff to current |
2019-09-28 |
bors | Auto merge of #963 - rust-lang:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-09-26 |
Oliver Scherer | Rustup to `sty` -> `kind` changes |
blob | commitdiff | raw | diff to current |
2019-08-09 |
bors | Auto merge of #896 - tmandry:add-generator-uninhabited... |
blob | commitdiff | raw | diff to current |
2019-08-08 |
bors | Auto merge of #871 - RalfJung:miri-rustc-cleanup, r... |
blob | commitdiff | raw | diff to current |
2019-08-05 |
bors | Auto merge of #888 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-05 |
Ralf Jung | fix for latest rustc |
blob | commitdiff | raw | diff to current |
2019-08-04 |
bors | Auto merge of #882 - RalfJung:miri-rustc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-03 |
bors | Auto merge of #881 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-03 |
Ralf Jung | adjust for rustc changes |
blob | commitdiff | raw | diff to current |
2019-08-03 |
bors | Auto merge of #877 - christianpoveda:ldexp-shim, r... |
blob | commitdiff | raw | diff to current |
2019-08-03 |
bors | Auto merge of #878 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-03 |
Ralf Jung | fix for error refactoring |
blob | commitdiff | raw | diff to current |
2019-08-02 |
bors | Auto merge of #870 - RalfJung:miri-rustc, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-08-02 |
bors | Auto merge of #872 - RalfJung:retag-shallow, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-08-02 |
Ralf Jung | comment |
blob | commitdiff | raw | diff to current |
2019-08-02 |
Ralf Jung | make reborrow shallow, and fix tests for that |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #853 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #854 - lzutao:warn-idioms, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-24 |
Lzu Tao | build: Warn if not use 2018 idioms |
blob | commitdiff | raw | diff to current |
2019-07-11 |
bors | Auto merge of #830 - RalfJung:check-place, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-10 |
Ralf Jung | force pointers before reborrowing; fixes cargo miri... |
blob | commitdiff | raw | diff to current |
2019-07-06 |
bors | Auto merge of #799 - rust-lang:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-06 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2019-07-04 |
bors | Auto merge of #822 - RalfJung:tls, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-03 |
bors | Auto merge of #820 - RalfJung:intptrcast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-03 |
Ralf Jung | don't call Stacked Borrows hooks at all when validation... |
blob | commitdiff | raw | diff to current |
2019-07-01 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
2019-06-29 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
2019-06-29 |
Ralf Jung | some module comments |
blob | commitdiff | raw | diff to current |
2019-06-26 |
bors | Auto merge of #779 - christianpoveda:intptrcast-model... |
blob | commitdiff | raw | diff to current |
2019-06-25 |
Christian Poveda | Fix merge conflicts |
blob | commitdiff | raw | diff to current |
2019-06-24 |
Christian Poveda | Reorganize MemoryExtra and AllocExtra structures |
blob | commitdiff | raw | diff to current |
next |