summaryrefslogtreecommitdiff
path: root/tools/standalone_miri/value.cpp
AgeCommit message (Collapse)AuthorFilesLines
2019-11-23Standalone MIRI - Extended windows FFI support, works for "hello, world"John Hodge1-0/+31
2019-11-09Standalone MIRI - Tweaks on windowsJohn Hodge1-2/+2
2019-08-17Standalone MIRI - Refactor Value to allow one relocation inlineJohn Hodge1-186/+148
2019-08-08Standalone MIRI - Downgrade an error based on observed patternsJohn Hodge1-2/+5
2019-08-08Standalone MIRI - Fix size of allocationsJohn Hodge1-32/+29
2019-08-05Standalone MIRI - Various improvementsJohn Hodge1-0/+1
2019-08-04Standalone MIRI - More pointer fixesJohn Hodge1-1/+1
2019-08-04Standalone MIRI - Fix OOB write caused by storing too much in a value inlineJohn Hodge1-10/+7
2019-08-04Standalone MIRI - Restructure so `0` is never a valid pointer valueJohn Hodge1-11/+27
2019-08-04Standalone MIRI - General improvementsJohn Hodge1-1/+26
2019-08-04Standalone MIRI - `read` FFIJohn Hodge1-0/+17
2019-08-03Standalone MIRI - discriminant_valueJohn Hodge1-3/+7
2019-08-03standalone miri - stat, errno, char castsJohn Hodge1-52/+30
2019-08-03Standalone miri - General fixes trying to get a test runningJohn Hodge1-1/+1
2019-07-20standalone_miri - Improved logging for allocation tagsJohn Hodge1-7/+9
2019-07-20Standalone MIRI - Name tags on allocationsJohn Hodge1-5/+15
2019-05-15standalone_miri - Fiddling for 1.29 support (not working yet)John Hodge1-0/+32
2019-05-15standalone_miri - Fix for MIR changes, fiddling with FFIJohn Hodge1-2/+2
2018-09-09Msvc compile fixesJohn Hodge1-5/+5
2018-05-19Standalone MIRI - Remove direct uses of TypeRef.wrappersJohn Hodge1-32/+5
2018-05-19Standalone MIRI - Use some more helpersJohn Hodge1-0/+41
2018-05-19Standalone MIRI - Better logging (can redirect to a file, leaving stdout for ↵John Hodge1-3/+7
the program)
2018-05-19Standalone MIRI - Pass argv to the targetJohn Hodge1-5/+8
2018-05-15Standalone MIRI - Split AllocationPtr into AllocationHandle and RelocationPtrJohn Hodge1-77/+131
2018-05-13Standalone MIRI - Shallow drops and better tracingJohn Hodge1-17/+35
2018-05-13Standalone MIRI - memrchr and better null checkingJohn Hodge1-0/+3
2018-05-12Standalone MIRI - TLS and some other messing aboutJohn Hodge1-2/+51
2018-05-12Standalone MIRI - De-duplicate some value codeJohn Hodge1-20/+62
2018-03-17Standalone MIRI - size_of_val and drop_in_placeJohn Hodge1-3/+3
2018-03-17Standalone MIRI - Coming along slowly.John Hodge1-22/+130
2018-03-17Standalone MIRI - Filled with hacks, but advancingJohn Hodge1-6/+31
2018-03-17Standalone Miri - More work blasting alongJohn Hodge1-3/+47
2018-03-17Standalone MIRI - Fiddling aroundJohn Hodge1-2/+22
2018-02-25Standalone MIR - Better drop handling, RValue::Struct, RValue::SizedArray, ...John Hodge1-9/+22
2018-02-23Standalone MIRI - Slice derefs, pointer comparisons, uni-ops, intrinsics, ↵John Hodge1-14/+28
strings
2018-02-18Standalone MIRI - "atomic_store" intrinsic, Terminator::Switch, handle ! localsJohn Hodge1-4/+46
2018-02-17Standalone MIRI - Refactor Value/Allocation handling to allow deref to work.John Hodge1-193/+258
2018-02-16Standalone MIRI - Hacking along, hit a blocker that will need some refactor.John Hodge1-25/+140
2018-02-11Standalone MIRI - Working borrow (for now)John Hodge1-3/+9
2018-02-11Standalone MIRI - Implementation sprint, statics in process.John Hodge1-12/+171
2018-01-24standalone_miri - New side-tool to attempt to execute pre-monomorphised MIRJohn Hodge1-0/+178
generated by cgit v1.2.3 (git 2.46.0) at 2025-12-14 11:42:15 +0000