Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Missing fc_runtime.c in Neon


  • Subject: [Frama-c-discuss] Missing fc_runtime.c in Neon
  • From: dmentre at linux-france.org (David MENTRE)
  • Date: Tue, 02 Sep 2014 10:40:19 +0200

Hello,

File share/frama-c/libc/fc_runtime.c was available in Frama-C Fluorine 
20130601 (it was missing from previous Fluorine releases) and was also 
available in Nitrogen. It is missing in Neon.

As fc_runtime.c been forgotten in Neon? Has it been replaced by another 
runtime for use with Value analysis?

Best regards,
david