Release date
March 2024
Summary
This is a maintenance release that addresses bugs related to Python dependencies, the order of passes in the LLVM frontend, and missing imports.
List of changes
analyzer
- Introduce compatibility with pygments >= 2.12 (#264).
Frontend
- Change order of passes (#205).
Core
- Add missing imports (#263).
Overall changes
- Version bump (#266).
Metrics
4 issues were closed as part of IKOS 3.3.
The net balance including all files (e.g., code, docs) is that IKOS 3.3 is 4 lines bigger than the previous version.
We had submissions from 1 new author who had never submitted patches to IKOS before.
Full Changelog: v3.2...v3.3