aboutsummaryrefslogtreecommitdiff
path: root/boot/type_check.cc
AgeCommit message (Expand)Author
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