diff options
Diffstat (limited to 'chapters/introduction.tex')
| -rw-r--r-- | chapters/introduction.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/chapters/introduction.tex b/chapters/introduction.tex index c7dd2cc..fecfcaa 100644 --- a/chapters/introduction.tex +++ b/chapters/introduction.tex @@ -103,9 +103,9 @@ making use of validation to prove it correct. \desc{\in{Chapter}[sec:pipelining]} describes the current plan to implement loop pipelining in Vericert by also using a validator. -\desc{\in{Chapter}[sec:dynamic]} describes a possible extension to Vericert by implementing dynamic -scheduling instead of the current static scheduling implementation. This relies on ongoing work in -a fork of CompCert which implements \SSA\ as an intermediate language. +%\desc{\in{Chapter}[sec:dynamic]} describes a possible extension to Vericert by implementing dynamic +%scheduling instead of the current static scheduling implementation. This relies on ongoing work in +%a fork of CompCert which implements \SSA\ as an intermediate language. \desc{\in{Chapter}[sec:schedule]} describes the current implementation timeline. |