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

Add Java graphs to CFPQ_Data #67

Closed
Timur-Zinnatulin opened this issue Apr 24, 2022 · 1 comment · Fixed by #69
Closed

Add Java graphs to CFPQ_Data #67

Timur-Zinnatulin opened this issue Apr 24, 2022 · 1 comment · Fixed by #69
Assignees
@vadyushkins

Comments

@Timur-Zinnatulin
Copy link

The following graphs are taken from DaCapo benchmark suite.

All required data is uploaded to Google Drive.

  • Graph name: graphs/graph_name
  • Graph triplets: graphs/graph_name/data.csv
  • Edge Statistics: graphs/graph_name/edge_stats.csv
  • Node and Edge counts: graphs/graph_name/graph_stats.csv (columns 1 and 2 respectively)

Canonical grammar:
Alias → PointsTo PointsTo_r
PointsTo → (assign | load_f Alias store_f )* alloc
vadyushkins added a commit that referenced this issue May 24, 2022
@vadyushkins
Add Java graphs to CFPQ_Data #67
673ec97
This was referenced May 24, 2022
Merged
Closed
@vadyushkins
Copy link
Collaborator

deployed to cfpq-data=3.0.0

vadyushkins added a commit that referenced this issue May 24, 2022
@vadyushkins
Add Java graphs to CFPQ_Data #67 (#69)
2099f39 
* Add Java graphs to CFPQ_Data #67

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

@vadyushkins vadyushkins

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add Java graphs to CFPQ_Data #67 FormalLanguageConstrainedPathQuerying/CFPQ_Data
2 participants
@vadyushkins @Timur-Zinnatulin