Skip to content

feat(core): Add model support to core - #387

Open
misonijnik wants to merge 2 commits into
misonijnik/isolated-approximations-clifrom
misonijnik/go-models-core
Open

feat(core): Add model support to core#387
misonijnik wants to merge 2 commits into
misonijnik/isolated-approximations-clifrom
misonijnik/go-models-core

Conversation

@misonijnik

Copy link
Copy Markdown
Member

No description provided.

Comment thread core/opentaint-ir/go/go-ssa-server/model_merge.go Outdated
@misonijnik misonijnik changed the title feat(model): Add model support to core feat(core): Add model support to core Aug 29, 2026
}

check(program != null) { "Unexpected IR build issue" }
val mergedProgram = GoModelMerger().merge(program, models)

@Saloed Saloed Sep 1, 2026

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't like the model merge implementation, that works on the raw (serialized) IR layer. Currently, it rewrites the program raw IR, so we can never see the real program. Let's do it similar to the jvm: build GoIr for the program and for the models, then apply rewrites lazily, during GoIR lookup.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants