Actions
Feature #10737
closedUpdate Frama-C (CIL) to overcome some failures on ARM
Start date:
03/02/2021
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
It turns out that the Linux kernel on ARM uses some constructions that ruins Frama-C (CIL). We need to update it to overcome the issue.
Actions