Project

General

Profile

Actions
Copy link

Feature #9563

open

Investigate less efficient code generation

Added by Evgeny Novikov over 5 years ago.

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

0%

Estimated time:
Published in build:

Description

For details, please, see:
https://forge.ispras.ru/issues/9519#note-7
https://forge.ispras.ru/issues/9519#note-8
https://forge.ispras.ru/issues/9519#note-9

Related issues 1 (0 open — 1 closed)

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

Actions
Actions
Copy link

Also available in: Atom PDF