From 7458e17b2bf5b3c6f342731510f1be589851c3a0 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 3 May 2022 08:00:29 +0100 Subject: Add pipelining notes --- chapters/introduction.tex | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'chapters/introduction.tex') diff --git a/chapters/introduction.tex b/chapters/introduction.tex index 7ab9d47..55ed41b 100644 --- a/chapters/introduction.tex +++ b/chapters/introduction.tex @@ -109,4 +109,9 @@ a fork of CompCert which implements \SSA\ as an intermediate language. \desc{\in{Chapter}[sec:schedule]} describes the current implementation timeline. +\startmode[section] + \section{Bibliography} + \placelistofpublications +\stopmode + \stopcomponent -- cgit