An abstract counterexample analysis framework
VersionVulnerabilitiesRepositoryUsagesDate
0.16.x
0.16.0CentralOct 12, 2020
0.15.x
0.15.0CentralFeb 06, 2020
0.14.x
0.14.0CentralFeb 18, 2019
0.13.x
0.13.1CentralMay 11, 2018
0.13.0CentralFeb 08, 2018
0.12.x
0.12.0CentralJun 04, 2015
0.11.x
0.11.2CentralApr 26, 2015
0.11.1CentralJan 16, 2015