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

Fix/llvm pretty pp module #169

Merged
merged 3 commits into from
Oct 12, 2016
Merged

Fix/llvm pretty pp module #169

merged 3 commits into from
Oct 12, 2016

Conversation

TomMD
Copy link
Contributor

@TomMD TomMD commented Oct 11, 2016

This merge switches to llvm-pretty 0.5 which supports multiple versions of LLVM (though that fact isn't really leveraged yet in the broader SAW context).

@TomMD
Copy link
Contributor Author

TomMD commented Oct 12, 2016

I've ran the tests (cd intTests && ./runtests.sh) and found test_tutorial4 times out. Since that is either unrelated or related only in so far as the resulting bc is different, but not necessarily incorrect, I've decided to merge.

Feel free to request a reversion and investigation.

@TomMD TomMD merged commit f5cfb0a into master Oct 12, 2016
@TomMD TomMD deleted the fix/llvm-pretty-pp-module branch October 12, 2016 04:44
brianhuffman pushed a commit that referenced this pull request Apr 26, 2021
Merge pull request #169 from GaloisInc/scRecursorElimTypes
f82bc50 
Bug fix in scRecursorElimTypes
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@atomb atomb

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@TomMD @atomb