Roadmap - Frama-C Bug Tracking System

Frama-C - Roadmap
Frama-C - Frama-C Oxygen-2012xx01 ================================= 0% - 0000624: [Kernel] Logging huge messages makes kernel crashing (correnson) - acknowledged. - 0000687: [Kernel] Losing some cmdline option settings when loading (signoles) - acknowledged. 0 of 2 issue(s) resolved. Progress (0%).

Mantis 1.1.6[^]