This contains a Lean 4 library with bindings to the LLVM library. It is intended to make it easy to work with LLVM in Lean.
See https://github.com/galoisinc/reopt-vcg for most up-to-date info on how this library is currently used/built/etc.
It is made available under the Apache 2 license. See the LICENSE file for more details.