aboutsummaryrefslogtreecommitdiffhomepage
path: root/src-cslul/typechk.c
AgeCommit message (Expand)AuthorFilesLines
2024-06-02Don't use ref types for function referencesSamuel Lidén Borell1-9/+0
2024-05-18Improve error message for cyclic typedefsSamuel Lidén Borell1-1/+1
2024-05-18Detect cyclic typesSamuel Lidén Borell1-28/+113
2024-05-11Update copyright yearsSamuel Lidén Borell1-1/+1
2024-03-02Fix error recovery in the semantic checkerSamuel Lidén Borell1-7/+8
2023-10-07Check version when binding typeidentifiers/method identifiersSamuel Lidén Borell1-14/+14
2023-09-10Update TODOsSamuel Lidén Borell1-2/+1
2023-07-15Update copyright yearsSamuel Lidén Borell1-1/+1
2023-05-14Basic checking of generic typesSamuel Lidén Borell1-4/+30
2023-05-14Use const in more placesSamuel Lidén Borell1-2/+2
2023-04-30Checking of open/closed structsSamuel Lidén Borell1-0/+11
2023-04-30Fix missed errors in errortest. Fix typedefs of func typesSamuel Lidén Borell1-1/+2
2023-04-09Fix enum .typeidentifiersSamuel Lidén Borell1-1/+23
2023-04-09Disable const-expr evaluation for values computed at runtimeSamuel Lidén Borell1-0/+1
2022-11-06Update TODO commentsSamuel Lidén Borell1-1/+4
2022-10-30Checking of enum types. Handling of negative integer literalsSamuel Lidén Borell1-3/+88
2022-08-01Assign IDs to variables (for checking definedness etc.)Samuel Lidén Borell1-7/+7
2022-07-24Fix assertion failures and Internal Compiler Errors in the verifierSamuel Lidén Borell1-0/+1
2022-07-24Detect corrupt type enum values againSamuel Lidén Borell1-1/+1
2022-07-24Fix Internal Compiler Error when there is an invalid typeSamuel Lidén Borell1-1/+3
2022-06-15Remove support for multi-versioned symbols. Change syntax to "since X"Samuel Lidén Borell1-20/+10
2022-05-15Basic checking of assign exprsSamuel Lidén Borell1-1/+1
2022-05-15Update comments. Add comment about versioningSamuel Lidén Borell1-0/+9
2022-05-10Set up built-in typesSamuel Lidén Borell1-2/+11
2022-05-07Move checking of versioned definitions to tlverify.cSamuel Lidén Borell1-15/+5
2022-04-09Avoid most usages of identifiers reserved for future use in CSamuel Lidén Borell1-14/+14
2022-04-09Basic verification of type definitions. Add "error tests"Samuel Lidén Borell1-6/+209
2022-03-20Add file structure for expr/stmt/type checkersSamuel Lidén Borell1-0/+38
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-19 17:10:23 +0000