aboutsummaryrefslogtreecommitdiff
path: root/boot/type_check.cc
AgeCommit message (Expand)Author
9 daysRework generics for parameters to be plain typesEugen Wissner
10 daysStrip outmost constness on infered argumentsEugen Wissner
10 daysReplace noreturn type with an attributeEugen Wissner
2026-09-27Reuse container visiting logicEugen Wissner
2026-09-25Fix move related memory leaks in AST helpersEugen Wissner
2026-09-24Move module heading to the topEugen Wissner
2026-09-18Allow block-local variablesEugen Wissner
2026-09-14Implement volatile operationsEugen Wissner
2026-09-12Fix enumeration size to be hardware word in the backendEugen Wissner
2026-09-12Support variadic extern proceduresEugen Wissner
2026-09-11Implement aligned attributeEugen Wissner
2026-09-08Fix ICE with offset trait and non-type identifierEugen Wissner
2026-09-08Implement generic pointersEugen Wissner
2026-09-07Make module entry point more procedure likeEugen Wissner
2026-09-07Implement program entry pointEugen Wissner
2026-09-05Generate repeat-until condition outside body scopeEugen Wissner
2026-09-01Reject pointer arithmetic on opaque pointersEugen Wissner
2026-09-01Fix const extern variable declarationsEugen Wissner
2026-08-31Reject comparison of uncompatible typesEugen Wissner
2026-08-31Type check for value addressabilityEugen Wissner
2026-08-30Fix record constructor for base recordsEugen Wissner
2026-08-30Fix ICEs with recursive type declarationsEugen Wissner
2026-08-23Determine array type by the first elementEugen Wissner
2026-08-23Reject 0-sized variablesEugen Wissner
2026-08-21Implement Single and Double floatsEugen Wissner
2026-08-18Make Int and Word aliases to fixed-size typesEugen Wissner
2026-08-14Map Int and Word to hardware word sizesEugen Wissner
2026-08-14Use the new .is_a() for literal kind checks in the evaluatorEugen Wissner
2026-08-13Implement fixed-size integersEugen Wissner
2026-08-02Check array property accessbility at compile timeEugen Wissner
2026-08-01Enforce integral values in slice rangesEugen Wissner
2026-07-29Validate cast compatibility during semantic analysisEugen Wissner
2026-07-28Enforce case label uniqueness and constnessEugen Wissner
2026-07-26 Type check traits properlyEugen Wissner
2026-07-25Accept any constant types in case labelsEugen Wissner
2026-07-24Check the compound statement condition is a booleanEugen Wissner
2026-07-24Implement a repeat loopEugen Wissner
2026-07-23Implement for loopEugen Wissner
2026-07-21Redefine strings as slice of constant charactersEugen Wissner
2026-07-21Implement slicesEugen Wissner
2026-07-20Add clang-tidy supportEugen Wissner
2026-07-19Support unary plus operationEugen Wissner
2026-07-19Implement initializer evaluatorEugen Wissner
2026-07-17Handle base type constnessEugen Wissner
2026-07-17Handle const Pointer as const pointer to const dataEugen Wissner