2018-12-13 |
Ralf Jung | we have no whitelist any more, go back to opt-level 3 |
commit | commitdiff | tree | snapshot |
2018-12-13 |
Ralf Jung | VecDeque got fixed |
commit | commitdiff | tree | snapshot |
2018-12-13 |
Ralf Jung | fix libc feature gate |
commit | commitdiff | tree | snapshot |
2018-12-12 |
Ralf Jung | Merge pull request #573 from RalfJung/rustc-wrapper |
commit | commitdiff | tree | snapshot |
2018-12-12 |
Ralf Jung | travis: explain what we are doing |
commit | commitdiff | tree | snapshot |
2018-12-12 |
Ralf Jung | fix warning |
commit | commitdiff | tree | snapshot |
2018-12-12 |
Ralf Jung | move travis commands to script file, maybe that fixes... |
commit | commitdiff | tree | snapshot |
2018-12-12 |
Ralf Jung | *oops* |
commit | commitdiff | tree | snapshot |
2018-12-12 |
Ralf Jung | use show_error to terminate |
commit | commitdiff | tree | snapshot |
2018-12-12 |
Ralf Jung | use RUSTC_WRAPPER for the cargo hook |
commit | commitdiff | tree | snapshot |
2018-12-12 |
Oliver Scherer | Merge pull request #570 from RalfJung/targets |
commit | commitdiff | tree | snapshot |
2018-12-12 |
Ralf Jung | do not auto-detect the targets in the sysroot, instead... |
commit | commitdiff | tree | snapshot |
2018-12-11 |
Ralf Jung | Merge pull request #568 from RalfJung/cleanup |
commit | commitdiff | tree | snapshot |
2018-12-11 |
Ralf Jung | get rid of to_bytes hack |
commit | commitdiff | tree | snapshot |
2018-12-11 |
Ralf Jung | make some functions private to StackedBorrows |
commit | commitdiff | tree | snapshot |
2018-12-11 |
Ralf Jung | avoid repeating signatures in EvalContext extension... |
commit | commitdiff | tree | snapshot |
2018-12-10 |
Oliver S̶c̶h̶n̶e̶i̶d... | Merge pull request #566 from RalfJung/foreign-full-mir |
commit | commitdiff | tree | snapshot |
2018-12-10 |
Ralf Jung | use rustc_version also to parse host in compiletest |
commit | commitdiff | tree | snapshot |
2018-12-10 |
Ralf Jung | remove support for not having libstd MIR |
commit | commitdiff | tree | snapshot |
2018-12-10 |
Ralf Jung | fix CI |
commit | commitdiff | tree | snapshot |
2018-12-10 |
Ralf Jung | fix setting the manifest path manually when using cargo... |
commit | commitdiff | tree | snapshot |
2018-12-10 |
Ralf Jung | MIRI_SYSROOT is no longer needed for development agains... |
commit | commitdiff | tree | snapshot |
2018-12-10 |
Ralf Jung | the test suite assumes a libstd with full MIR; run... |
commit | commitdiff | tree | snapshot |
2018-12-10 |
Ralf Jung | cargo miri: support foreign targets |
commit | commitdiff | tree | snapshot |
2018-12-10 |
Ralf Jung | factor grabbing of cargo options into separate function... |
commit | commitdiff | tree | snapshot |
2018-12-08 |
Ralf Jung | Merge pull request #564 from solson/rustup |
commit | commitdiff | tree | snapshot |
2018-12-08 |
Ralf Jung | fix benches |
commit | commitdiff | tree | snapshot |
2018-12-08 |
Ralf Jung | bump Rust version, fix build |
commit | commitdiff | tree | snapshot |
2018-12-08 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
commit | commitdiff | tree | snapshot |
2018-12-07 |
Ralf Jung | Merge pull request #565 from RalfJung/fixme |
commit | commitdiff | tree | snapshot |
2018-12-07 |
Ralf Jung | add FIXME test for coercing &mut to *const |
commit | commitdiff | tree | snapshot |
2018-12-07 |
Ralf Jung | fix tests |
commit | commitdiff | tree | snapshot |
2018-12-07 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into stack... |
commit | commitdiff | tree | snapshot |
2018-12-03 |
Ralf Jung | Merge pull request #559 from RalfJung/fixme |
commit | commitdiff | tree | snapshot |
2018-12-03 |
Ralf Jung | Merge branch 'master' into stacked-borrows-2-phase |
commit | commitdiff | tree | snapshot |
2018-12-03 |
Ralf Jung | Merge branch 'master' into fixme |
commit | commitdiff | tree | snapshot |
2018-12-03 |
Ralf Jung | Merge pull request #557 from RalfJung/fix-mutability-gap |
commit | commitdiff | tree | snapshot |
2018-12-03 |
Ralf Jung | add FIXME |
commit | commitdiff | tree | snapshot |
2018-12-03 |
Ralf Jung | use assert |
commit | commitdiff | tree | snapshot |
2018-12-03 |
Oliver S̶c̶h̶n̶e̶i̶d... | Merge branch 'master' into fixme |
commit | commitdiff | tree | snapshot |
2018-12-03 |
Ralf Jung | bump nightly |
commit | commitdiff | tree | snapshot |
2018-12-03 |
Ralf Jung | disable VecDeque test until the fix lands in rustc |
commit | commitdiff | tree | snapshot |
2018-12-03 |
Ralf Jung | fix mutability gap: do not allow shared mutation when... |
commit | commitdiff | tree | snapshot |
2018-12-03 |
Ralf Jung | Merge pull request #561 from solson/rustup |
commit | commitdiff | tree | snapshot |
2018-12-02 |
Ralf Jung | we don't need no whitelist |
commit | commitdiff | tree | snapshot |
2018-12-02 |
Ralf Jung | Merge pull request #560 from RalfJung/libstd-features |
commit | commitdiff | tree | snapshot |
2018-12-02 |
Ralf Jung | build libstd with minimal features |
commit | commitdiff | tree | snapshot |
2018-12-02 |
Ralf Jung | assert some sense |
commit | commitdiff | tree | snapshot |
2018-12-02 |
Ralf Jung | support for basic (non-overlapping) 2-phase borrows |
commit | commitdiff | tree | snapshot |
2018-12-02 |
Ralf Jung | Merge pull request #556 from Nemo157/skip-embedded... |
commit | commitdiff | tree | snapshot |
2018-12-02 |
Ralf Jung | Merge branch 'master' into skip-embedded-targets |
commit | commitdiff | tree | snapshot |
2018-12-02 |
Wim Looman | Skip testing targets that don't ship libstd |
commit | commitdiff | tree | snapshot |
2018-12-02 |
Ralf Jung | remove a whole lot of unnecessary attributes |
commit | commitdiff | tree | snapshot |
2018-12-02 |
Ralf Jung | remove/fix outdated FIXMEs in tests |
commit | commitdiff | tree | snapshot |
2018-12-02 |
Ralf Jung | Merge pull request #558 from RalfJung/cargo-miri |
commit | commitdiff | tree | snapshot |
2018-12-02 |
Ralf Jung | do not even look for cargo metadata in 'cargo miri... |
commit | commitdiff | tree | snapshot |
2018-12-01 |
Oliver S̶c̶h̶n̶e̶i̶d... | Merge pull request #555 from RalfJung/readme |
commit | commitdiff | tree | snapshot |
2018-11-30 |
Ralf Jung | update contact channels |
commit | commitdiff | tree | snapshot |
2018-11-30 |
Ralf Jung | add link within document |
commit | commitdiff | tree | snapshot |
2018-11-30 |
Ralf Jung | update README to first describe the usual user setup... |
commit | commitdiff | tree | snapshot |
2018-11-30 |
Ralf Jung | Merge pull request #553 from solson/rustup |
commit | commitdiff | tree | snapshot |
2018-11-30 |
Ralf Jung | new nightly, new luck |
commit | commitdiff | tree | snapshot |
2018-11-29 |
Ralf Jung | async fn got fixed |
commit | commitdiff | tree | snapshot |
2018-11-28 |
Ralf Jung | disable async-fn, for now |
commit | commitdiff | tree | snapshot |
2018-11-28 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
commit | commitdiff | tree | snapshot |
2018-11-28 |
Ralf Jung | bump Rust version |
commit | commitdiff | tree | snapshot |
2018-11-28 |
Ralf Jung | Merge pull request #545 from solson/oli-obk-patch-1 |
commit | commitdiff | tree | snapshot |
2018-11-28 |
Oliver S̶c̶h̶n̶e̶i̶d... | Typo |
commit | commitdiff | tree | snapshot |
2018-11-28 |
Ralf Jung | Merge remote-tracking branches 'origin/master' and... |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Oliver S̶c̶h̶n̶e̶i̶d... | Merge branch 'master' into oli-obk-patch-1 |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Oliver Scherer | Use explicit `dyn` trait object |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | Merge pull request #549 from RalfJung/readme |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | fix README install instructions |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Oliver Scherer | Expose some internals for priroda |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | barriers prevent deallocation |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | no barriers for boxes |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | for now, we allow Undef in raw pointers as we do in... |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | implement function barriers |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | track call IDs |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | adjust for memory_allocated hook, make RangeMap preallo... |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | Merge pull request #543 from RalfJung/auto-libstd |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | use new dir for CI and docs |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | inform the user when and where we are creating a cache dir |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | we need to recursively create the dir |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | use proper platform cache dir |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into auto... |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | std::ptr no longer needs whitelisting |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | tweaks |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | remove unneeded backtrace feature |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | cargo miri setup: print when we are executing commands |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | there are less places now to keep the flags in sync |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | install directly from git repo |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | kill xargo dir and update docs |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | tweak comments, remove debug output |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | use cargo miri setup for CI |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | complete setup routine: instal rust-src, build libstd... |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | setup routine to install xargo when missing |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | cargo miri: factor package manifest logic into separate... |
commit | commitdiff | tree | snapshot |
2018-11-27 |
Ralf Jung | fix clippy lint whitelisting |
commit | commitdiff | tree | snapshot |
2018-11-26 |
Oliver S̶c̶h̶n̶e̶i̶d... | Merge pull request #544 from RalfJung/let_ |
commit | commitdiff | tree | snapshot |
next |