s2e Use binary LLVM-13

Use binary LLVM-13

Open artemdinaburg opened this issue 2 years ago • 1 comments

Builds S2E against a binary LLVM-13 distribution.

For the S2E demo to work, https://github.com/S2E/scripts/pull/5 should be merged first.

Apr 21 '22 18:04 artemdinaburg

Could you have rebased https://github.com/S2E/s2e/pull/49 instead of creating a new PR?

Apr 21 '22 18:04 vitalych

Closing stale PR. 2nd attempt in progress in issue/454-llvm.

Mar 12 '23 00:03 vitalych