2019-11-11 |
Ralf Jung | rustup |
blob | commitdiff | raw |
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 |
2019-06-24 |
bors | Auto merge of #787 - RalfJung:pointer-checks, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-06-23 |
Ralf Jung | adjust for refactored memory pointer checks |
blob | commitdiff | raw | diff to current |
2019-06-21 |
Christian Poveda | Implement intptrcast methods |
blob | commitdiff | raw | diff to current |
2019-06-13 |
Ralf Jung | Merge pull request #769 from RalfJung/rustup |
blob | commitdiff | raw | diff to current |
2019-06-13 |
Ralf Jung | rustup for lifetime refactorings |
blob | commitdiff | raw | diff to current |
2019-06-08 |
Ralf Jung | Merge pull request #765 from RalfJung/rustup |
blob | commitdiff | raw | diff to current |
2019-06-08 |
Ralf Jung | rustup for EvalResult rename |
blob | commitdiff | raw | diff to current |
2019-06-03 |
Ralf Jung | remove too expensive debug assertion (#755) |
blob | commitdiff | raw | diff to current |
2019-06-03 |
Ralf Jung | Merge branch 'master' into debug |
blob | commitdiff | raw | diff to current |
2019-06-02 |
Ralf Jung | Tag static/const allocations (#748) |
blob | commitdiff | raw | diff to current |
2019-06-02 |
Ralf Jung | use new rustc infrastructure to tag the base pointer... |
blob | commitdiff | raw | diff to current |
2019-05-31 |
Ralf Jung | remove too expensive debug assertion |
blob | commitdiff | raw | diff to current |
2019-05-27 |
Ralf Jung | Merge branch 'master' into miri-build |
blob | commitdiff | raw | diff to current |
2019-05-27 |
Ralf Jung | fix for latest rustc (#746) |
blob | commitdiff | raw | diff to current |
2019-05-27 |
Ralf Jung | fix for latest rustc |
blob | commitdiff | raw | diff to current |
2019-05-24 |
Oliver Scherer | Merge pull request #742 from RalfJung/stacked-borrows-2 |
blob | commitdiff | raw | diff to current |
2019-05-24 |
Ralf Jung | avoid printing the tag twice |
blob | commitdiff | raw | diff to current |
2019-05-24 |
Ralf Jung | avoid having both Debug and Display for a type and... |
blob | commitdiff | raw | diff to current |
2019-05-23 |
Ralf Jung | Merge pull request #741 from RalfJung/stacked-borrows-2 |
blob | commitdiff | raw | diff to current |
2019-05-23 |
Ralf Jung | use prettier printing |
blob | commitdiff | raw | diff to current |
2019-05-23 |
Ralf Jung | Merge pull request #740 from RalfJung/stacked-borrows-2 |
blob | commitdiff | raw | diff to current |
2019-05-23 |
Ralf Jung | hopefully improve error message a bit |
blob | commitdiff | raw | diff to current |
2019-05-19 |
Ralf Jung | Merge pull request #732 from RalfJung/stacked-borrows-2 |
blob | commitdiff | raw | diff to current |
2019-05-19 |
Ralf Jung | typo |
blob | commitdiff | raw | diff to current |
2019-05-19 |
Ralf Jung | Use `drain` instead of manually rolling it ourselves... |
blob | commitdiff | raw | diff to current |
2019-05-19 |
Oliver Scherer | Prefer `drain` over manual implementation of `drain` |
blob | commitdiff | raw | diff to current |
2019-05-17 |
Oliver Scherer | Merge pull request #730 from RalfJung/stacked-borrows-2 |
blob | commitdiff | raw | diff to current |
2019-05-17 |
Ralf Jung | nits |
blob | commitdiff | raw | diff to current |
2019-05-17 |
Ralf Jung | test and support two-phase reborrows of raw pointers... |
blob | commitdiff | raw | diff to current |
2019-05-17 |
Ralf Jung | reading does not remove Unique, it just invalidates... |
blob | commitdiff | raw | diff to current |
2019-05-17 |
Ralf Jung | give up on two-phase borrows |
blob | commitdiff | raw | diff to current |
2019-05-15 |
Ralf Jung | refactor to simplify |
blob | commitdiff | raw | diff to current |
2019-05-15 |
Ralf Jung | make writes act stack-like |
blob | commitdiff | raw | diff to current |
2019-05-13 |
Oliver Scherer | Merge pull request #726 from RalfJung/stacked-borrows-2 |
blob | commitdiff | raw | diff to current |
2019-05-11 |
Ralf Jung | Update src/stacked_borrows.rs |
blob | commitdiff | raw | diff to current |
2019-05-11 |
Ralf Jung | rename per-location part of reborowing to 'granting' |
blob | commitdiff | raw | diff to current |
2019-04-30 |
Ralf Jung | Merge pull request #718 from RalfJung/stacked-borrows-2 |
blob | commitdiff | raw | diff to current |
2019-04-30 |
bjorn3 | Apply suggestions from code review |
blob | commitdiff | raw | diff to current |
2019-04-30 |
Ralf Jung | SharedReadOnly reborrows are never weak |
blob | commitdiff | raw | diff to current |
2019-04-19 |
Oliver Scherer | Merge pull request #699 from RalfJung/stacked-borrows-2 |
blob | commitdiff | raw | diff to current |
2019-04-19 |
Ralf Jung | two-phase-borrow comment |
blob | commitdiff | raw | diff to current |
2019-04-18 |
Tim Diekmann | Merge branch 'master' into realloc |
blob | commitdiff | raw | diff to current |
2019-04-18 |
Ralf Jung | Merge pull request #695 from RalfJung/stacked-borrows-2 |
blob | commitdiff | raw | diff to current |
2019-04-17 |
Ralf Jung | embrace find_map and some whitespace changes |
blob | commitdiff | raw | diff to current |
2019-04-17 |
Oliver Scherer | Apply suggestions from code review |
blob | commitdiff | raw | diff to current |
2019-04-17 |
Ralf Jung | barriers are dead, long live protectors -- this enables... |
blob | commitdiff | raw | diff to current |
2019-04-17 |
Ralf Jung | abstract mapping over all the stacks in some memory... |
blob | commitdiff | raw | diff to current |
2019-04-17 |
Ralf Jung | let the permission of a new pointer depend on the type... |
blob | commitdiff | raw | diff to current |
2019-04-17 |
Ralf Jung | some failures are impossible |
blob | commitdiff | raw | diff to current |
2019-04-17 |
Ralf Jung | more comments |
blob | commitdiff | raw | diff to current |
2019-04-17 |
Ralf Jung | make run-pass tests pass. tweak how we remove barriers. |
blob | commitdiff | raw | diff to current |
2019-04-17 |
Ralf Jung | rewrite Stacked Borrows Core. this passes stacked-borro... |
blob | commitdiff | raw | diff to current |
2019-04-06 |
Ralf Jung | Merge branch 'master' into patch-1 |
blob | commitdiff | raw | diff to current |
2019-04-03 |
Oliver Scherer | Merge pull request #672 from rust-lang/update |
blob | commitdiff | raw | diff to current |
2019-04-03 |
Oliver Scherer | Update to rustc nightly |
blob | commitdiff | raw | diff to current |
next |