We would like to add SeaHorn and Crab-llvm to the list of LLVM’s users on http://llvm.org/Users.html under Open Source Projects. The descriptions would be:
- SeaHorn | An Algorithmic Logic-Based Reasoning Framework.
- Crab-llvm | A static analyzer based on abstract interpretation for LLVM.
I attach a patch that would add it to Users.html. Please let me know what you think.
users.patch (844 Bytes)
This SGTM. Please wait one more day, and go ahead and make the change
if no one objects.
I committed the patch in r315820.