Drop support for SemanticDB - #891

Closed

jupblb wants to merge 25 commits into

mainfrom

michal/drop-semanticdb-4

Commits on Jun 2, 2026

PR1 (M1+M2): Add passive SCIP shard infrastructure and opt-in dual emission
jupblb
committed
3249892
PR1 (M3): Fork SemanticdbVisitor into native ScipVisitor
jupblb
committed
3729f54
PR1 (M4): Add in-plugin ScipSignatureFormatter for Java
jupblb
committed
84a3daa
PR1 (M5): Add ScipShardAggregator for .scip shards
jupblb
committed
7918758
PR1 (M6): Opt-in --use-scip-shards flag wires CLI + build tools
jupblb
committed
78272af
PR1 (M7): Stabilize ScipVisitor output and regenerate minimized snapshots
jupblb
committed
bc84f96
PR1 (M8): Make compiler-side SCIP shard emission the default
jupblb
committed
c8d8ff4
PR1 (cleanup): Simplify newly-added SCIP shard code
jupblb
committed
65d2845
PR2 (K1): passive Kotlin SCIP shard infrastructure
jupblb
committed
7bfc51f
PR2 (K2): dual-emit SemanticDB + SCIP shards from semanticdb-kotlinc
jupblb
committed
a40f2b3
PR2 (K3): make scip-semanticdb aggregator shard-walk safe
jupblb
committed
78f9f17
PR2 (K4): default index-semanticdb to shard consumption
jupblb
committed
be97e26
PR2 (K5): regenerate Kotlin minimized snapshots
jupblb
committed
1907897
PR3 (D1): decouple ScipVisitor from Semanticdb protobuf types
jupblb
committed
a3b70b7
PR3 (D2): semanticdb-javac emits only SCIP shards
jupblb
committed
27f3bb7
PR3 (D3): semanticdb-kotlinc emits only SCIP shards
jupblb
committed
f01ab93
PR3 (D4): aggregator drops the legacy SemanticDB fallback
jupblb
committed
ebcba8c
PR3 (D5): drop SemanticDB protobuf generation and dead builders
jupblb
committed
4047028
PR3 (D6): scrub legacy SemanticDB wording from docs and help text
jupblb
committed
50bb618
docs: remove per-file SCIP shards section
jupblb
committed
12d652a
docs: remove dangling pipeline.svg reference
jupblb
committed
0331675
Refactor ScipOccurrences to a stateful accumulator; drop ScipRole
jupblb
committed
dfd07a7
Apply ScipOccurrences/ScipRole refactor to Kotlin plugin
jupblb
committed
167a230
Drop dead helpers, inline one-call wrappers, prefer LinkedHashSet
jupblb
committed
943c9e5
Prune dead indexer code; drop ZINC/SBT URI scheme
jupblb
committed
347948a

Navigation Menu

Drop support for SemanticDB - #891

Drop support for SemanticDB#891
jupblb wants to merge 25 commits into
mainfrom
michal/drop-semanticdb-4

Commits on Jun 2, 2026

PR1 (M1+M2): Add passive SCIP shard infrastructure and opt-in dual emission

PR1 (M3): Fork SemanticdbVisitor into native ScipVisitor

PR1 (M4): Add in-plugin ScipSignatureFormatter for Java

PR1 (M5): Add ScipShardAggregator for .scip shards

PR1 (M6): Opt-in --use-scip-shards flag wires CLI + build tools

PR1 (M7): Stabilize ScipVisitor output and regenerate minimized snapshots

PR1 (M8): Make compiler-side SCIP shard emission the default

PR1 (cleanup): Simplify newly-added SCIP shard code

PR2 (K1): passive Kotlin SCIP shard infrastructure

PR2 (K2): dual-emit SemanticDB + SCIP shards from semanticdb-kotlinc

PR2 (K3): make scip-semanticdb aggregator shard-walk safe

PR2 (K4): default index-semanticdb to shard consumption

PR2 (K5): regenerate Kotlin minimized snapshots

PR3 (D1): decouple ScipVisitor from Semanticdb protobuf types

PR3 (D2): semanticdb-javac emits only SCIP shards

PR3 (D3): semanticdb-kotlinc emits only SCIP shards

PR3 (D4): aggregator drops the legacy SemanticDB fallback

PR3 (D5): drop SemanticDB protobuf generation and dead builders

PR3 (D6): scrub legacy SemanticDB wording from docs and help text

docs: remove per-file SCIP shards section

docs: remove dangling pipeline.svg reference

Refactor ScipOccurrences to a stateful accumulator; drop ScipRole

Apply ScipOccurrences/ScipRole refactor to Kotlin plugin

Drop dead helpers, inline one-call wrappers, prefer LinkedHashSet

Prune dead indexer code; drop ZINC/SBT URI scheme