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 |
|