Improve conclusions.
[matthijs/master-project/report.git] / Chapters /
2009-12-04 Matthijs KooijmanImprove conclusions.
2009-12-04 Matthijs KooijmanMake a small start on the state annotations section.
2009-12-03 Matthijs KooijmanNote the use of tuples for hierarchic state.
2009-12-03 Matthijs KooijmanFix unbalanced parenthesises.
2009-12-03 Matthijs KooijmanUpdate conclusions.
2009-12-03 Matthijs KooijmanAdd a section on normalization of stateful descriptions.
2009-12-03 Matthijs KooijmanAdd missing parenthesis.
2009-12-03 Matthijs KooijmanAdd initial sketch for conclusions.
2009-12-02 Matthijs KooijmanReference the substitution intermezzo.
2009-12-02 Matthijs KooijmanSolve and remove some todos.
2009-12-02 Matthijs KooijmanAdd an intermezzo about substitution.
2009-12-02 Matthijs KooijmanFix reference.
2009-12-02 Matthijs KooijmanFix typo.
2009-12-02 Matthijs KooijmanMove some more stuff around in the Normalization chapter.
2009-12-01 Matthijs KooijmanFix two references.
2009-12-01 Matthijs KooijmanRename example function app2 to twice.
2009-12-01 Matthijs KooijmanUse \$ instead of just $ in lambda expressions.
2009-12-01 Matthijs KooijmanRestructure and expand parts of the normalization chapter.
2009-12-01 Matthijs KooijmanDocument the use of type annotations on variable refere...
2009-12-01 Matthijs KooijmanChange the symbol used for casting to ▶.
2009-12-01 Matthijs KooijmanAdd note about β-reduction for type variables.
2009-11-30 Matthijs KooijmanRestructure some of the normalization chapter.
2009-11-30 Matthijs KooijmanSome minor fixes and improvements.
2009-11-30 Matthijs KooijmanPut a VHDL in smallcaps.
2009-11-30 Matthijs KooijmanFix two references.
2009-11-30 Matthijs KooijmanFinalize the proofs section.
2009-11-30 Matthijs KooijmanAdd vim modelines.
2009-11-27 Matthijs KooijmanReview more chapters.
2009-11-24 Matthijs KooijmanReview the first few chapters.
2009-11-12 Matthijs KooijmanAdd / update TODOs.
2009-11-12 Matthijs KooijmanAdd two TODOs.
2009-11-12 Matthijs KooijmanRemove an extra backslash.
2009-11-12 Matthijs KooijmanAdd a section on the Core type system.
2009-11-11 Matthijs KooijmanAdd section about don't care values.
2009-11-11 Matthijs KooijmanAdd TODO.
2009-11-11 Matthijs KooijmanUpdate outline.
2009-11-11 Matthijs KooijmanFix source indentation.
2009-11-11 Matthijs KooijmanExpand the improved notation for state and pipelining...
2009-11-11 Matthijs KooijmanUpdate outline.
2009-11-11 Matthijs KooijmanPromote the Output format subsection to a section.
2009-11-11 Matthijs KooijmanPut a vector error over "output" in a figure.
2009-11-11 Matthijs KooijmanAdd the prototype to the research goals.
2009-11-11 Matthijs KooijmanProperly escape ampersands.
2009-11-10 Matthijs KooijmanAdd section on Choice.
2009-11-06 Matthijs KooijmanFix layout of a transformation.
2009-11-06 Matthijs KooijmanAutomatically strip leading whitespace from all typing...
2009-11-05 Matthijs KooijmanImprove a footnote.
2009-11-04 Matthijs KooijmanAdd a section on the output format.
2009-11-04 Matthijs KooijmanDescribe Top level binding inlining.
2009-11-04 Matthijs KooijmanMake the normal form use only recursive lets again.
2009-11-04 Matthijs KooijmanExplicitely use "letrec" for recursive lets.
2009-11-02 Matthijs KooijmanImprove Normalization chapter a bit.
2009-11-02 Matthijs KooijmanMore indent fixes to the Normalization chapter.
2009-11-02 Matthijs KooijmanRemove an unused (and commented) macro.
2009-11-02 Matthijs KooijmanReshuffle all transformations into categories.
2009-10-30 Matthijs KooijmanAdd some stuff about provable properties of our system.
2009-10-30 Matthijs KooijmanAdd some extra outline to the Hardware Description...
2009-10-28 Matthijs KooijmanAdd more content to the Hardware Description chapter.
2009-10-26 Matthijs KooijmanFinish state section in hardware description chapter.
2009-10-26 Matthijs KooijmanAdd some more stuff about state.
2009-10-26 Matthijs KooijmanAdd two pictures.
2009-10-26 Matthijs KooijmanAdd some more context.
2009-10-23 Matthijs KooijmanAdd some context.
2009-10-23 Matthijs KooijmanAdd some more content to the State section.
2009-10-23 Matthijs KooijmanAdd a Context chapter.
2009-10-23 Matthijs KooijmanUse \in instead of \at to refer to section numbers.
2009-10-23 Matthijs KooijmanMove the example float definition to Utils/.
2009-10-21 Matthijs KooijmanAdd section label.
2009-10-21 Matthijs Kooijman(Almost) finish the future work chapter.
2009-10-20 Matthijs KooijmanMove the State chapter into the Hardware Description...
2009-10-15 Matthijs KooijmanAdd a section on expressions in the Core language.
2009-10-12 Matthijs KooijmanFix typo.
2009-10-12 Matthijs KooijmanSplit "extended β-reduction" into two transformations.
2009-10-09 Matthijs KooijmanReset quotation settings after changing them.
2009-10-09 Matthijs KooijmanUpdate the definitions section and add references.
2009-10-09 Matthijs KooijmanRestructure the section structure of the Normalization...
2009-10-08 Matthijs KooijmanImprove and clarify transformation format definition.
2009-10-08 Matthijs KooijmanAdd a section on binder uniqueness.
2009-10-06 Matthijs KooijmanAdd note about differences between Core and the graphic...
2009-10-05 Matthijs KooijmanPut "VHDL" in small caps everywhere.
2009-10-05 Matthijs KooijmanRestructure the introduction of the Normalization chapter.
2009-10-02 Matthijs KooijmanAdd two new simple normal form examples.
2009-10-01 Matthijs KooijmanSome minor wording fixes.
2009-09-30 Matthijs KooijmanFix type in comment.
2009-09-29 Matthijs KooijmanPut a fancy box around transformation examples as well.
2009-09-29 Matthijs KooijmanAdd labels to all chapters.
2009-09-29 Matthijs KooijmanFurther expand the Prototype chapter.
2009-09-29 Matthijs KooijmanUse save instead of clearObj in a MP drawing.
2009-09-28 Matthijs KooijmanMake a start with the prototype chapter.
2009-09-28 Matthijs KooijmanAdd outline for Prototype chapter.
2009-09-24 Matthijs KooijmanAdd a section on research goals and an outline.
2009-09-09 Matthijs KooijmanAdd (a start of) an introduction).
2009-09-09 Matthijs KooijmanAdd a bit content to a new Future Work chapter.
2009-09-02 Matthijs KooijmanRemove the example sequence, it was completely out...
2009-09-02 Matthijs KooijmanImprove some text and add definitions in Normalization.
2009-09-01 Matthijs KooijmanUpdate a bunch more transformations.
2009-08-31 Matthijs KooijmanAdd content to a bunch more transformations.
2009-08-31 Matthijs KooijmanReorder and complete the list of transformations.
2009-08-28 Matthijs KooijmanAdd a new definition of the normal form.
2009-08-27 Matthijs KooijmanRemove explicit subscription underscores.