Actions
Feature #9536
closedUpdate CIF
Start date:
03/13/2019
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
I made many improvements in CIF recently. We need to use them as well as to detect different new issues.
Updated by Evgeny Novikov over 5 years ago
- Blocked by Bug #9534: Incorrect printing of Linux BUILD_BUG_ON added
Updated by Evgeny Novikov over 5 years ago
- Blocks Bug #9533: Can't find array size added
Updated by Evgeny Novikov over 5 years ago
- Blocks deleted (Bug #9533: Can't find array size)
Updated by Evgeny Novikov over 5 years ago
- Blocked by Bug #9533: Can't find array size added
Updated by Evgeny Novikov over 5 years ago
- Blocks Bug #6629: Used CIL is outdated added
Updated by Evgeny Novikov over 5 years ago
- Blocked by Feature #9539: Print stub for inline Assembler added
Updated by Evgeny Novikov over 5 years ago
- Blocked by Bug #5407: Duplicated labels are generated added
Updated by Evgeny Novikov over 5 years ago
- Blocked by deleted (Bug #9534: Incorrect printing of Linux BUILD_BUG_ON)
Updated by Evgeny Novikov over 5 years ago
- Status changed from New to Resolved
I updated CIF in branch frama-c-cil.
Updated by Evgeny Novikov over 5 years ago
- Status changed from Resolved to Closed
I merged the branch to master in c082518.
Actions