JavaToLaurelCompiler: inline static final compile-time constants - #442

Draft

tautschnig wants to merge 7 commits into

strata-org:mainfrom

tautschnig:pr/inline-static-final-constants

Commits on Jun 9, 2026

JavaToLaurelCompiler: translate Java array types to Laurel map types

tautschnig
and
kiro-agent
committed
5460488
JavaToLaurelCompiler: support arr.length reads

tautschnig
and
kiro-agent
committed
02b8af9
JavaToLaurelCompiler: support array element reads (arr[i] / JArray.get)

tautschnig
and
kiro-agent
committed
5c7c037
JavaToLaurelCompiler: recognize JArray after the static-hoisting pass

tautschnig
and
kiro-agent
committed
62b32e2
JVerify front-end: support array creation (new int[N] and {...})

tautschnig
and
kiro-agent
committed
75cf7bb
JavaToLaurelCompiler: support array element writes (arr[i] = v / JArray.set)

tautschnig
and
kiro-agent
committed
c36aa6c
JavaToLaurelCompiler: inline static final compile-time constants

tautschnig
and
kiro-agent
committed
7785ed6