Skip to content

public release version 2.1
Compare
Choose a tag to compare
@arthaud arthaud released this 10 Dec 23:24
· 405 commits to master since this release
v2.1
cd4b363

IKOS version 2.1 release notes

Release date

December 2018

List of changes

IKOS Core changes

  • Fixed a non-convergence issue in the fixpoint iterator

LLVM frontend changes

  • Upgraded LLVM from 4.0.x to 7.0.x

Ikos-Scan changes

  • Implemented ikos-scan, a tool to analyze a whole C/C++ project using IKOS

Overall changes

  • Added support for Windows using the MinGW compiler
Assets 6
Loading