@Wolff09 Wolff09 released this Apr 11, 2017 · 8 commits to master since this release

Assets 2

Artifact submitted to the 24th Static Analysis Symposium (SAS'17) alongside the paper Effect Summaries for Thread-Modular Analysis by Lukáš Holík, Roland Meyer, Tomáš Vojnar and Sebastian Wolff.