Project

General

Profile

Actions

Feature #9563

open

Investigate less efficient code generation

Added by Evgeny Novikov over 5 years ago.

Status:
New
Priority:
Normal
Start date:
03/25/2019
Due date:
% Done:

0%

Estimated time:
Published in build:


Related issues 1 (0 open1 closed)

Related to Deductive Verification Tools for Linux Kernel - Feature #9519: Frama-C CIL is too inefficientClosedMikhail Mandrykin03/07/2019

Actions
Actions

Also available in: Atom PDF