This repository has been archived by the owner on Sep 30, 2024. It is now read-only.

Sketch of SCIP-based GraphQL API#61217

Closed

varungandhi-src wants to merge 20 commits intomainfrom vg/scip-graphql

+505-7

Commits on Mar 18, 2024

WIP: New SCIP-based GraphQL API draft
varungandhi-src
committed

Commits on Apr 22, 2024

Make repository and path filters objects instead of primitives
varungandhi-src
committed
Make symbol name and provenance comparison objects instead of primitives
varungandhi-src
committed
Move usages API to top-level
varungandhi-src
committed

Commits on Apr 23, 2024

Address feedback abotu optionality, add comments, introduce doc API, more tweaks
varungandhi-src
committed

Commits on May 2, 2024