Home My Page Projects The Why platform
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

[#21093] please update to latest release of frama-c

Date:
2016-12-21 20:09
Priority:
3
State:
RESOLVED
Submitted by:
Ralf Treinen (treinen)
Assigned to:
Claude Marché (marche)
Hardware:
All
Product:
none
Operating System:
All
Component:
none
Version:
none
Severity:
none
Resolution:
none
URL:
Summary:
please update to latest release of frama-c

Detailed description
The latest version of frama-c is Silicon 20161101 released on December 2. Please update why to work with that release.

-Ralf.
Message  ↓
Date: 2017-03-24 07:14
Sender: Claude Marché

version 2.37 released, compatible with Frama-C Aluminium
version 2.38 released, compatible with Frama-C Silicon

Field Old Value Date By
status_idOpen2017-03-24 07:14marche
close_dateNone2017-03-24 07:14marche
assigned_tonone2017-03-24 07:14marche