summaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Collapse)AuthorFilesLines
2019-10-10Minicargo Manifest - Tweaked binary source file logicJohn Hodge1-2/+7
2019-08-24minicargo - Allow specifying features on command lineJohn Hodge1-0/+16
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-20testrunner - Less hard-coded optionsJohn Hodge1-7/+27
2019-07-20minicargo - Hackily support dylib building (env var to turn it on)John Hodge1-4/+7
2019-07-20dump_hirfile - Fix publicity handlingJohn Hodge1-2/+2
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-06-29All - Working dylib support (not used yet, needs rpath/absolute)John Hodge1-0/+1
2019-06-29Trans - Rework to potentially support dynamic librariesJohn Hodge1-2/+2
2019-06-23minicargo - Handle pre-release tags in version specifiersJohn Hodge1-1/+12
2019-06-23dump_hirfile - Updates for new trait organisation, extra dumpingJohn Hodge1-20/+67
2019-06-20minicargo - Improved test supportJohn Hodge2-6/+29
2019-06-16Minicargo - Support for main unit test targetsJohn Hodge2-2/+13
2019-06-09minicargo - Support for integration testsJohn Hodge7-41/+129