Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

source code indexing, symbol/fact extraction, cross-reference linking #185

Closed
fangism opened this issue Feb 5, 2020 · 4 comments
Closed

source code indexing, symbol/fact extraction, cross-reference linking #185

fangism opened this issue Feb 5, 2020 · 4 comments
Assignees
@MinaToma
Labels
kythe source code fact extraction and indexing

Comments

@fangism
Copy link
Collaborator

fangism commented Feb 5, 2020

Gist:

  • extract symbol definitions and declarations and references
  • establish use/definition links
  • symbols would be properly scoped

Purpose:

  • code navigation (IDEs)
  • auto-completion
  • all-of-the-above, but incremental, and operable on local workspace changes

Representation? any structure that is easily exportable/convertible to interfaces expected by other tools such as IDEs.
For example https://github.com/kythe/kythe is one platform for serving source code information and metadata.
@fangism fangism added the help wanted Extra attention is needed label Feb 5, 2020
@fangism fangism mentioned this issue Feb 28, 2020
Open
@fangism fangism mentioned this issue Mar 14, 2020
Closed
@fangism
Copy link
Collaborator Author

fangism commented Aug 5, 2020

@MinaToma work is ongoing at https://github.com/MinaToma/verible

@fangism
Copy link
Collaborator Author

fangism commented Aug 6, 2020

@ivan444 FYI

This was referenced Aug 6, 2020
Closed
Closed
Closed
Closed
Closed
Closed
Closed
Closed
Closed
@ivan444 ivan444 added kythe source code fact extraction and indexing and removed help wanted Extra attention is needed labels Aug 6, 2020
This was referenced Aug 6, 2020
Closed
Closed
@fangism
Copy link
Collaborator Author

fangism commented Aug 6, 2020

b/163065644

hzeller pushed a commit that referenced this issue Aug 10, 2020
@ivan444 @hzeller
PR #386: Add Kythe verification tests to Verible
8214536 
Issues #185

Releasing Kythe verification tests (without BUILD files due to custom skylark rules).

GitHub PR #386

Copybara import of the project:

  - 0faace3 Add Kythe verification testdata by Ivan Krišto <ikr@google.com>
  - 4dddb4c Merge branch 'master' of github.com:ivan444/verible by Ivan Krišto <ikr@google.com>
  - 0a09356 Add license header by Ivan Krišto <ikr@google.com>

Closes #386

PiperOrigin-RevId: 325317703
hzeller pushed a commit that referenced this issue Aug 14, 2020
@MinaToma @hzeller
PR #401: Extracting Facts Tree from CST
44b7770 
First cut works on module declarations and instance names.

GitHub PR #401

Copybara import of the project:

  - 870bae3 Indexing Verible C++ Code Using Kythe by MinaToma <minatoma1999@gmail.com>
  - 5efff9e README.md Modifications by MinaToma <minatoma1999@gmail.com>
  - 6c3aeb3 Solving Conflicts by MinaToma <minatoma1999@gmail.com>
  - 6437242 Merge branch 'master' of github.com:MinaToma/verible by MinaToma <minatoma1999@gmail.com>

Closes #401
issues #185

PiperOrigin-RevId: 326691122
hzeller pushed a commit that referenced this issue Aug 27, 2020
@MinaToma @hzeller
PR #407: Kythe Facts Extractor
1ad3c44 
Translation layer for IndexingFactsTree to produce kythe facts to be used for SystemVerilog indexing and code navigation.

GitHub PR #407

Copybara import of the project:

  - 870bae3 Indexing Verible C++ Code Using Kythe by MinaToma <minatoma1999@gmail.com>
  - 5efff9e README.md Modifications by MinaToma <minatoma1999@gmail.com>
  - 6c3aeb3 Solving Conflicts by MinaToma <minatoma1999@gmail.com>
  - 6437242 Merge branch 'master' of github.com:MinaToma/verible by MinaToma <minatoma1999@gmail.com>
  - 5e27529 Merge pull request #2 from MinaToma/KytheExtractor by Mina Toma <39103197+MinaToma@users.noreply.github.com>
  - f5f3820 Resolving conflicts by MinaToma <minatoma1999@gmail.com>
  - e3fe929 Code enhancements by MinaToma <minatoma1999@gmail.com>
  - 253c837 More Test Cases for FactsTreeExtractor by MinaToma <minatoma1999@gmail.com>
  - cbbf8ec Fix bug in KytheExtraction Binary Name by MinaToma <minatoma1999@gmail.com>
  - 812a906 Solving Comments by MinaToma <minatoma1999@gmail.com>
  - 6d34d04 Scope Context for Definition Search by MinaToma <minatoma1999@gmail.com>
  - 7b3d383 Fix module_test.cc and code enhancements by MinaToma <minatoma1999@gmail.com>
  - 321eb52 Code Refactoring by MinaToma <minatoma1999@gmail.com>

Closes #407
issues #185, #387, #388

PiperOrigin-RevId: 328670558
@ivan444
Copy link
Collaborator

ivan444 commented Oct 29, 2020

This is somewhat done. The indexing is working. The remaining tasks are covered with the finer grained bugs. This issue is not useful anymore.

@ivan444 ivan444 closed this as completed Oct 29, 2020
nikhiljha pushed a commit to nikhiljha/verible that referenced this issue Sep 27, 2022
@meriops @williamboman
add r_language_server (chipsalliance#467)
8e03401 
Closes chipsalliance#185.

Co-authored-by: Olivier Devineau <olivier.devineau@inn.no>
Co-authored-by: William Boman <william@redwill.se>
nikhiljha pushed a commit to nikhiljha/verible that referenced this issue Sep 27, 2022
@williamboman
fix(curlylint): s/ninja/jinja/ (chipsalliance#185)
58e4bb6
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@MinaToma MinaToma

Labels
kythe source code fact extraction and indexing
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@fangism @ivan444 @MinaToma