summaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Collapse)AuthorFilesLines
2018-05-13Standalone MIRI - Misc cleanupsJohn Hodge1-10/+18
2018-05-13Standalone MIRI - memrchr and better null checkingJohn Hodge2-0/+25
2018-05-13Standalone MIRI - Create allocations for static dataJohn Hodge1-2/+5
2018-05-13Standalone MIRI - Better vtable handling, fix to offset with null pointersJohn Hodge4-58/+65
2018-05-13Standalone MIRI - Atomic add, catch_panicJohn Hodge1-22/+72
2018-05-12Standalone MIRI - TLS and some other messing aboutJohn Hodge3-56/+227
2018-05-12Standalone MIRI - Fiddling aroundJohn Hodge2-6/+11
2018-05-12Standalone MIRI - Better handling of staticsJohn Hodge2-10/+32
2018-05-12Standalone MIRI - Get type for statics, add some pthread_* FFI stubsJohn Hodge3-22/+50
2018-05-12Standalone MIRI - De-duplicate some value codeJohn Hodge2-81/+133
2018-05-12Standalone Miri - More implementation workJohn Hodge2-9/+43
2018-05-12Standalone Miri - Linux build supportJohn Hodge7-4/+101
2018-05-11Merge branch 'master' of https://github.com/thepowersgang/mrustcJohn Hodge1-0/+15
2018-05-05Target - Minor fixes to target.toml file loading (should work now)John Hodge1-0/+15
2018-04-25minicargo - Re-run build script if output is missingJohn Hodge1-2/+3
2018-04-01Testrunner - Include depfiles in cleanJohn Hodge1-1/+1
2018-04-01All - Move toml parser and path header to a common library, start on custom ↵John Hodge13-10/+60
target specs.
2018-03-30Minicargo - Turn on debug_assertions when in debug modeJohn Hodge1-1/+1
2018-03-26netbsd/amd64 supportMaya Rashish2-0/+7
2018-03-17minicargo - Handle wildcard dependenciesJohn Hodge2-5/+51
2018-03-17testrunner - Capture stdout on windowsJohn Hodge1-1/+9
2018-03-17Standalone MIRI - size_of_val and drop_in_placeJohn Hodge5-70/+207
2018-03-17Standalone MIRI - Coming along slowly.John Hodge6-102/+429
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-22 06:58:29 +0000