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 about 1 month 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
Microsoft PowerToys is a collection of utilities that supercharge productivity and customization on Windows
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.