summaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Collapse)AuthorFilesLines
2018-03-17Standalone MIRI - Filled with hacks, but advancingJohn Hodge4-46/+191
2018-03-17Standalone Miri - More work blasting alongJohn Hodge2-17/+161
2018-03-17Standalone MIRI - Fiddling aroundJohn Hodge3-37/+332
2018-02-25Standalone MIRI - __rust_allocate, slice derefJohn Hodge1-2/+34
2018-02-25Standalone MIR - Better drop handling, RValue::Struct, RValue::SizedArray, ...John Hodge6-41/+123
2018-02-25minicargo - Fix bug with parallel builds and sanity checkJohn Hodge1-1/+2
2018-02-24Standalone MIRI + Codegen MMIR - Drop supportJohn Hodge4-12/+82
2018-02-24testrunner - Shut up msvcJohn Hodge1-0/+1
2018-02-24testrunner - Add -v flag to increment debug spamJohn Hodge1-0/+3
2018-02-24Testrunner - Some hacky changes to make it less verboseJohn Hodge1-14/+34
2018-02-23Standalone MIRI - Slice derefs, pointer comparisons, uni-ops, intrinsics, ↵John Hodge5-108/+379
strings
2018-02-18Standalone MIRI - Implement BinOp comparisons and Terminator::IfJohn Hodge1-15/+170
2018-02-18Minicargo - Don't abort on unrecognised manifest keysJohn Hodge1-2/+3
2018-02-18Standalone MIRI - Wrap an external function.John Hodge1-3/+27
2018-02-18Standalone MIRI - Add a function trace wrapper (with indent)John Hodge2-0/+54
2018-02-18Standalone MIRI (and mmir codegen) - Support external functionsJohn Hodge2-3/+23
2018-02-18Standalone MIRI - "atomic_store" intrinsic, Terminator::Switch, handle ! localsJohn Hodge4-18/+162
2018-02-17Standalone MIRI - Refactor Value/Allocation handling to allow deref to work.John Hodge7-318/+459
2018-02-16Standalone MIRI - Hacking along, hit a blocker that will need some refactor.John Hodge9-84/+578
2018-02-12minicargo - Fix error when compiling cargoJohn Hodge1-0/+3
2018-02-11Standalone MIRI - Working borrow (for now)John Hodge3-10/+20
2018-02-11Standalone MIRI - Implementation sprint, statics in process.John Hodge7-30/+478
2018-02-11Testrunner - Allow cherry-picking testsJohn Hodge1-2/+9
2018-02-11Merge branch 'master' into common_layoutJohn Hodge (Mutabah)3-30/+165
2018-02-10minicargo - Add parser for cfg() in target-specific options.John Hodge3-31/+166
2018-01-28standalone_miri - Up to attempting to run `hello`John Hodge5-73/+433
2018-01-28All - mingw32 compilation changesJohn Hodge3-6/+53
2018-01-28minicargo - Flag to enable mmir codegenJohn Hodge3-1/+30
2018-01-26standalone_miri - Lots of work with parser.John Hodge6-93/+671
2018-01-24standalone_miri - New side-tool to attempt to execute pre-monomorphised MIRJohn Hodge11-0/+2253
2018-01-14minicargo - Fix incorrect dependent calculation, use-after-free stringJohn Hodge1-3/+33
2018-01-14minicargo - Fix msvc compile warningsJohn Hodge2-3/+3
2018-01-14MSVC compile fixesJohn Hodge2-1/+7
2018-01-14minicargo - Fix use-after-free in output directory, terminate build on job ↵John Hodge1-1/+6
failure
2018-01-13Codegen - Support writing the build command to a file (instead of running it)John Hodge1-0/+4
2018-01-13TestRunner - Add option --fail-fast for stop on first test failureJakub Jirutka1-3/+19
2018-01-13TestRunner - Keep going and exit 1 if some tests failedJakub Jirutka1-3/+11
2018-01-07minicargo - Add --target option for (incomplete) cross-compilationJohn Hodge4-247/+330
2018-01-07Minicargo - Clean up now-dead codeJohn Hodge2-138/+3
2018-01-06Minicargo - Parallel build supportJohn Hodge5-9/+425
2017-12-30testrunner - Handle ignored tests, odd spacing, and print the countsJohn Hodge1-5/+31
2017-12-20minicargo - Attempt to fix crash on travis (use after free)John Hodge1-1/+1
2017-12-09minicargo - Cleaner debugJohn Hodge4-26/+78
2017-11-25testrunner - Ignore any empty compiler flagsJohn Hodge1-2/+5
2017-11-25testrunner - Sort tests before runningJohn Hodge1-10/+13
2017-11-19minicargo - Fix handling of binariesJohn Hodge3-1/+28
2017-11-19testrunner - Correct handle of compiler args, some known failuresJohn Hodge1-2/+15
2017-11-19testrunner - Handle requested compiler argsJohn Hodge1-27/+41
2017-11-19testrunner - Fiddling along, can run a few testsJohn Hodge1-19/+6
2017-11-19TestRunner - Build on linux, add some useful featuresJohn Hodge2-17/+249