summaryrefslogtreecommitdiff
path: root/tools/standalone_miri/debug.cpp
AgeCommit message (Expand)AuthorFilesLines
2019-08-19Stanalone MIRI - Track frame counts (easier to step back across calls)John Hodge1-0/+1
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/+2
2018-05-19Standalone MIRI - Better logging (can redirect to a file, leaving stdout for ...John Hodge1-10/+24
2018-02-18Standalone MIRI - Add a function trace wrapper (with indent)John Hodge1-0/+12
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/+42