Repository navigation

Drop semanticdb naming - #905

Merged

jupblb merged 9 commits into

mainfrom

michal/drop-semanticdb-prefix

Jun 4, 2026

Merged

Drop semanticdb naming#905
jupblb merged 9 commits into
mainfrom
michal/drop-semanticdb-prefix

Commits on Jun 4, 2026
- Drop semanticdb prefix from internal symbol APIs
  jupblb
  committed
  ae00302
- Drop kotlin.contracts usage from semanticdb-kotlinc
  jupblb
  committed
  d4c495e
- Drop semanticdb naming; rename modules, packages, classes, scheme to scip
  jupblb
  committed
  e726543
- Fix Bazel aspect SCIP file/dir name collision
  jupblb
  committed
  9330f4c
- Fix mangled SCIP/SemanticDB doc references
  jupblb
  committed
  2abd100
- Recreate pipeline diagram for SCIP shard architecture
  jupblb
  committed
  c6f8d5c
- Rename index-scip command to aggregate
  jupblb
  committed
  8274a55
- Fix CI workflow command name and import order after rename
  jupblb
  committed
  1356f76
- Minor doc update
  jupblb
  committed
  174203a