From: Matthijs Kooijman Date: Wed, 11 Nov 2009 19:04:11 +0000 (+0100) Subject: Update outline. X-Git-Tag: final-thesis~156 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=4688774654bcc3330ada6e8bf08ace00198e291a;p=matthijs%2Fmaster-project%2Freport.git Update outline. --- diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex index fa0b54a..6795771 100644 --- a/Chapters/Prototype.tex +++ b/Chapters/Prototype.tex @@ -760,12 +760,6 @@ Implementation issues: state splitting, linking input to output state, checking usage constraints on state variables. - Implementation issues - \subsection[sec:prototype:separate]{Separate compilation} - - Simplified core? - - \section{Haskell language coverage and constraints} - Recursion - Builtin types - Custom types (Sum types, product types) - Function types / higher order expressions + TODO: Implementation issues + TODO: \subsection[sec:prototype:separate]{Separate compilation} + TODO: Simplified core? diff --git a/Outline b/Outline index 88cc626..6cab7d2 100644 --- a/Outline +++ b/Outline @@ -32,10 +32,9 @@ Normalization * Normal form * Rules used . Properties / Proofs (termination, soundness, completeness, determinism) - Casts / Strictness / Casebinders not fully supported Future work -. Boilerplate reduction (State distribution & pipelining) +* Boilerplate reduction (State distribution & pipelining) * Recursion * Multiple time domains (Events) -- Also, clock line optimization / -- write enable @@ -48,3 +47,4 @@ TODO: Define user / developer TODO: Comiler vs translator TODO: Hardware description / model vs program TODO: State & pattern matches +TODO: Separate compilation / Prelude