Emit SCIP shards directly from plugins - #904

Merged

jupblb merged 9 commits into

mainfrom

michal/semadb-scip-trans

Jun 4, 2026

Commits on Jun 4, 2026

Emit SCIP shards directly from plugins
jupblb
committed
2f4decb
Inline ScipShardWalker into ScipSemanticdb.findShards
jupblb
committed
2ccd243
Inline SymbolRole enum values in Kotlin visitor
jupblb
committed
1fee76f
Use scip-kotlin-bindings DSL in Kotlin plugin
jupblb
committed
1d39c94
Replace role: Int with isDefinition: Boolean in Kotlin visitor
jupblb
committed
a5ac1fa
Use scip-kotlin-bindings DSL in ScipBuilders test helper
jupblb
committed
2cc59fd
Drop unused Occurrence import in TargetedSuite
jupblb
committed
e096184
Restore implements clause in enum signature_documentation
jupblb
committed
c0f948a
Filter empty-symbol occurrences and refresh Kotlin snapshots
jupblb
committed
717422f