Displaying 1 result from an estimated 1 matches for "e63983ce".
2017 Oct 10
2
[RFC] Add SeaHorn and Crab-llvm to Users.html
Hi folks,
We would like to add SeaHorn <http://seahorn.github.io/> and Crab-llvm
<https://github.com/seahorn/crab-llvm> to the list of LLVM's users on
http://llvm.org/Users.html under Open Source Projects. The descriptions
would be:
1. SeaHorn | An Algorithmic Logic-Based Reasoning Framework.
2. Crab-llvm | A static analyzer based on abstract interpretation for LLVM.
I attach a