Skip to content

Public release version 3.3
Compare
Choose a tag to compare
@ivanperez-keera ivanperez-keera released this 01 Apr 05:21
· 17 commits to master since this release
v3.3
799c2b0

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

Assets 2
Loading