https://github.com/tjdevries/scip-ocaml

SCIP Indexer for OcAmL
https://github.com/tjdevries/scip-ocaml

Last synced: about 1 month ago
JSON representation

SCIP Indexer for OcAmL

• Host: GitHub
• URL: https://github.com/tjdevries/scip-ocaml
• Owner: tjdevries
• Created: 2023-03-15T04:22:35.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2023-04-26T20:01:06.000Z (over 1 year ago)
• Last Synced: 2024-08-05T15:06:41.014Z (3 months ago)
• Language: OCaml
• Size: 158 KB
• Stars: 8
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# scip-ocaml

## Regenerate `scip` bindings

This should happen automatically with dune now :) Just make sure you have the deps installed.

You can update `lib/scip.proto` to generate new bindings

## TODO:

first pass:

- visit the tree (find all the definitions)

- save symbols for those definitions in a map (position : Location.t -> symbol : string)

second pass:

- visit the tree

- lookup locations to see if we have a symbol

- if it's a def, emit def. if it's a ref, emit ref.

# Create new snapshot

- add a new folder in lib/snapshots/input/

- add a dune-project with `(lang dune 3.7)`

- add a dune file with the library

- add the library

- boom

- `dune build --root=.`