Post B9MnS735uWZ7NysnS4 by owl@u8.is
 (DIR) More posts by owl@u8.is
 (DIR) Post #B9MnS735uWZ7NysnS4 by owl@u8.is
       0 likes, 0 repeats
       
       I think they should make a C II which is just Frama-C plus Fil-C.Prove it or get fil'd.
       
 (DIR) Post #B9MnS7PmYAiIWLUuoa by IngaLovinde@embracing.space
       0 likes, 0 repeats
       
       @owl sounds like C IA plot