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-08 |
Ralf Jung | Merge pull request #514 from solson/rustup
|
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 | Merge pull request #507 from RalfJung/nonzero
|
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 | Merge pull request #506 from solson/rustup
|
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 | Merge pull request #503 from RalfJung/atomic-arith
|
commit | commitdiff | tree |
2018-10-31 |
Ralf Jung | Merge branch 'master' into atomic-arith
|
commit | commitdiff | tree |
2018-10-31 |
Ralf Jung | Merge pull request #502 from RalfJung/debug
|
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 | Merge pull request #501 from RalfJung/travis
|
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 | Merge pull request #492 from solson/rustup
|
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 | Merge pull request #498 from RalfJung/rustup
|
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 | Merge pull request #483 from apoelstra/2018-10-readme
|
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 | Merge pull request #487 from solson/rustup
|
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 | Merge pull request #488 from RalfJung/start-fn
|
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-18 |
Ralf Jung | Merge pull request #485 from apoelstra/2018-10-comment-482
|
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 | Merge pull request #484 from RalfJung/mir-opt
|
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 | Merge pull request #478 from RalfJung/rustc-tests
|
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 | Merge pull request #473 from solson/rustup
|
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 |
next |