Repository navigation

Emit SCIP shards directly from plugins - #904

Merged

jupblb merged 9 commits into

mainfrom

michal/semadb-scip-trans

Jun 4, 2026

Merged

Emit SCIP shards directly from plugins#904
jupblb merged 9 commits into
mainfrom
michal/semadb-scip-trans

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