DPU version 0.5.2

Pre-compiled binaries for Intel x86_64 and source code is available above. Please note that the binaries have been compiled in Ubuntu 16.06 and depend on Clang 6.0 and LLVM 6.0.

CAV'18 Experiments

This release was used to perform a number of experiments in our CAV'18 paper. A package containing benchmarks, binaries, scripts, and instructions to replicate the results of the paper is available here:

https://github.com/cesaro/dpu-cav18-exp/

DPU version 0.5.1

Pre-compiled binaries for Intel x86_64 and source code is available above. Please note that the binaries have been compiled in Ubuntu 14.04.

DPU version 0.5.0

Pre-compiled binaries for Intel x86_64 and source code is available below. Please note that the binaries have been compiled in Ubuntu 14.04.

Changelog

This release adds a new analysis for data-race detection. The meaning of some command-line options has also changed with respect to v0.4.0.