about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorLines
2017-07-25for references, validate alignment and handle ZSTsRalf Jung-4/+13
2017-07-25validate TyClosure, TyTuple, TyNeverRalf Jung-2/+26
2017-07-25various small fixes and tracingRalf Jung-10/+12
2017-07-25Also release locks on ReleaseValidation and EndRegionRalf Jung-31/+61
2017-07-25fix release_lock_until to no longer remove inactive locksRalf Jung-7/+8
2017-07-25avoid downcasting for enum variants without further fieldsRalf Jung-5/+10
2017-07-25validate boxesRalf Jung-13/+25
2017-07-25implement checking for ADTsRalf Jung-2/+49
2017-07-25implement stub validity check for basic types (bool, int, float); acquire loc...Ralf Jung-28/+112
2017-07-25implement acquiring and releasing locksRalf Jung-20/+109
2017-07-25add locking data structures and lock checksRalf Jung-11/+160
2017-07-25update for rustc changes: treat new MIR commands as NOPRalf Jung-0/+3
2017-07-24Merge pull request #267 from RalfJung/castOliver Schneider-129/+181
2017-07-24Pass `HasDataLayout` instead of the data layout itselfOliver Schneider-46/+60
2017-07-23Use rustc traits instead of our ownOliver Schneider-21/+19
2017-07-22move pointer truncation to a common method in memory.rsRalf Jung-70/+113
2017-07-21fix nitsRalf Jung-2/+2
2017-07-21refactor casting code to more clearly handle pointersRalf Jung-32/+29
2017-07-21fix casting integers to pointersRalf Jung-3/+3
2017-07-21Remove unused `IntoValTyPair` hackOliver Schneider-40/+12
2017-07-21Prep miri repository for rustc mergerOliver Schneider-0/+37
2017-07-21Merge pull request #266 from RalfJung/alignOliver Schneider-16/+38
2017-07-20always test alignment in memory.rsRalf Jung-16/+38
2017-07-20Also test optimized MIROliver Schneider-13/+15
2017-07-20Merge pull request #264 from oli-obk/pathsOliver Schneider-14/+16
2017-07-20Reduce the usage of global pathsOliver Schneider-14/+16
2017-07-20Merge pull request #262 from RalfJung/neverEduard-Mihai Burtescu-8/+3
2017-07-20Merge pull request #259 from RalfJung/ref-validateOliver Schneider-18/+18
2017-07-19remove ad-hoc 'never' type check in read_lvalueRalf Jung-8/+3
2017-07-19fix checking alignment of pointer loadsRalf Jung-9/+15
2017-07-19fix a warningRalf Jung-2/+2
2017-07-19Don't pretend that casts to bool are a thingRalf Jung-3/+1
2017-07-19No longer check aligment and non-NULLness on `&`Ralf Jung-4/+0
2017-07-19Merge pull request #257 from oli-obk/cleanupsOliver Schneider-1/+2
2017-07-19Export types and functions needed by prirodaOliver Schneider-1/+2
2017-07-18Merge pull request #254 from RalfJung/danglingOliver Schneider-2/+2
2017-07-18use libstd methods for floating-point <-> bytes conversionRalf Jung-5/+4
2017-07-18remove reundant dangling checks in {r,d}eallocateRalf Jung-2/+2
2017-07-18Merge pull request #245 from oli-obk/funky_allocsOliver Schneider-109/+158
2017-07-14lvalue: refactoring to permit applying a mir projection to a miri lvalueRalf Jung-15/+13
2017-07-14Add a comment explaining the static "local" during `deallocate_local`Oliver Schneider-1/+4
2017-07-14Fix static mutation testsOliver Schneider-5/+22
2017-07-14Use enum instead of booleanOliver Schneider-51/+61
2017-07-14Clarify documentationOliver Schneider-1/+1
2017-07-14Ensure that it is not possible to explicitly free stack memoryOliver Schneider-90/+109
2017-07-14Merge pull request #247 from RalfJung/packedOliver Schneider-229/+239
2017-07-13use closures to ensure proper bracketing of unaligned accessesRalf Jung-72/+78
2017-07-13simplifyRalf Jung-1/+1
2017-07-13show alignedness of ByRefs; allow converting unaligned ByRef to ptrRalf Jung-4/+5
2017-07-13make all Value::into_* methods handle alignment the same wayRalf Jung-15/+13
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 22:33:08 +0000