From 9b31f673da13a4f4d04d937ac2b9e934c9b8291d Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Wed, 22 Jun 2016 11:18:21 +0200 Subject: Update in preparation for release 2.7 --- doc/index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'doc/index.html') diff --git a/doc/index.html b/doc/index.html index ae6e8382..023267d0 100644 --- a/doc/index.html +++ b/doc/index.html @@ -24,7 +24,7 @@ a:active {color : Red; text-decoration : underline; }

The CompCert verified compiler

Commented Coq development

-

Version 2.6, 2015-12-21

+

Version 2.7, 2016-06-29

Introduction

@@ -63,8 +63,7 @@ written.

the CompCert Web site.

This document and the CompCert sources are -copyright 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015 -Institut +copyright 2005-2016 Institut National de Recherche en Informatique et en Automatique (INRIA) and distributed under the terms of the following license. @@ -96,6 +95,7 @@ inequations by fixpoint iteration.

  • Errors: the Error monad.
  • AST: identifiers, whole programs and other common elements of abstract syntaxes. +
  • Linking: generic framework to define syntactic linking over the CompCert languages.
  • Values: run-time values.
  • Events: observable events and traces.
  • Memtype: memory model (interface).
    -- cgit