Skip to content

Expand graph collection and update project tooling#95

Open
LeonidLodygin wants to merge 25 commits into
FormalLanguageConstrainedPathQuerying:masterfrom
LeonidLodygin:master
Open

Expand graph collection and update project tooling#95
LeonidLodygin wants to merge 25 commits into
FormalLanguageConstrainedPathQuerying:masterfrom
LeonidLodygin:master

Conversation

@LeonidLodygin
Copy link
Copy Markdown

Summary

This PR expands and updates the graph collection documentation and refreshes project tooling.

Changes include:

  • add new graph groups: Java points-to graphs, Field-Sensitive Alias, Context-Sensitive Data-Flow, Data Provenance, Name Resolution, and UniProt biological graphs
  • add individual documentation pages for new graphs with graph statistics, edge statistics, grammars, sources, and download links
  • split legacy Old Graphs pages from the updated Graphs pages so they can evolve independently
  • add Poetry configuration and lockfile for dependency management
  • update CI workflows to use Poetry and Python 3.11
  • add Dependabot configuration

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant