summaryrefslogtreecommitdiff
path: root/doc
Commit message (Expand)AuthorAge
* Late update for release 2.1.Gravatar xleroy2013-10-28
* Version 2.00 -> version 2.0Gravatar xleroy2013-06-21
* Updates in preparation for release 2.00Gravatar xleroy2013-06-19
* Use "-as" to put CompCert modules in a compcert.xxx namespace.Gravatar xleroy2013-05-01
* Updating doc for 1.13Gravatar xleroy2013-03-11
* Updated documentationGravatar xleroy2013-01-11
* Update for release 1.12Gravatar xleroy2013-01-09
* Make Clight independent of CompCert C.Gravatar xleroy2012-10-08
* Late update for 1.11Gravatar xleroy2012-07-13
* Merge of the newmem branch:Gravatar xleroy2012-05-21
* MAJ docGravatar xleroy2012-03-12
* Doc fixesGravatar xleroy2011-08-23
* Changelog, doc: updated for release 1.9Gravatar xleroy2011-08-22
* Update for release 1.8.2Gravatar xleroy2011-05-24
* Renamed Machconcr into Machsem.Gravatar xleroy2011-04-09
* Update for 1.8.1Gravatar xleroy2011-03-14
* Update for release 1.8Gravatar xleroy2010-09-21
* Merge of branches/full-expr-4:Gravatar xleroy2010-08-18
* Clean upGravatar xleroy2010-05-26
* Update for 1.7Gravatar xleroy2010-03-30
* TeX and HTML escapesGravatar xleroy2010-03-12
* New HTML documentation generatorGravatar xleroy2010-03-09
* MAJ release 1.6Gravatar xleroy2010-01-12
* Last updates for release 1.5.Gravatar xleroy2009-08-28
* MAJGravatar xleroy2009-07-15
* Various clean-upsGravatar xleroy2009-04-17
* Update for release 1.3Gravatar xleroy2008-08-11
* Plus besoin de rectifier les URL invalidesGravatar xleroy2008-08-01
* Revu removeproofGravatar xleroy2008-03-19
* MAJGravatar xleroy2007-10-17
* Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...Gravatar xleroy2007-08-28
* DocumentationGravatar xleroy2007-08-05
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".Gravatar xleroy2007-08-04
* MAJ fichier ppalGravatar xleroy2006-02-09
* Initial import of compcertGravatar xleroy2006-02-09