X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Outline;h=fa4bb70a26974d39403bfe0e971a929b6b5f1116;hp=88cc626ef3c0de6a81510995636ef59780012cdd;hb=7095d53c2ec805554837714da3df3a458ebfb2bb;hpb=a472d8d94908d8f466a4cafe4d55c4c9410161d8 diff --git a/Outline b/Outline index 88cc626..fa4bb70 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,5 @@ TODO: Define user / developer TODO: Comiler vs translator TODO: Hardware description / model vs program TODO: State & pattern matches +TODO: Separate compilation / Prelude +TODO: Add case binder removal transformation