ErrWare

Failed using this off the shelf with Python 3.9.18. This change fixed it.

[Issue] Failed to build - file `llvm-ar` not found. Missing Dependency?

2

I was failing to install liblisa-semantics-tool [1] because xed-sys v0.5.1+xed-2023.12.19 was failing with a "**FileNotFoundError: [Errno 2] No such file or directory: 'llvm-ar'**". Installing llvm with `brew install llvm` resolved...

FR: Smarter CoqLocate

1

I think :CoqLocate (leader+cf) should have fall back behaviors in case the first one fails. Here's a non-working example extracted directly from code I'm working with: ```coq Definition x86_instr_desc o...

We used it for determining how config changes affect the results of a pipeline.

I failed to install bap from opam because it requires very old versions of llvm-config that are unavailable from my institution's repos. Ideally the bap on the opam repos would...