Type refactor within MetaModel - #92

Closed

jokap11 wants to merge 44 commits into

meta_type_refactor

Commits on Apr 29, 2026

[Metamodel] Refactor Literal and one common PrimitiveKind type
jokap11
committed
8347485
[MetaModel] Move Primitive+Literal Types+Literals into own file
jokap11
committed
80e6787
[Backend] Use type_info
jokap11
committed
5bc24ac
[Metamodel] Remove IntLiteral occurances
jokap11
committed
0fb43f7
[MetaModel] Switch Typing System
jokap11
committed
58ba68c
[MetaModel] Move etiss attribute into ETISS backend
jokap11
committed
f606f80

Commits on Apr 30, 2026

[MetaModel] Attributes into type_info
jokap11
committed
2ed0c73
[MetaModel] StaticType into TypeInfo
jokap11
committed
3e4c72b
[MetaModel] Move attributes into own attribute func
jokap11
committed
8c3f788
[Metamodel] Use properties for expressive assertions
jokap11
committed
c4e5099
[Metmodel] Warning for deprecated IntegerType Constr
jokap11
committed
4df2be8
[Metamodel] Typing remove redundant TypeKind enums
jokap11
committed
30bce23
[MetaModel] Avoid Deprecated IntegerType constructor
jokap11
committed
e8ac700
[MetaModel] Lit = 0 needs to be signed (Warning in GCC)
jokap11
committed
9a47542
Merge branch 'develop' into meta_type_refactor
jokap11
authored
bd999e8
[MetaModel] Abstract scalar class in more abstract Symbol
jokap11
committed
1627b73

Commits on May 1, 2026

[MetaModel] WIP abstract Symbol class for ARCH
jokap11
committed
7bec7bb

Commits on May 4, 2026

[MetaModel] Bugfix use attributes[static] for Symbols
jokap11
committed
d285249
[MetaModel] Get Rid of IntegerType by PointerType
jokap11
committed
e73670e

Commits on May 11, 2026

[MetaModel] WIP split arch.Memory in RegisterBanks/Alias/MEM
jokap11
committed
dd0366e

Commits on May 14, 2026

Commits on May 26, 2026

[Frontend] CoreDSL 2 add properties for regs/mem
jokap11
committed
8e192b0
[FrontEnd] CoreDSL bugfix of Alias init + Dict instead of Set
jokap11
committed
0cd5136
[Backend] Make Viewer Ref type better readable
jokap11
committed
5c3bd66
[Backend] ETISS refactor with new Register/Memory/Alias classes
jokap11
committed
56de585
[MetaModel] Remove init from Alias declaration
jokap11
committed
f7deed3
[MetaModel] Constrain Types of Literals
jokap11
committed
56bc5b4
[Backend] Etiss eval constants at a certain time
jokap11
committed
27ba05a

Commits on May 29, 2026

Commits on May 31, 2026

[Backend] ETISS change element_kind with type
jokap11
committed
7acca32

Commits on Jun 17, 2026

[MetaModel] Fix Issue with wrong type inference for Aliases
jokap11
committed
d862328
[ETISS] Generate Signed Register
jokap11
committed
6bfa4e3

Commits on Jul 2, 2026

Merge branch 'coredsl2' into meta_type_refactor
jokap11
authored
377eaab
[InferTypes] Debug Merge Issues from MetaTypeRefactor
jokap11
committed
4c27134
[Transforms] Replace width with type_info.size for Validator
jokap11
committed
c33d507
[Transforms] Replace signed with type_info.TypeKind for Validator
jokap11
committed
dd7cb04
[Transforms] Small Bugfix in Validator
jokap11
committed
df3e12e
[Transform] Fix const eval for Validator
jokap11
committed
7f4df61

Commits on Jul 15, 2026