Project

General

Profile

Actions

Feature #9538

closed

Reduce memory consumption by Frama-C (CIL)

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

Status:
Closed
Priority:
High
Start date:
03/13/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

As you can see at #9519 Frama-C (CIL) consumes much more memory that pure CIL. For normal use cases of Frama-C this does not matter, but in the CIL mode it is not welcome.


Files

fvtp.tar.gz (7.52 MB) fvtp.tar.gz Evgeny Novikov, 03/14/2019 10:07 AM
screenshot-spacetime.png (655 KB) screenshot-spacetime.png Mikhail Mandrykin, 03/14/2019 06:06 PM
screenshot-spacetime2.png (657 KB) screenshot-spacetime2.png Mikhail Mandrykin, 03/14/2019 06:34 PM
weaver.tar.gz (3.53 MB) weaver.tar.gz Evgeny Novikov, 03/15/2019 10:21 AM

Related issues 1 (0 open1 closed)

Related to Klever - Feature #9535: Increase memory limit for Frama-C (CIL)ClosedEvgeny Novikov03/13/2019

Actions
Actions

Also available in: Atom PDF