<div dir="ltr">Hi folks,<br><br>We would like to add <a href="http://seahorn.github.io/">SeaHorn</a> and <a href="https://github.com/seahorn/crab-llvm">Crab-llvm</a> to the list of LLVM's users on <a href="http://llvm.org/Users.html">http://llvm.org/Users.html</a> under Open Source Projects. The descriptions would be:<br><br><div>1. SeaHorn | An Algorithmic Logic-Based Reasoning Framework.</div><div>2. Crab-llvm | A static analyzer based on abstract interpretation for LLVM.<br><br>I attach a patch that would add it to Users.html. Please let me know what you think.<br><br></div><div>Best,</div>Kuba
</div>