diff options
| author | Guillaume Claret <dev@clarus.me> | 2015-04-02 11:27:21 +0200 |
|---|---|---|
| committer | Guillaume Claret <dev@clarus.me> | 2015-04-02 11:27:21 +0200 |
| commit | ef324b3ae2953da71efee183ba6cd2e560444688 (patch) | |
| tree | ef7cdc75108db50693686cfdf42ae5a546708d62 | |
| parent | 95ba79b10e832025bbc9843f9d14614f7dff0fcb (diff) | |
| download | compcert-kvx-ef324b3ae2953da71efee183ba6cd2e560444688.tar.gz compcert-kvx-ef324b3ae2953da71efee183ba6cd2e560444688.zip | |
README in MarkDown
| -rw-r--r-- | README.md (renamed from README) | 21 |
1 files changed, 8 insertions, 13 deletions
@@ -1,7 +1,7 @@ - The CompCert C verified compiler - -OVERVIEW: +# CompCert +The verified C compiler. +## Overview The CompCert C verified compiler is a compiler for a large subset of the C programming language that generates code for the PowerPC, ARM and x86 processors. @@ -17,18 +17,13 @@ purposes. For more information on CompCert (supported platforms, supported C features, installation instructions, using the compiler, etc), please -refer to the user's manual: http://compcert.inria.fr/man/ - - -COPYRIGHT: +refer to the [user's manual](http://compcert.inria.fr/man/). +## Copyright The CompCert verified compiler is Copyright 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014 Institut National de Recherche en Informatique et en Automatique (INRIA). It is distributed under the -conditions stated in file LICENSE. - - -CONTACT: - -The authors can be contacted by e-mail at compcert@yquem.inria.fr +conditions stated in file `LICENSE`. +## Contact +The authors can be contacted by e-mail at compcert@yquem.inria.fr. |