search for: r315820

Displaying 1 result from an estimated 1 matches for "r315820".

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