git.lizzy.rs Git - rust.git/history - src/librustc_mir/interpret/memory.rs

]> git.lizzy.rs Git - rust.git/history - src/librustc_mir/interpret/memory.rs

projects / rust.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[rust.git] / src / librustc_mir / interpret / memory.rs

2017-07-25	Ralf Jung	fix checks when releasing write locks (101)	blob \| commitdiff \| raw
2017-07-25	Ralf Jung	we have to permit deallocation memory for which we...	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	permit locking constant memory (60)	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	Re-do the way locking is done during verification	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	for references, validate alignment and handle ZSTs	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	various small fixes and tracing	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	fix release_lock_until to no longer remove inactive...	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	implement stub validity check for basic types (bool...	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	implement acquiring and releasing locks	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	add locking data structures and lock checks	blob \| commitdiff \| raw \| diff to current
2017-07-24	Oliver Schneider	Merge pull request #267 from RalfJung/cast	blob \| commitdiff \| raw \| diff to current
2017-07-24	Oliver Schneider	Pass `HasDataLayout` instead of the data layout itself	blob \| commitdiff \| raw \| diff to current
2017-07-23	Oliver Schneider	Use rustc traits instead of our own	blob \| commitdiff \| raw \| diff to current
2017-07-22	Ralf Jung	move pointer truncation to a common method in memory.rs	blob \| commitdiff \| raw \| diff to current
2017-07-21	Oliver Schneider	Merge pull request #258 from oli-obk/upstream	blob \| commitdiff \| raw \| diff to current
2017-07-21	Oliver Schneider	Prep miri repository for rustc merger	blob \| commitdiff \| raw \| diff to current

Empowering everyone to build reliable and efficient software.