v4

Stable code for ISSTA 2019 publication

Supporting tools version:

Camflow: v0.4.3 (dnf 0.7.4-1)
Camflow: v0.4.5 (dnf 0.7.6-1)
OPUS: v0.1.0.26 (For Unix)
SPADE: v2.0 (git tag tc-e3)

Remark:
with non-determinism support
No self-evaluation code
Old starting script
With graph filtering mechanism