Project

General

Profile

Actions

Feature #11458

closed

Improve support for Linux 5.10

Added by Evgeny Novikov over 2 years ago. Updated over 2 years ago.

Status:
Closed
Priority:
High
Category:
Environment models
Target version:
Start date:
03/04/2022
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

The latest specifications set in Klever suits Linux 5.5 released more than 2 years ago. Linux 5.10 was released on December 13, 2020, it has a long term support.


Related issues 3 (0 open3 closed)

Related to C Instrumentation Framework - Bug #11464: C back-end incorrectly handles initialization of anonymous unionsClosedEvgeny Novikov03/05/2022

Actions
Related to Klever - Feature #11465: Update CIFClosedEvgeny Novikov03/06/2022

Actions
Blocks Klever - Feature #11459: Improve support for Linux 5.17ClosedEvgeny Novikov03/04/2022

Actions
Actions #1

Updated by Evgeny Novikov over 2 years ago

Actions #2

Updated by Evgeny Novikov over 2 years ago

  • Related to Bug #11464: C back-end incorrectly handles initialization of anonymous unions added
Actions #3

Updated by Evgeny Novikov over 2 years ago

Actions #4

Updated by Evgeny Novikov over 2 years ago

  • Status changed from New to Resolved

From my standpoint it is not necessary to develop a separate specifications set for Linux 5.10. I could fix several minor issues that may be relevant for other versions of the Linux kernel including supported ones in branch support-linux-5.10. Let's see on testing results.

Disclaimer. This does not mean at all that Klever perfectly works for Linux 5.10. Indeed there are a lot of various issues in specifications and components that spoil verification results, but (all) these issues are not specific for Linux 5.10, so one has to fix them separately anyway.

Actions #5

Updated by Evgeny Novikov over 2 years ago

  • Status changed from Resolved to Closed

Tests passes, so I merged the branch to master in a88a90b78.

Actions

Also available in: Atom PDF