| 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 | 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 | 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 | 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 | 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 | 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-02 |
Ralf Jung | we don't need no whitelist
|
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 | 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 | 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 | 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 remote-tracking branches 'origin/master' and...
|
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 | 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 | 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 | bump Rust
|
commit | commitdiff | tree |
| 2018-11-23 |
Ralf Jung | fix for new Align type
|
commit | commitdiff | tree |
| 2018-11-22 |
Ralf Jung | bump rust
|
commit | commitdiff | tree |
| 2018-11-22 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup
|
commit | commitdiff | tree |
| 2018-11-21 |
Ralf Jung | test that we support partial invalidation of mutable...
|
commit | commitdiff | tree |
| 2018-11-21 |
Ralf Jung | slightly more verbose error msg
|
commit | commitdiff | tree |
| 2018-11-21 |
Ralf Jung | if let
|
commit | commitdiff | tree |
| 2018-11-21 |
Ralf Jung | on a deref, check that we are not using a mutable ref...
|
commit | commitdiff | tree |
| 2018-11-21 |
Ralf Jung | remove stabilized feature flag
|
commit | commitdiff | tree |
| 2018-11-21 |
Ralf Jung | make sure compile-fail tests would compile if we screw up
|
commit | commitdiff | tree |
| 2018-11-21 |
Ralf Jung | bump Rust
|
commit | commitdiff | tree |
| 2018-11-20 |
Ralf Jung | also add an async fn test
|
commit | commitdiff | tree |
| 2018-11-20 |
Ralf Jung | test self-referential generator
|
commit | commitdiff | tree |
| 2018-11-20 |
Ralf Jung | make tests compatible with 2018 edition
|
commit | commitdiff | tree |
| 2018-11-20 |
Ralf Jung | use 2018 edition for tests
|
commit | commitdiff | tree |
| 2018-11-20 |
Ralf Jung | stdout not implemented on windows
|
commit | commitdiff | tree |
| 2018-11-20 |
Ralf Jung | UnsafeCell no longer needs to be on the whitelist
|
commit | commitdiff | tree |
| 2018-11-20 |
Ralf Jung | adjust for InboundsCheck parameter of memory bounds...
|
commit | commitdiff | tree |
| 2018-11-20 |
Ralf Jung | bump Rust version
|
commit | commitdiff | tree |
| 2018-11-20 |
Ralf Jung | Merge branch 'miri-backtrace' into mut-visitor
|
commit | commitdiff | tree |
| 2018-11-19 |
Ralf Jung | port cargo-miri-test to 2018 edition, mostly to test...
|
commit | commitdiff | tree |
| 2018-11-19 |
Ralf Jung | add an interesting testcase
|
commit | commitdiff | tree |
| 2018-11-19 |
Ralf Jung | reorder cargo flags for consistency
|
commit | commitdiff | tree |
| 2018-11-19 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into mut...
|
commit | commitdiff | tree |
| next |
projects / rust.git / search