llvmcert-doc

Welcome to Certified LLVM project! We aim to:

• build a certified LLVM framework,

• based on faithful semantics of real-world LLVM and actual processor,

• with powerful reasoning principle for modular and compositional reasoning,

• with inexpensive verification cost.

References

• See LLVM.md for details on LLVM.

• See memory.md for relaxed memory model.