From b75e44331c506bfc51bc9283f686c116ac85f60d Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Thu, 13 Jul 2017 19:11:02 +0200 Subject: Update documentation entry point for release 3.0 (retroactively) Some modules new in 3.0 were not mentioned. --- doc/index.html | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) (limited to 'doc') diff --git a/doc/index.html b/doc/index.html index 023267d0..239bdb28 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.7, 2016-06-29

+

Version 3.0, 2017-02-10

Introduction

@@ -190,12 +190,14 @@ code. Cminor to CminorSel Selection
SelectOp
+ SelectLong
SelectDiv
- SelectLong + SplitLong Selectionproof
SelectOpproof
- SelectDiv
- SelectLongproof + SelectLongproof
+ SelectDivproof
+ SplitLongproof @@ -301,7 +303,8 @@ code. Stacking
Bounds
Stacklayout - Stackingproof + Stackingproof
+ Separation -- cgit