AddKoreAttribute as a Frontend Kompiler Pass#3522

Merged

rv-jenkins merged 19 commits intodevelopfrom AddKoreAttributesPass

Jul 26, 2023

+243-212

Commits on Jul 18, 2023

Create AddKoreAttribute class and add it as a compiler pass in KoreBackend.java
Robertorosmaninho
committed

Commits on Jul 19, 2023

Cleaning comments and AddKoreAttributes call on KoreBackend
Robertorosmaninho
committed
Refactoring ModuleToKORE.java to delete unused functions and simplify the uses if isConstructor and isFunction
Robertorosmaninho
committed

Commits on Jul 26, 2023

Merge branch 'develop' into AddKoreAttributesPass
Robertorosmaninho
authored