`{crucible,crux}-llvm`: Adapt to elliottt/llvm-pretty#118 - Githubissues

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

628 stars 42 forks source link

`{crucible,crux}-llvm`: Adapt to elliottt/llvm-pretty#118 #1162

Closed RyanGlScott closed 8 months ago

RyanGlScott commented 8 months ago

This patch:

Bumps the llvm-pretty and llvm-pretty-bc-parser submodules to recent commits that include the changes from https://github.com/elliottt/llvm-pretty/pull/118.
Introduces a ppLLVMLatest combinator to Lang.Crucible.LLVM.PrettyPrint that prints a Fmt value (from Text.LLVM.PP) using the latest version of LLVM that llvm-pretty supports.
Uses ppLLVMLatest in the appropriate places to fix compilation errors.

Fixes #1145.