SeaHorn LLVM 3.8 Release

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.04

v0.1.0 Release (SV-COMP'16)

Release for SV-COMP 2016

v0.1.0 Release Candidate 3

Many soundness fixes.

Switched from Ikos to Crab for abstract interpretation.

v0.1.0 Release Candidate 2

Fixing bugs and improving the front-end.

SeaHorn binary release

About

Detailed information can be found in http://seahorn.github.io/

Usage

See README.md