summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
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
2019-06-30HIR Typecheck - Cache drop glue presenceJohn Hodge2-7/+27
2019-06-30scripts - Tweak to log_get_last_functionJohn Hodge1-1/+1
2019-06-30Makefiles - Test tweakingJohn Hodge1-11/+36
2019-06-30Codegen C - Fix incorrect size in vtablesJohn Hodge1-5/+12
2019-06-30Expand `#[test]` - Fix should_panic/ignore flagsJohn Hodge1-3/+4
2019-06-29All - Working dylib support (not used yet, needs rpath/absolute)John Hodge5-6/+54
2019-06-29Trans - Rework to potentially support dynamic librariesJohn Hodge12-80/+139
2019-06-29Makefile - Clean up old test targets, more resiliant verbose argumentJohn Hodge1-56/+10
2019-06-29HIR Gen - Improved error message with integer overflowJohn Hodge1-1/+2
2019-06-23minicargo - Handle pre-release tags in version specifiersJohn Hodge1-1/+12
2019-06-23dump_hirfile - Updates for new trait organisation, extra dumpingJohn Hodge1-20/+67