summaryrefslogtreecommitdiff
path: root/tools/standalone_miri/lex.cpp
AgeCommit message (Expand)AuthorFilesLines
2019-08-09Standalone MIRI - More thread hackeryJohn Hodge1-1/+3
2018-06-04All - Ensure that all files have a header comment, remove some dead codeJohn Hodge1-3/+7
2018-06-03Standalone MIRI - Fix parse errors from mrustc changes, add recursion limitJohn Hodge1-2/+23
2018-05-12Standalone Miri - Linux build supportJohn Hodge1-0/+4
2018-01-28standalone_miri - Up to attempting to run `hello`John Hodge1-29/+187
2018-01-26standalone_miri - Lots of work with parser.John Hodge1-9/+123
2018-01-24standalone_miri - New side-tool to attempt to execute pre-monomorphised MIRJohn Hodge1-0/+220