https://github.com/tjdevries/scip-ocaml
SCIP Indexer for OcAmL
https://github.com/tjdevries/scip-ocaml
Last synced: 8 months 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 3 years ago)
- Default Branch: master
- Last Pushed: 2023-04-26T20:01:06.000Z (about 3 years ago)
- Last Synced: 2025-02-01T23:51:07.797Z (over 1 year 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=.`