From 80e71ffbbd49f6ad24abc8e4569b5e4e13b95009 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 1 May 2022 15:12:28 +0100
Subject: Add index

---
 chapters/scheduling.tex | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'chapters/scheduling.tex')

diff --git a/chapters/scheduling.tex b/chapters/scheduling.tex
index 8457a1e..2463099 100644
--- a/chapters/scheduling.tex
+++ b/chapters/scheduling.tex
@@ -181,9 +181,10 @@ schedule that is shown in Figure~\goto{{[}fig:op_chain_d{]}}[fig:op_chain_d].
 
 \section[abstr_interp]{Abstract Interpretation of Hyperblocks}
 
-\index{abstract interpretation}The correctness of the scheduling algorithm is checked by comparing
-the symbolic expressions of each register before and after scheduling. This section describes how
-these symbolic expressions are constructed for each hyperblock.
+\index{symbolic execution}\seeindex{abstract interpretation}{symbolic execution}The correctness of
+the scheduling algorithm is checked by comparing the symbolic expressions of each register before
+and after scheduling. This section describes how these symbolic expressions are constructed for each
+hyperblock.
 
 \subsection[abstr_language]{Construction of Abstract Language}
 
-- 
cgit 

