| 2020-10-28 |
bors | Auto merge of #1606 - RalfJung:trophy, r=oli-obk |
blob | commitdiff | raw |
| 2020-10-28 |
bors | Auto merge of #1603 - RalfJung:track-raw, r=oli-obk |
blob | commitdiff | raw |
| 2020-10-28 |
Ralf Jung | Stacked Borrows: print affected memory location on... |
blob | commitdiff | raw |
| 2020-04-04 |
bors | Auto merge of #1293 - Firstyear:1289-miri-readme, r... |
blob | commitdiff | raw | diff to current |
| 2020-04-03 |
bors | Auto merge of #1294 - JOE1994:windows_instant, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2020-04-02 |
bors | Auto merge of #1299 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2020-04-02 |
Ralf Jung | rustup for import changes |
blob | commitdiff | raw | diff to current |
| 2020-03-30 |
bors | Auto merge of #1270 - RalfJung:incremental, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2020-03-30 |
bors | Auto merge of #1279 - divergentdave:open_O_EXCL, r... |
blob | commitdiff | raw | diff to current |
| 2020-03-30 |
bors | Auto merge of #1281 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2020-03-30 |
Ralf Jung | adjust for librustc rename; reduce 'extern crate' to... |
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-07-06 |
bors | Auto merge of #799 - rust-lang:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2019-07-06 |
Ralf Jung | fix unused variable warning |
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-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-02-26 |
Ralf Jung | Merge pull request #635 from alexreg/cosmetic-2 |
blob | commitdiff | raw | diff to current |
| 2019-02-26 |
Alexander Regueiro | Fixed nits raised in review. |
blob | commitdiff | raw | diff to current |
| 2019-02-26 |
Alexander Regueiro | Various cosmetic improvements. |
blob | commitdiff | raw | diff to current |
| 2019-01-08 |
Oliver Scherer | Merge pull request #597 from RalfJung/range-map |
blob | commitdiff | raw | diff to current |
| 2019-01-07 |
Ralf Jung | expand docs |
blob | commitdiff | raw | diff to current |
| 2019-01-07 |
Ralf Jung | tweak merging to give up if we don't make any progress |
blob | commitdiff | raw | diff to current |
| 2019-01-07 |
Ralf Jung | be explicit about doing a binary search; fix out-of... |
blob | commitdiff | raw | diff to current |
| 2019-01-07 |
Ralf Jung | deduplicate RangeMap elements in iter_mut |
blob | commitdiff | raw | diff to current |
| 2019-01-07 |
Ralf Jung | rewrite RangeMap to use a sorted Vec instead of a RangeMap |
blob | commitdiff | raw | diff to current |
| 2019-01-07 |
Ralf Jung | range_map: also test size of the internal representation |
blob | commitdiff | raw | diff to current |
| 2018-11-30 |
Ralf Jung | Merge pull request #553 from solson/rustup |
blob | commitdiff | raw | diff to current |
| 2018-11-28 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
| 2018-11-28 |
Ralf Jung | Merge remote-tracking branches 'origin/master' and... |
blob | commitdiff | raw | diff to current |
| 2018-11-27 |
Ralf Jung | adjust for memory_allocated hook, make RangeMap preallo... |
blob | commitdiff | raw | diff to current |
| 2018-10-22 |
Ralf Jung | Merge pull request #487 from solson/rustup |
blob | commitdiff | raw | diff to current |
| 2018-10-22 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
| 2018-10-17 |
Ralf Jung | stacked borrows: enforcement at memory accesses |
blob | commitdiff | raw | diff to current |
| 2018-10-16 |
Ralf Jung | stacked borrows: track refs and derefs |
blob | commitdiff | raw | diff to current |
| 2018-08-30 |
Oliver Schneider | Merge pull request #434 from solson/rustup |
blob | commitdiff | raw | diff to current |
| 2018-08-20 |
Ralf Jung | Merge remote-tracking branch 'origin/master' |
blob | commitdiff | raw | diff to current |
| 2018-08-16 |
Ralf Jung | rustup for big refactor; kill most of validation |
blob | commitdiff | raw | diff to current |
| 2018-07-16 |
Oliver Schneider | Merge branch 'master' into hack_branch_for_miri_do_not_... |
blob | commitdiff | raw | diff to current |
| 2018-07-13 |
Ralf Jung | Merge pull request #387 from ecstatic-morse/eq-hash |
blob | commitdiff | raw | diff to current |
| 2018-07-13 |
Ralf Jung | Merge branch 'master' into eq-hash |
blob | commitdiff | raw | diff to current |
| 2018-07-11 |
Oliver Schneider | Merge pull request #391 from bjorn3/clippy_fixes |
blob | commitdiff | raw | diff to current |
| 2018-07-10 |
bjorn3 | Fix some clippy lints |
blob | commitdiff | raw | diff to current |
| 2018-07-10 |
bjorn3 | Workaround for rustc bug |
blob | commitdiff | raw | diff to current |
| 2018-06-30 |
Dylan MacKenzie | Implement `Eq` and `Hash` for MemoryData and Evaluator |
blob | commitdiff | raw | diff to current |
| 2018-05-09 |
Oliver Schneider | Merge pull request #374 from solson/cleanups |
blob | commitdiff | raw | diff to current |
| 2018-05-09 |
Oliver Schneider | Move back to a normal folder structure |
blob | commitdiff | raw | diff to current |
|
projects / rust.git / history