We have released a new simulator plugin to run LLVM code in PLASMA Lab.
The plugin is a wrapper for the external simulator LODIN developed by the Dependable System Group at the University of Kiel. It allows to run LLVM code with a stochastic semantics, notably to detect race conditions.
The plugin is available on the plugin page and documentation is given on the documentation website. The plugin is distributed in version 1.4.3, the development version of PLASMA Lab, but it can work in the current release 1.4.2.