summaryrefslogtreecommitdiff
path: root/tools/standalone_miri/debug.hpp
AgeCommit message (Expand)AuthorFilesLines
2019-11-09Standalone MIRI - Tweaks on windowsJohn Hodge1-1/+1
2019-08-03Standalone miri - General fixes trying to get a test runningJohn Hodge1-1/+1
2019-07-20Standalone MIRI - Name tags on allocationsJohn Hodge1-0/+2
2019-07-19Standaline MIRI - Report errors to stderr as well as the logJohn Hodge1-3/+12
2018-06-03Standalone MIRI - Fix parse errors from mrustc changes, add recursion limitJohn Hodge1-1/+1
2018-05-19Standalone MIRI - Better logging (can redirect to a file, leaving stdout for ...John Hodge1-3/+11
2018-05-12Standalone Miri - Linux build supportJohn Hodge1-2/+2
2018-03-17Standalone MIRI - Filled with hacks, but advancingJohn Hodge1-2/+17
2018-02-25Standalone MIR - Better drop handling, RValue::Struct, RValue::SizedArray, ...John Hodge1-0/+2
2018-02-18Standalone MIRI - Add a function trace wrapper (with indent)John Hodge1-0/+42
2018-02-17Standalone MIRI - Refactor Value/Allocation handling to allow deref to work.John Hodge1-1/+1
2018-02-16Standalone MIRI - Hacking along, hit a blocker that will need some refactor.John Hodge1-0/+38