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