Klever 3.1

Klever 3.1 was released!

The new release has the following major changes:

Improved support for the ARM/ARM64 architecture.
New parts within the user documentation:
- Klever CLI.
- Development of Requirement Specifications.
Fixing existing models and specifications and development of the new ones:
- Support deregistration of pm_ops callbacks.
- Fixing models for vmalloc()/vfree() and friends.
- Developing the model for current.
Adding the ability to weave in models (#10742).
Allowing excluding common models (#10716).
Suggesting working source trees automatically (most likely you will not need to specify them manually for new build bases).
Showing Klever version in Bridge.
Updating vital Klever addons and dependencies:
- Clade 3.4 (old build bases are not supported anymore).
- CIF 746d8be.
- Frama-C 18d3be8 (switching from 18.0 to 20.0).
- CPAchecker klever_fixes:36955.
- CPALockator CPALockator-combat-mode:36901.
Support for the new OpenStack cloud at ISP RAS.

Many thanks to all contributors of Klever 3.1!

Klever