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

Update llvm-pretty and remove upstreamed debug info utilities #1662

Closed
langston-barrett opened this issue May 13, 2022 · 0 comments · Fixed by #1693
Closed

Update llvm-pretty and remove upstreamed debug info utilities #1662

langston-barrett opened this issue May 13, 2022 · 0 comments · Fixed by #1693
Labels
PR: dependency bump Pull requests that update a dependency file

Comments

@langston-barrett
Copy link
Contributor

llvm-pretty now contains some additional debug info utilities that also appear in this repo, specifically, debugInfoArgNames, debugInfoGlobalLines, and debugInfoDefineLines. We should remove the copies here when updating the llvm-pretty submodule.
@RyanGlScott RyanGlScott added the PR: dependency bump Pull requests that update a dependency file label May 17, 2022
RyanGlScott added a commit that referenced this issue Jun 22, 2022
@RyanGlScott
Replace LLVM debug utilities with llvm-pretty
ef2079b 
Fixes #1662.
@RyanGlScott RyanGlScott mentioned this issue Jun 22, 2022
Merged
RyanGlScott added a commit that referenced this issue Jun 27, 2022
@RyanGlScott
Replace LLVM debug utilities with llvm-pretty
727eb3d 
Fixes #1662.
RyanGlScott added a commit that referenced this issue Jun 27, 2022
@RyanGlScott
Replace LLVM debug utilities with llvm-pretty
43af17f 
Fixes #1662.
@mergify mergify bot closed this as completed in #1693 Jun 28, 2022
mergify bot added a commit that referenced this issue Jun 28, 2022
@mergify
Merge pull request #1693 from GaloisInc/T1662
8edd9cf 
Update submodule versions and fix #1662
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
PR: dependency bump Pull requests that update a dependency file
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Update submodule versions and fix #1662 GaloisInc/saw-script
2 participants
@RyanGlScott @langston-barrett