Make StrataCoreToGoto accept a user-specified Strata Core file#404

Merged

tautschnig merged 7 commits intomainfrom

tautschnig/generalise-core-to-goto

Mar 13, 2026

Commits on Feb 10, 2026

Commits on Feb 11, 2026

fixup! Make StrataCoreToGoto accept user-specified Strata Core files
tautschnig
committed
Merge remote-tracking branch 'origin/main' into tautschnig/generalise-core-to-goto
tautschnig
committed

Commits on Mar 13, 2026

StrataCoreToGoto: validate program name and ensure output dir exists

tautschnig
and
kiro-agent
committed
Merge origin/main into tautschnig/generalise-core-to-goto

tautschnig
and
kiro-agent
committed
Merge branch 'main' into tautschnig/generalise-core-to-goto
shigoel
authored