summaryrefslogtreecommitdiff
path: root/tools/standalone_miri
AgeCommit message (Collapse)AuthorFilesLines
2019-11-23Standalone MIRI - Extended windows FFI support, works for "hello, world"John Hodge4-1/+213
2019-11-09Standalone MIRI - Tweaks on windowsJohn Hodge4-7/+30
2019-11-02standalone_miri - Notes and experimental (unused) implementation of abstract ↵John Hodge3-0/+215
FFI layer
2019-10-26All - Compilation fixes on VS2015 (constructors, warnings, missing files, ↵John Hodge4-7/+14
class/struct disagreement, <algorithm>)
2019-08-19Stanalone MIRI - Track frame counts (easier to step back across calls)John Hodge3-10/+24
2019-08-18Standalone MIRI - Correct handling of function typesJohn Hodge5-48/+118
2019-08-17Standalone MIRI - Refactor Value to allow one relocation inlineJohn Hodge4-244/+274
2019-08-17Standalone MIRI - SwitchValue stringJohn Hodge1-6/+25
2019-08-16Standalone MIRI - More u128, general improvements in running a proc macroJohn Hodge3-14/+244
2019-08-14Standalone MIRI - Start on u128/i128 support ideasJohn Hodge2-0/+36
2019-08-14Standalone MIRI - Instruction countingJohn Hodge2-2/+5
2019-08-09Standalone MIRI - More thread hackeryJohn Hodge3-2/+9
2019-08-08Standalone MIRI - Downgrade an error based on observed patternsJohn Hodge3-5/+14
2019-08-08Standalone MIRI - Fix size of allocationsJohn Hodge3-42/+41
2019-08-07Standalone MIRI - Panic catching, more TODOs removedJohn Hodge1-6/+29
2019-08-07Standalone MIRI - Tweaked panic handlingJohn Hodge2-5/+13
2019-08-07Standalone MIRI - Rough panic supportJohn Hodge2-7/+39
2019-08-06Standalone MIRI - Multithreading hacksJohn Hodge3-13/+85
2019-08-05Standalone MIRI - Hacky thread handling (run in-place)John Hodge1-4/+34
2019-08-05Standalone MIRI - Various improvementsJohn Hodge8-32/+236
2019-08-04Standalone MIRI - Fix write_bytes countJohn Hodge1-3/+5
2019-08-04Standalone MIRI - Tweak handling of relocation comparisonsJohn Hodge1-10/+44
2019-08-04Standalone MIRI - More pointer fixesJohn Hodge2-5/+14
2019-08-04Standalone MIRI - Properly tagged FFI pointersJohn Hodge3-11/+21
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 Hodge5-80/+93
2019-08-04Standalone MIRI - General improvementsJohn Hodge3-8/+121
2019-08-04Standalone MIRI - isatty (and move fcntl)John Hodge1-42/+50
2019-08-04Standalone MIRI - `read` FFIJohn Hodge3-3/+47
2019-08-04Standalone MIRI - More FFI open+fcntlJohn Hodge1-0/+61
2019-08-03Standalone MIRI - u8/u16 arithmaticJohn Hodge1-0/+20
2019-08-03Standalone MIRI - discriminant_valueJohn Hodge3-11/+60
2019-08-03standalone miri - stat, errno, char castsJohn Hodge3-61/+90
2019-08-03Standalone MIRI - SwitcValue, slice drops, char cast, ...John Hodge2-27/+148
2019-08-03Standalone miri - General fixes trying to get a test runningJohn Hodge4-40/+90
2019-08-03Standalone miri - Fix handling of `str` derefJohn Hodge1-1/+3
2019-08-03standalone_miri - Misc tweaksJohn Hodge1-2/+8
2019-07-21standalone_miri - Improved logging, fix incorrect offset when getting ↵John Hodge2-17/+28
relocations (1.29 hello is working)
2019-07-20standalone_miri - Improved logging for allocation tagsJohn Hodge3-7/+16
2019-07-20Standalone MIRI - Name tags on allocationsJohn Hodge6-11/+25
2019-07-19Standaline MIRI - Report errors to stderr as well as the logJohn Hodge2-6/+24
2019-07-14standalone_miri - Fix after MIR refactorJohn Hodge8-189/+256
2019-05-15standalone_miri - Fiddling for 1.29 support (not working yet)John Hodge3-28/+70
2019-05-15standalone_miri - Fix for MIR changes, fiddling with FFIJohn Hodge6-34/+95
2018-09-09Msvc compile fixesJohn Hodge2-16/+28
2018-06-04All - Ensure that all files have a header comment, remove some dead codeJohn Hodge7-22/+57
2018-06-03Standalone MIRI - Fix parse errors from mrustc changes, add recursion limitJohn Hodge7-12/+82
2018-05-20Standalone MIRI - A few comment notesJohn Hodge1-1/+3
2018-05-19Standalone MIRI - Clean up more direct uses of TypeRef.wrappersJohn Hodge1-96/+111
2018-05-19Standalone MIRI - Remove direct uses of TypeRef.wrappersJohn Hodge6-183/+186
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-23 17:59:50 +0000