search

Frama-C / Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis
http://frama-c.com
169 stars 38 forks source link

Convert README+INSTALL to Markdown #1

Closed maroneze closed 8 years ago

maroneze commented 8 years ago

Already integrated in Aluminium.