summary refs log tree commit diff
path: root/src/librustc_mir/interpret/machine.rs
AgeCommit message (Expand)AuthorLines
2018-10-18don't do any work towards ptr provenance in const modeRalf Jung-0/+5
2018-10-18add 'raw reference' to the machine hook, and use that in ptr-to-raw castsRalf Jung-1/+2
2018-10-18Forward entire ptr used for dealloaction to machineRalf Jung-1/+1
2018-10-18repeat after me: Clone, Copy, DebugRalf Jung-0/+1
2018-10-18also hook dereferencingRalf Jung-5/+14
2018-10-18provide machine hooks for creating references and accessing memoryRalf Jung-6/+46
2018-10-18give machine more control over what counts as memory leakRalf Jung-1/+6
2018-10-18add support for storing extra data in an allocationRalf Jung-12/+14
2018-10-13make ENFORCE_VALIDITY a functionRalf Jung-1/+1
2018-10-10more comments for these sublte games we are playing with allocations in the m...Ralf Jung-2/+4
2018-10-10abstract mono_hash_map through a trait, only miri actually needs the fancy oneRalf Jung-5/+46
2018-10-10fix typosRalf Jung-1/+1
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-14/+35
2018-10-09add machine option to validate things on every copyRalf Jung-0/+3
2018-09-20move CTFE engine snapshot state out of miri engine into CTFE machine instanceRalf Jung-13/+15
2018-09-09miri loop detector hashing: fix enum hashing to also consider discriminant; d...Ralf Jung-7/+7
2018-09-03Implement Hash in terms of HashStable for EvalSnapshotBruno Dutra-2/+4
2018-08-29make ptr_op finally reponsible for all ops involving pointers; make ValTy con...Ralf Jung-6/+4
2018-08-27use associated const for machine controlling mutable staticsRalf Jung-14/+9
2018-08-27allow Machine to hook into foreign statics; remove unused HasMemory traitRalf Jung-11/+10
2018-08-27Miri Memory WorkRalf Jung-56/+27
2018-08-23Add license header to CTFE/MIRIBernardo Meurer-0/+10
2018-08-22miri/CTFE refactorRalf Jung-12/+9
2018-08-19mv (mod) codemap source_mapDonato Sciarra-1/+1
2018-07-04Move `Eq + Hash + Clone` bounds to `Machine`Dylan MacKenzie-1/+1
2018-07-04Implement Clone, Eq and Hash for the heap and stackDylan MacKenzie-1/+3
2018-05-24Rename MemoryPointer to PointerOliver Schneider-2/+2
2018-05-24Rename PrimVal to ScalarOliver Schneider-4/+4
2018-05-19Use `Size` instead of `u64` in mir interpretationOliver Schneider-1/+2
2018-03-08Allow writing mutable statics in miri by adding them to the MachineOliver Schneider-1/+8
2018-03-08Fully use miri in transOliver Schneider-12/+16
2018-01-05miri: use AllocId instead of u64.Eduard-Mihai Burtescu-3/+3
2017-12-14Move mir validation out of treeOliver Schneider-2/+39
2017-12-12Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider-0/+80
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-09 06:01:45 +0000