Migrate to TC3 - #131

Merged

luepges merged 26 commits into

devfrom

Sep 15, 2026

Commits on May 19, 2026

initial TypeCheck3
SE-FDr
committed
a2d1926

Commits on Jun 24, 2026

use TypeCheck3 in CDDiffUtil and TypeCheckMCTypeMatchingStrategy
Max Philip Stachon
committed
5960872

Commits on Jun 29, 2026

refactor: Migrate ISynthesize to TypeCheck3; (constructor changes may follow)
0-ace-l0
committed
b7c2005

Commits on Jul 1, 2026

Merge branch 'dev' into tc3
Max Stachon
committed
4c92c13

Commits on Jul 8, 2026

remove getDefiningSymbol()
0-ace-l0
committed
c4d296e
replace isObjectType with isObscureType
Max Stachon
committed
a8fb0e2

Commits on Jul 22, 2026

add MCArrayTypes to CD4A and CD4C TypeCheck3
Max Stachon
committed
2b434f5

Commits on Sep 9, 2026

Merge remote-tracking branch 'origin/dev' into tc3
luepges
committed
5fa7c98
fix cdgen duplicate scopes and fake types
luepges
committed
04b6cb7
Add MCFullGenericTypesTypeVisitor to CD4Code
luepges
committed
f327870
fmt
luepges
committed
c2414c8
Update fake types
luepges
committed
599c878
Improve cd gradle test reporting
luepges
committed
e31f7d1
fix gradle test wrt mavenLocal
luepges
committed
456bfc9
init Test-CD4CodeBasis-TC3 for test
luepges
committed
d7b1ea3
add javadocs
luepges
committed
6546b24

Commits on Sep 10, 2026

Disable failing tests with a TODO
luepges
committed
bed7f29
add version property to symtabdef test
luepges
committed
e38db05
fix main class usage in tests
luepges
committed
8959da3
workaround for CDBasisDefaultPackageTrafo
luepges
committed
d5bbf6b
fix dependsOn
luepges
committed
2f34228
Disable duplicate symbol cd-diff tools
luepges
committed
2266050

Commits on Sep 11, 2026

Handle qualified types of moved packages
luepges
committed
a64bf2c
Merge branch 'dev' into tc3
luepges
authored
cd2c3cd
cleanup
luepges
committed
5d2b7ab

Commits on Sep 14, 2026

Merge remote-tracking branch 'origin/tc3' into tc3
luepges
committed
302af32