Ralf Jung
|
791dbaf584
|
disable validation code so that it all compiles against current nightly
|
2017-07-26 11:27:40 -07:00 |
|
Ralf Jung
|
ec6d289c5b
|
suspend lvalues, not locks. refactor memory locking.
Due to this, we are back down to 88 tests
|
2017-07-25 10:30:12 +02:00 |
|
Ralf Jung
|
b79814e281
|
we don't have to set the frame on every step
|
2017-07-25 10:30:12 +02:00 |
|
Ralf Jung
|
3f8a497bf0
|
we need to normalize associated types also deep in the hierarchy (89)
|
2017-07-25 10:30:12 +02:00 |
|
Ralf Jung
|
a41602561c
|
move validation to its own file
|
2017-07-25 10:30:02 +02:00 |
|
Ralf Jung
|
8e495999df
|
fix normalizing associated types. this brings us up to 52 passing tests!
|
2017-07-25 10:22:11 +02:00 |
|
Ralf Jung
|
1f9153fac3
|
validate TyClosure, TyTuple, TyNever
|
2017-07-25 10:20:45 +02:00 |
|
Ralf Jung
|
dac51f41ad
|
various small fixes and tracing
|
2017-07-25 10:20:45 +02:00 |
|
Ralf Jung
|
046675d735
|
Also release locks on ReleaseValidation and EndRegion
|
2017-07-25 10:20:45 +02:00 |
|
Ralf Jung
|
02e802811b
|
implement stub validity check for basic types (bool, int, float); acquire locks for references
|
2017-07-25 10:20:45 +02:00 |
|
Ralf Jung
|
4372f1145f
|
add locking data structures and lock checks
This brings back some of the memory range ideas that were deleted with the packed refactoring.
|
2017-07-25 10:19:27 +02:00 |
|
Ralf Jung
|
d2a9235c63
|
update for rustc changes: treat new MIR commands as NOP
|
2017-07-25 10:15:00 +02:00 |
|
Oliver Schneider
|
4a34a1b50e
|
Pass HasDataLayout instead of the data layout itself
|
2017-07-24 09:56:02 +02:00 |
|
Oliver Schneider
|
4cfa7c5d12
|
Prep miri repository for rustc merger
|
2017-07-21 11:30:56 +02:00 |
|