Skip to content

Releases: JordanSamhi/RAICC

Second release

02 Jul 06:33
5618a9f
Compare
Choose a tag to compare

RAICC does not rely on IC3 anymore. Flowdroid version 2.10 + Soot 4.3.0.

First Release

31 Jan 12:24
cb9eaf6
Compare
Choose a tag to compare
1.0

Update pom.xml