jdorfman1d ago

The Future of SCIP

https://sourcegraph.com/blog/the-future-of-scip

The Future of SCIP | Sourcegraph Blog

We are excited to announce our transition to a community-driven open source project. While making this change, we reaffirm our deep commitment to remaining active members of the community.

Show threadskybrian

The git repo is here: https://github.com/scip-code/scip

Looks like it's defined using protocol buffers, with "rich Go and Rust bindings" and links to implementations for many other languages.

GitHub - scip-code/scip: SCIP Code Intelligence Protocol

SCIP Code Intelligence Protocol. Contribute to scip-code/scip development by creating an account on GitHub.

GitHub
Mar 27 at 10:41pmWeb
Show threadsanufar21h ago
I can’t speak for the Go bindings, but using the Rust crate has been pretty clean. Haven’t really felt the need to dip into deserializing raw .scip file in the time that I’ve been working with SCIP.