aboutsummaryrefslogtreecommitdiffhomepage
path: root/src-cslul/tlverify.c
AgeCommit message (Expand)AuthorFilesLines
2024-05-18Detect cyclic typesSamuel Lidén Borell1-0/+2
2024-05-11Update copyright yearsSamuel Lidén Borell1-1/+1
2024-05-10ir: Fix external datadef importsSamuel Lidén Borell1-1/+1
2024-03-08Use SlulApp.main as the entry point. Implicitly depend on slulrtSamuel Lidén Borell1-0/+14
2024-03-02Detect type-confusion of structs in SLUL_DEBUG modeSamuel Lidén Borell1-3/+9
2023-12-12Fix handling of back-dependencies on main moduleSamuel Lidén Borell1-11/+13
2023-11-26Use main_dep in find_typeident also (and cache it)Samuel Lidén Borell1-16/+9
2023-10-08Only match actually implemented idents in version checkSamuel Lidén Borell1-3/+1
2023-10-07Check version when binding typeidentifiers/method identifiersSamuel Lidén Borell1-34/+2
2023-10-07Break out error handling for mismatching since versionsSamuel Lidén Borell1-34/+17
2023-10-04Add more tests of identifier version checks + fix error reportingSamuel Lidén Borell1-4/+11
2023-10-01Check version when binding identifiers across modulesSamuel Lidén Borell1-11/+64
2023-09-17Misc typo fixes + update TODOSamuel Lidén Borell1-2/+0
2023-09-17Add tree_search_node() and tree_search_tok() for easier tree lookupSamuel Lidén Borell1-17/+8
2023-09-10Implement search for methods and typeidents in other modules alsoSamuel Lidén Borell1-3/+6
2023-09-09Fix search for implementation of methods and typeidentsSamuel Lidén Borell1-1/+22
2023-09-08Implement "nestedonly" dependencies (and remove "typesonly")Samuel Lidén Borell1-1/+1
2023-07-27Fix lookup of definitions in module iface from module implSamuel Lidén Borell1-20/+65
2023-07-21Fix \depends in librariesSamuel Lidén Borell1-8/+11
2023-07-16ir: Mark exported/imported functions as suchSamuel Lidén Borell1-0/+6
2023-07-15Update copyright yearsSamuel Lidén Borell1-1/+1
2023-07-12Remove TODO's/half-implemented code that will not be implementedSamuel Lidén Borell1-8/+5
2023-07-12Fix assertion failure when interfaces have invalid declarationsSamuel Lidén Borell1-1/+4
2023-07-07ir: Fix ID of typedefs, and don't define imported typedefs twiceSamuel Lidén Borell1-0/+1
2023-05-07Fix various warnings found by clang-analyze and cppcheckSamuel Lidén Borell1-1/+1
2023-04-21Add checks of since-versions, and support backportsSamuel Lidén Borell1-14/+1
2022-07-24Fix assertion failures and Internal Compiler Errors in the verifierSamuel Lidén Borell1-0/+2
2022-07-19Binding of function/data identifiers across modulesSamuel Lidén Borell1-14/+54
2022-06-15Require UpperCase for types and lower_case for funcs/dataSamuel Lidén Borell1-21/+0
2022-06-15Remove support for multi-versioned symbols. Change syntax to "since X"Samuel Lidén Borell1-230/+146
2022-05-16Add checking of referenced identifiers in exprsSamuel Lidén Borell1-3/+11
2022-05-15Basic checking of assign exprsSamuel Lidén Borell1-1/+2
2022-05-10Set up built-in typesSamuel Lidén Borell1-6/+2
2022-05-07Move checking of versioned definitions to tlverify.cSamuel Lidén Borell1-17/+48
2022-05-07Minor refactorings in / related to tlverify.cSamuel Lidén Borell1-13/+26
2022-04-30Fix some clang -Weverything warningsSamuel Lidén Borell1-1/+1
2022-04-09Avoid most usages of identifiers reserved for future use in CSamuel Lidén Borell1-4/+4
2022-04-09Basic verification of type definitions. Add "error tests"Samuel Lidén Borell1-5/+6
2022-03-20Add file structure for expr/stmt/type checkersSamuel Lidén Borell1-2/+14
2022-02-16Add cppcheck target to Makefile and fix warningsSamuel Lidén Borell1-1/+1
2022-02-13Fix forward references of identifiers and add testsSamuel Lidén Borell1-20/+25
2022-02-06Fix missing impl/iface errors. Fix false negatives in testsSamuel Lidén Borell1-3/+4
2022-01-29Binding of types across modules (part 2: fixes and more tests)Samuel Lidén Borell1-4/+25
2022-01-23Binding of types across modules (part 1)Samuel Lidén Borell1-16/+142
2022-01-08Rename verify.c to tlverify.cSamuel Lidén Borell1-0/+292
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-19 17:15:07 +0000