summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2019-08-04Standalone MIRI - Restructure so `0` is never a valid pointer valueJohn Hodge6-87/+105
2019-08-04Standalone MIRI - General improvementsJohn Hodge3-8/+121
2019-08-04Standalone MIRI - isatty (and move fcntl)John Hodge1-42/+50
2019-08-04Standalone MIRI - `read` FFIJohn Hodge3-3/+47
2019-08-04Standalone MIRI - More FFI open+fcntlJohn Hodge1-0/+61
2019-08-03Standalone MIRI - u8/u16 arithmaticJohn Hodge1-0/+20
2019-08-03MIR Cleanup - Clean up constants moreJohn Hodge1-0/+28
2019-08-03Standalone MIRI - discriminant_valueJohn Hodge3-11/+60
2019-08-03standalone miri - stat, errno, char castsJohn Hodge3-61/+90
2019-08-03Codegen MMIR - Handle enum constructorsJohn Hodge1-4/+49
2019-08-03MIR Optimise - Extend Single-Read/Write optimisation to follow goto/callJohn Hodge1-12/+62
2019-08-03Standalone MIRI - SwitcValue, slice drops, char cast, ...John Hodge2-27/+148
2019-08-03Standalone miri - General fixes trying to get a test runningJohn Hodge4-40/+90
2019-08-03Standalone miri - Fix handling of `str` derefJohn Hodge1-1/+3
2019-08-03MIR Optimise - Remove duplicate codeJohn Hodge1-30/+5
2019-08-03standalone_miri - Misc tweaksJohn Hodge1-2/+8
2019-08-03MIR Optimise - De-borrow, fix invalidation in old de-termporary codeJohn Hodge1-31/+272
2019-07-27Resolve Use - Fix edge case with recursive lookups erroringJohn Hodge1-3/+8
2019-07-27Lower MIR - Handle match with unionJohn Hodge1-1/+8
2019-07-24HIR Typecheck - Semi-hack, auto-deref through &-ptrs when looking for callablesJohn Hodge1-1/+14
2019-07-21Parse - Handle #[cfg_attr(foo, path="")]John Hodge1-1/+14
2019-07-21Typecheck Expressions - Default to u8 when cast to char is seenJohn Hodge1-1/+18
2019-07-21Parse - Handle converting byte string :expr fragments into patternsJohn Hodge1-3/+3
2019-07-21HIR Typecheck - Short-circuit when method name is found on a trait objectJohn Hodge2-0/+7
2019-07-21standalone_miri - Improved logging, fix incorrect offset when getting ↵John Hodge2-17/+28
relocations (1.29 hello is working)
2019-07-21HIR - Partial support for large arrays (may fail downstream with overflows)John Hodge2-3/+3
2019-07-21(minor) Fix comment typoJohn Hodge1-1/+1
2019-07-21MIR Optimise - Tweaks to new optimisationJohn Hodge1-14/+35
2019-07-20MIR Optimise - Simpler and more powerful temporary eliminationJohn Hodge2-9/+361
2019-07-20standalone_miri - Improved logging for allocation tagsJohn Hodge3-7/+16
2019-07-20Codegen C - Fix Box drop impl not being overriddenJohn Hodge2-9/+43
2019-07-20Makefile - Use dynamic linking for testsJohn Hodge2-2/+10
2019-07-20testrunner - Less hard-coded optionsJohn Hodge1-7/+27
2019-07-20minicargo - Hackily support dylib building (env var to turn it on)John Hodge1-4/+7
2019-07-20dump_hirfile - Fix publicity handlingJohn Hodge1-2/+2
2019-07-20HIR Typecheck - Move NullOnDrop to a common locationJohn Hodge2-11/+12
2019-07-20Standalone MIRI - Name tags on allocationsJohn Hodge6-11/+25
2019-07-20HIR Expand Closures - Better namingJohn Hodge1-8/+14
2019-07-19Standaline MIRI - Report errors to stderr as well as the logJohn Hodge2-6/+24
2019-07-14standalone_miri - Fix after MIR refactorJohn Hodge9-196/+278
2019-07-14MIR Optimise - Don't evaluate U128 invJohn Hodge1-2/+3
2019-07-13Makefiles - TweakingJohn Hodge2-3/+4
2019-07-13rustc patch - Fix `const` function rule violationJohn Hodge1-3/+3
2019-07-13Trans sizeof - Fix bug where sizeof<*const T> would return 2*ptr if T was ?SizedJohn Hodge4-176/+187
2019-07-13MIR Optimise - Improved constant propagationJohn Hodge1-13/+81
2019-07-13Expand module_path - Unconditionally add `::` to simplify debugging empty ↵John Hodge1-2/+1
crate names
2019-07-13main - Add initial file to depenency listJohn Hodge1-1/+2
2019-07-13Notes - Add a file documenting annoying bugsJohn Hodge1-0/+26
2019-07-07Expand module_path - Include crate name (for RUST_LOG)John Hodge1-1/+3
2019-07-07MIR Optimise - Fix (and detect) mis-optimisation with indexing, more const ↵John Hodge3-9/+68
propagation