openETCS/toolchain — pull request #255 by vprevosto (2014-01-29 10:54:24+00:00)
Title: Frama-C summary

Updated Frama-C summary, according to comments in #252