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.

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

Vector categories merge into master #463

Merged
merged 7 commits into from
Aug 22, 2018
Merged

Vector categories merge into master #463

merged 7 commits into from
Aug 22, 2018

Conversation

jgalarowicz
Copy link

Merge the vector categories branch into master.

The vector categories branch has been tested on several platforms.

A manual merge of vector_categories into master has been tested as well. We have not encountered any problems.

@dyninst-jenkins
Copy link

Can one of the admins verify this patch?

@mxz297 mxz297 assigned mxz297 and sashanicolas and unassigned mxz297 May 14, 2018
@mxz297 mxz297 added this to the Release 10.0.0 milestone May 14, 2018
@mxz297 mxz297 assigned mxz297 and unassigned sashanicolas Jul 24, 2018
@jgalarowicz
Copy link
Author

Hi - just checking, if I need to do anything relative to this request. Please let me know. I've been using a merged temp version and haven't seen any side effects. Jim G

@sashanicolas sashanicolas self-assigned this Aug 21, 2018
base registers.
2. Update liveness for the value changes
@mxz297 mxz297 merged commit b9a5528 into master Aug 22, 2018
@mxz297 mxz297 deleted the vector_categories branch August 22, 2018 14:24
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.

5 participants