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
|
edc6ce30d5
|
implement acquiring and releasing locks
|
2017-07-25 10:19:27 +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
|
03ca15e62d
|
Merge pull request #267 from RalfJung/cast
Fix ptr-int-casts
|
2017-07-24 11:31:25 +02:00 |
|
Oliver Schneider
|
4a34a1b50e
|
Pass HasDataLayout instead of the data layout itself
|
2017-07-24 09:56:02 +02:00 |
|
Oliver Schneider
|
9c07f424da
|
Use rustc traits instead of our own
|
2017-07-23 15:00:22 +02:00 |
|
Ralf Jung
|
4d38f8dffb
|
move pointer truncation to a common method in memory.rs
|
2017-07-22 11:28:48 -07:00 |
|
Ralf Jung
|
40950b2cd1
|
fix nits
|
2017-07-21 20:02:48 -07:00 |
|
Ralf Jung
|
b174b786b6
|
refactor casting code to more clearly handle pointers
|
2017-07-21 20:02:48 -07:00 |
|
Ralf Jung
|
f960f4c537
|
fix casting integers to pointers
|
2017-07-21 20:02:48 -07:00 |
|
Oliver Schneider
|
202dd5a359
|
Remove unused IntoValTyPair hack
|
2017-07-21 14:59:58 +02:00 |
|
Oliver Schneider
|
4cfa7c5d12
|
Prep miri repository for rustc merger
|
2017-07-21 11:30:56 +02:00 |
|