Technote: Clean up
authorDaniel Schwyn <schwyda@student.ethz.ch>
Wed, 14 Jun 2017 15:19:43 +0000 (17:19 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Thu, 15 Jun 2017 07:35:09 +0000 (09:35 +0200)
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

doc/025-sockeye/Sockeye.tex

index 29ce7ec..e98e148 100644 (file)
@@ -86,20 +86,12 @@ Source: \href{https://en.wikipedia.org/wiki/Sockeye_salmon}{Wikipedia}}
 is a domain specific language to describe SoCs (Systems on a Chip).
 It is an implementation of the language introduced in \cite{achermann:mars17} but adds some features to address issues encountered in practise.
 
-\todo{More info in introduction}
-
 The Sockeye compiler is written in Haskell using the Parsec parsing library. It
 generates Prolog files from the Sockeye files. These Prolog files contain facts that represent a decoding net as defined in \cite{achermann:mars17}.
 The Prolog files can then be loaded into Barrelfish's System Knowledgebase (SKB).
 
 The source code for Sockeye can be found in \texttt{SOURCE/tools/sockeye}.
 
-\section{Use cases}
-
-We envision the following non exhausting list of possible use cases for Sockeye:
-
-\todo{Specify use cases}
-
 
 \section{Command line options}
 \label{sec:cmdline}