This release includes many updates to SeaHorn and updates LLVM to version 3.8
LLVM-3.8.1-Linux.tar.gzis the binary version of LLVM v3.8 used to compile on Ubuntu 14.04
Unclaimed project
Are you a maintainer of seahorn? Claim this project to take control of your public changelog and roadmap.
Changelog
SeaHorn Verification Framework
Last updated 10 months ago
This release includes many updates to SeaHorn and updates LLVM to version 3.8
LLVM-3.8.1-Linux.tar.gz is the binary version of LLVM v3.8 used to compile on Ubuntu 14.04Release for SV-COMP 2016
Many soundness fixes.
Switched from Ikos to Crab for abstract interpretation.
Fixing bugs and improving the front-end.
Detailed information can be found in http://seahorn.github.io/
See README.md
Display and control your Android device
The fastest path to AI-powered full stack observability, even for lean teams.
A new bootable USB solution.
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.