| 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 |
| 2018-11-17 |
Ralf Jung | AppVeyor: consistently use --all-features
|
commit | commitdiff | tree |
| 2018-11-17 |
Ralf Jung | Boxes can also use the fast path
|
commit | commitdiff | tree |
| 2018-11-17 |
Ralf Jung | add comment about not using builtin_deref
|
commit | commitdiff | tree |
| 2018-11-17 |
Ralf Jung | remove spurious assignments
|
commit | commitdiff | tree |
| 2018-11-17 |
Ralf Jung | raw ptr deref no longer erases the tag
|
commit | commitdiff | tree |
| 2018-11-17 |
Ralf Jung | escape-on-cast, now ptr-deref does not change the tag...
|
commit | commitdiff | tree |
| 2018-11-17 |
Ralf Jung | also consider boxes like unique references
|
commit | commitdiff | tree |
| 2018-11-16 |
Ralf Jung | Factor out common top-level code from escape-to-raw...
|
commit | commitdiff | tree |
| 2018-11-16 |
Ralf Jung | add some tests for retagging inside tuples and options
|
commit | commitdiff | tree |
| 2018-11-16 |
Ralf Jung | retagging: descent into values, type-driven
|
commit | commitdiff | tree |
| 2018-11-16 |
Ralf Jung | stacked borrows is broken without full MIR
|
commit | commitdiff | tree |
| 2018-11-16 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into escape...
|
commit | commitdiff | tree |
| 2018-11-16 |
Ralf Jung | where there is 2, there should be 1
|
commit | commitdiff | tree |
| next |
projects / rust.git / search