2018-11-08 |
Ralf Jung | bump Rust version
|
commit | commitdiff | tree |
2018-11-08 |
Ralf Jung | sort the fields ourselves
|
commit | commitdiff | tree |
2018-11-08 |
Ralf Jung | treat shared and raw borrows alike
|
commit | commitdiff | tree |
2018-11-08 |
Ralf Jung | re-do large parts of stacked borrows, now with proper...
|
commit | commitdiff | tree |
2018-11-07 |
Ralf Jung | disable Rc test for now, it ain't working
|
commit | commitdiff | tree |
2018-11-07 |
Ralf Jung | bump rust
|
commit | commitdiff | tree |
2018-11-05 |
Ralf Jung | move to 2018 edition
|
commit | commitdiff | tree |
2018-11-05 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2018-11-04 |
Ralf Jung | fix for latest nightly
|
commit | commitdiff | tree |
2018-11-03 |
Ralf Jung | move new test to correct dir
|
commit | commitdiff | tree |
2018-11-03 |
Ralf Jung | test that we check the layout constraints as early...
|
commit | commitdiff | tree |
2018-11-03 |
Ralf Jung | comment on mut-to-shr transmutes
|
commit | commitdiff | tree |
2018-11-03 |
Ralf Jung | fix adding default arguments
|
commit | commitdiff | tree |
2018-11-03 |
Ralf Jung | illegal_write2 does not work with optimizations
|
commit | commitdiff | tree |
2018-11-03 |
Ralf Jung | bump Rust version
|
commit | commitdiff | tree |
2018-11-02 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup
|
commit | commitdiff | tree |
2018-11-01 |
Ralf Jung | use crate:: import to make edition port easier later
|
commit | commitdiff | tree |
2018-11-01 |
Ralf Jung | rename RefKind to UsageKind, because it not only used...
|
commit | commitdiff | tree |
2018-11-01 |
Ralf Jung | put all the logic into reactivatable()
|
commit | commitdiff | tree |
2018-11-01 |
Ralf Jung | More extensive slice and vec tests
|
commit | commitdiff | tree |
2018-11-01 |
Ralf Jung | start collecting some things ALLOWED by stacked borrows...
|
commit | commitdiff | tree |
2018-11-01 |
Ralf Jung | unify checks on memory access and reborrowing, and...
|
commit | commitdiff | tree |
2018-11-01 |
Ralf Jung | basic retagging (no fn_entry); this also makes us catch...
|
commit | commitdiff | tree |
2018-11-01 |
Ralf Jung | stub Retag hook; fix tests for removal of -Zmir-emit...
|
commit | commitdiff | tree |
2018-11-01 |
Ralf Jung | make the -Z flags we use more consistent
|
commit | commitdiff | tree |
2018-11-01 |
Ralf Jung | use crate:: where appropriate
|
commit | commitdiff | tree |
2018-10-31 |
Ralf Jung | Reject atomic arithmetic on non-integer types
|
commit | commitdiff | tree |
2018-10-31 |
Ralf Jung | properly recognize log levels
|
commit | commitdiff | tree |
2018-10-31 |
Ralf Jung | when using MIRI_LOG, avoid logging for what rustc does...
|
commit | commitdiff | tree |
2018-10-31 |
Ralf Jung | remove unused extern crate
|
commit | commitdiff | tree |
2018-10-31 |
Ralf Jung | update README
|
commit | commitdiff | tree |
2018-10-31 |
Ralf Jung | dumping locals with MIRI_BACKTRACE=1 is feasible now
|
commit | commitdiff | tree |
2018-10-31 |
Ralf Jung | Use MIRI_ env vars to set RUST_ ones
|
commit | commitdiff | tree |
2018-10-30 |
Ralf Jung | try to find python3 on macOS
|
commit | commitdiff | tree |
2018-10-30 |
Ralf Jung | rewrite cargo-miri test in Python
|
commit | commitdiff | tree |
2018-10-30 |
Ralf Jung | fix nits
|
commit | commitdiff | tree |
2018-10-30 |
Ralf Jung | test cargo-miri without validation, and fix how we...
|
commit | commitdiff | tree |
2018-10-30 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup
|
commit | commitdiff | tree |
2018-10-30 |
Ralf Jung | disable validation for some tests that need further...
|
commit | commitdiff | tree |
2018-10-30 |
Ralf Jung | bump Rust version
|
commit | commitdiff | tree |
2018-10-30 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup
|
commit | commitdiff | tree |
2018-10-29 |
Ralf Jung | opt level 3 works again :)
|
commit | commitdiff | tree |
2018-10-29 |
Ralf Jung | bump compiletest
|
commit | commitdiff | tree |
2018-10-29 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2018-10-26 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup
|
commit | commitdiff | tree |
2018-10-25 |
Ralf Jung | update for is_null removal
|
commit | commitdiff | tree |
2018-10-24 |
Ralf Jung | expand -Z flag docs
|
commit | commitdiff | tree |
2018-10-24 |
Ralf Jung | Work on miri installation and usage instructions
|
commit | commitdiff | tree |
2018-10-24 |
Ralf Jung | make some things public for the benefit of priroda
|
commit | commitdiff | tree |
2018-10-23 |
Ralf Jung | test against passing invalid shared refs around
|
commit | commitdiff | tree |
2018-10-23 |
Ralf Jung | remove code duplication by letting reactivatable()...
|
commit | commitdiff | tree |
2018-10-23 |
Ralf Jung | also run compile-fail tests with and without optimizations
|
commit | commitdiff | tree |
2018-10-23 |
Ralf Jung | test passing invalid refs around
|
commit | commitdiff | tree |
2018-10-22 |
Ralf Jung | use as(_mut)_ptr on slices to entirely escape them...
|
commit | commitdiff | tree |
2018-10-22 |
Ralf Jung | make sure raw ptrs only have to be valid as far as...
|
commit | commitdiff | tree |
2018-10-22 |
Ralf Jung | get rid of implicit Raw at bottom of stack; locals...
|
commit | commitdiff | tree |
2018-10-22 |
Ralf Jung | respect memory's privacy
|
commit | commitdiff | tree |
2018-10-22 |
Ralf Jung | some more compile-fail tests
|
commit | commitdiff | tree |
2018-10-22 |
Ralf Jung | rustc update and be very selective about what we accept...
|
commit | commitdiff | tree |
2018-10-22 |
Ralf Jung | adapt to rustc API changes and factor out computing...
|
commit | commitdiff | tree |
2018-10-22 |
Ralf Jung | expand comment about incomplete support for interior...
|
commit | commitdiff | tree |
2018-10-22 |
Ralf Jung | env vars should work on macOS
|
commit | commitdiff | tree |
2018-10-22 |
Ralf Jung | env vars are only available with full MIR
|
commit | commitdiff | tree |
2018-10-22 |
Ralf Jung | bump Rust version
|
commit | commitdiff | tree |
2018-10-22 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup
|
commit | commitdiff | tree |
2018-10-20 |
Ralf Jung | disable env var test on macOS, win
|
commit | commitdiff | tree |
2018-10-19 |
Ralf Jung | don't use NOTE in tests
|
commit | commitdiff | tree |
2018-10-19 |
Ralf Jung | typo
|
commit | commitdiff | tree |
2018-10-19 |
Ralf Jung | automalically use start-fn if we have all the MIR
|
commit | commitdiff | tree |
2018-10-19 |
Ralf Jung | move resolve_path to helpers module
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | fix for ptr-to-raw casts properly erasing the tag
|
commit | commitdiff | tree |
2018-10-17 |
Ralf Jung | bump for ENABLE_PTR_TRACKING_HOOKS, and remove some...
|
commit | commitdiff | tree |
2018-10-17 |
Ralf Jung | reenable some tests that work now, and organize them...
|
commit | commitdiff | tree |
2018-10-17 |
Ralf Jung | stacked borrows: enforcement at memory accesses
|
commit | commitdiff | tree |
2018-10-16 |
Ralf Jung | stacked borrows: track refs and derefs
|
commit | commitdiff | tree |
2018-10-16 |
Ralf Jung | add env var emulation test, and fix it complaining...
|
commit | commitdiff | tree |
2018-10-16 |
Ralf Jung | add Borrow tag to pointers; remove old locking code
|
commit | commitdiff | tree |
2018-10-16 |
Ralf Jung | explain our flags in the README
|
commit | commitdiff | tree |
2018-10-16 |
Ralf Jung | test with opt levels 0 and 1
|
commit | commitdiff | tree |
2018-10-14 |
Ralf Jung | make rustc-tests a binary in the main project
|
commit | commitdiff | tree |
2018-10-14 |
Ralf Jung | whitelist Windows Mutex
|
commit | commitdiff | tree |
2018-10-14 |
Ralf Jung | fix rustc_test compilation
|
commit | commitdiff | tree |
2018-10-14 |
Ralf Jung | bump toolchain
|
commit | commitdiff | tree |
2018-10-14 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup
|
commit | commitdiff | tree |
2018-10-12 |
Ralf Jung | enable validation for compile-fail tests, and add some...
|
commit | commitdiff | tree |
2018-10-12 |
Ralf Jung | whitelist std::ptr::read
|
commit | commitdiff | tree |
2018-10-12 |
Ralf Jung | atomics wrap around on overflow
|
commit | commitdiff | tree |
2018-10-11 |
Ralf Jung | do not validate start-fn code
|
commit | commitdiff | tree |
2018-10-11 |
Ralf Jung | fix return place for __rust_maybe_catch_panic
|
commit | commitdiff | tree |
2018-10-11 |
Ralf Jung | enable validation per default, but add a flag to disable...
|
commit | commitdiff | tree |
2018-10-11 |
Ralf Jung | enforce_validity became a function
|
commit | commitdiff | tree |
2018-10-11 |
Ralf Jung | explain a test
|
commit | commitdiff | tree |
2018-10-11 |
Ralf Jung | update for size_and_align considering extern types
|
commit | commitdiff | tree |
2018-10-11 |
Ralf Jung | update for new return place handling
|
commit | commitdiff | tree |
2018-10-11 |
Ralf Jung | bump toolchain
|
commit | commitdiff | tree |
2018-10-11 |
Ralf Jung | update for ptr provenance
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | bump toolchain
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | update to vergen 3
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | 0-offset is also not always okay
|
commit | commitdiff | tree |
next |