--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on September 2014 ---
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