aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Expand)AuthorFilesLines
2022-06-01Add hir lowering to ForLoopExpr this will eventually all become a simple HIR:...Philip Herron3-0/+33
2022-06-01Add name resolution to ForLoopExprPhilip Herron2-0/+49
2022-05-26Merge #1283bors[bot]8-54/+67
2022-05-26Merge #1280bors[bot]11-66/+249
2022-05-26const folding in gccrs: remove ConstCtx class.Faisal Abbas8-54/+67
2022-05-25Add testcase to prove bug is fixedPhilip Herron1-0/+23
2022-05-25Merge #1278bors[bot]14-122/+95
2022-05-25Str's have the same layout as [T]Philip Herron11-66/+249
2022-05-25Remove inside_loop parameter from type resolution of stmts and expressionsPhilip Herron14-122/+95
2022-05-25Merge #1275bors[bot]1-40/+1
2022-05-25Merge #1279bors[bot]2-0/+36
2022-05-25Remove old hack to handle type inferencing in untyped decalred bindingsPhilip Herron1-40/+1
2022-05-25Merge #1277bors[bot]1-2/+1
2022-05-24Reuse index_expr_ty type instead of type checking the index expression twicePhilip Herron1-2/+1
2022-05-24Wrapup testing code within CHECKING_P guardsPhilip Herron1-0/+7
2022-05-24type checkantego2-0/+36
2022-05-23Merge #1268bors[bot]8-27/+345
2022-05-23Merge #1241bors[bot]2-0/+27
2022-05-23Fix Slice Type LayoutPhilip Herron8-27/+345
2022-05-23Make TyTy::BaseType::destructure recursivePhilip Herron4-31/+54
2022-05-23Merge #1267bors[bot]3-0/+37
2022-05-22Marklive: support match exprThomas Young3-0/+37
2022-05-21Revert "Marklive: support match expr"Philip Herron3-42/+0
2022-05-21Marklive: support match exprThomas Young3-0/+42
2022-05-20Canonicalize types based on hashing than HirIds and TyTy equalityPhilip Herron12-402/+291
2022-05-20privacy: PrivacyReporter: Handle builtin and unimplemented types betterArthur Cohen1-4/+8
2022-05-20privacy: PrivacyReporter: Add type privacy checking on explicit typesArthur Cohen6-7/+198
2022-05-20mappings: Add reverse mappings from HirId -> NodeIdArthur Cohen2-21/+38
2022-05-19Merge #1255bors[bot]4-343/+340
2022-05-18Merge #1252 #1254bors[bot]3-10/+28
2022-05-18Merge #1250bors[bot]13-66/+172
2022-05-18privacy: PrivacyReporter: Add visitors for all expressionsArthur Cohen4-343/+340
2022-05-18issue #1233: Do not rely on the endianness for testingArthur Cohen1-3/+3
2022-05-17privacy: Handle calls to functions defined in previous ancestorsArthur Cohen2-7/+25
2022-05-17Support extern-blocks defined within blocksPhilip Herron13-66/+172
2022-05-17Merge #1246bors[bot]19-98/+1164
2022-05-13backend: Compile range patternsDavid Faust4-1/+133
2022-05-13typecheck: type check range patternsDavid Faust2-0/+84
2022-05-12HIR: Lower range patternsDavid Faust4-0/+68
2022-05-12resolve: Resolve range patternsDavid Faust2-0/+36
2022-05-12HIR: Add RangePatternBoundType and helpersDavid Faust1-0/+44
2022-05-12ast: Add RangePatternBoundType and helpersDavid Faust1-0/+28
2022-05-12privacy: Add base for privacy violation visitorArthur Cohen11-7/+885
2022-05-12resolver: TopLevel: Build tree of child modulesArthur Cohen4-10/+17
2022-05-12mappings: Store NodeIds for visibility_mapArthur Cohen6-35/+46
2022-05-12mappings: Add module->children mappingsArthur Cohen2-0/+29
2022-05-12optional: Allow the creation of Optional<T&>Arthur Cohen3-52/+193
2022-05-11Merge #1244bors[bot]7-3/+237
2022-05-11Allow match on primitive typesDavid Faust5-3/+214
2022-05-11typecheck: add is_primitive_type_kind helperDavid Faust2-0/+23