summaryrefslogtreecommitdiff
path: root/src/mir/check.cpp
AgeCommit message (Expand)AuthorFilesLines
2016-12-29MIR Cleanup - Derefence FnMut/Fn for fn pointsJohn Hodge1-1/+1
2016-12-29MIR Opt - Partial dead temporary eliminatonJohn Hodge1-0/+9
2016-12-29MIR - Inline assembly in MIRJohn Hodge1-5/+16
2016-12-28MIR Gen - Handle diverging calls fullyJohn Hodge1-0/+2
2016-12-27MIR Gen - Add support for capturing rest of slice patternsJohn Hodge1-0/+2
2016-12-27MIR Check - Prevent excessive memory usageJohn Hodge1-6/+22
2016-12-25Merge branch 'master' of https://github.com/thepowersgang/mrustcJohn Hodge1-13/+13
2016-12-24No more tears!ubsan1-13/+13
2016-12-24MIR Gen - Fix some bugs exposed by extended validationJohn Hodge1-2/+13
2016-12-24MIR Check - VarState past switchJohn Hodge1-1/+4
2016-12-21MIR Check - Extended validation based on value stateJohn Hodge1-7/+151
2016-12-18MIR Check - Structure for checking variable validityJohn Hodge1-1/+124
2016-12-14Consteval - Re-enabled full first-pass constevalJohn Hodge1-101/+6
2016-12-07MIR - Merge two call types into one with a different targetJohn Hodge1-9/+2
2016-12-04MIR - Move vtable conversion to its own passJohn Hodge1-284/+3
2016-12-03MIR - Create a CallPath terminatorJohn Hodge1-2/+9
2016-12-03HIR/MIR - VTable workJohn Hodge1-0/+4
2016-11-20MIR+HIR Validation - Expand associated types in return typeJohn Hodge1-3/+4
2016-11-20MIR - Union support hacked upJohn Hodge1-29/+51
2016-11-19MIR Validate - Replace ErasedType instances in checked return typeJohn Hodge1-1/+17
2016-11-19MIR Check - Monomorphise types from enumsJohn Hodge1-0/+2
2016-10-29HIR Types - Store array size expr as a shared_ptr to allow cloningJohn Hodge1-1/+1
2016-10-23MIR Validate - (minor) commentingJohn Hodge1-1/+1
2016-10-23MIR Validate - Fix some literal typesJohn Hodge1-2/+7
2016-10-23MIR Validate - Check result type from RValue::ConstantJohn Hodge1-0/+73
2016-10-23MIR Validate - Extended validation with type checkingJohn Hodge1-8/+400
2016-08-26HIR - Remove None variant for TraitValueItem, add literal for Enum ValueJohn Hodge1-1/+1
2016-08-21MIR Check - Check for `Invalid` terminatorsJohn Hodge1-6/+72
2016-08-21MIR Validate - Stub MIR validation passJohn Hodge1-0/+102
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-01 00:40:17 +0000