projects / matthijs / master-project / report.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Enable indent stripping for \typebufferlam and \typebufferhs.
[matthijs/master-project/report.git] / Chapters /
2009-11-06 Matthijs KooijmanFix layout of a transformation. tree | commitdiff
2009-11-06 Matthijs KooijmanAutomatically strip leading whitespace from all typing... tree | commitdiff
2009-11-05 Matthijs KooijmanImprove a footnote. tree | commitdiff
2009-11-04 Matthijs KooijmanAdd a section on the output format. tree | commitdiff
2009-11-04 Matthijs KooijmanDescribe Top level binding inlining. tree | commitdiff
2009-11-04 Matthijs KooijmanMake the normal form use only recursive lets again. tree | commitdiff
2009-11-04 Matthijs KooijmanExplicitely use "letrec" for recursive lets. tree | commitdiff
2009-11-02 Matthijs KooijmanImprove Normalization chapter a bit. tree | commitdiff
2009-11-02 Matthijs KooijmanMore indent fixes to the Normalization chapter. tree | commitdiff
2009-11-02 Matthijs KooijmanRemove an unused (and commented) macro. tree | commitdiff
2009-11-02 Matthijs KooijmanReshuffle all transformations into categories. tree | commitdiff
2009-10-30 Matthijs KooijmanAdd some stuff about provable properties of our system. tree | commitdiff
2009-10-30 Matthijs KooijmanAdd some extra outline to the Hardware Description... tree | commitdiff
2009-10-28 Matthijs KooijmanAdd more content to the Hardware Description chapter. tree | commitdiff
2009-10-26 Matthijs KooijmanFinish state section in hardware description chapter. tree | commitdiff
2009-10-26 Matthijs KooijmanAdd some more stuff about state. tree | commitdiff
2009-10-26 Matthijs KooijmanAdd two pictures. tree | commitdiff
2009-10-26 Matthijs KooijmanAdd some more context. tree | commitdiff
2009-10-23 Matthijs KooijmanAdd some context. tree | commitdiff
2009-10-23 Matthijs KooijmanAdd some more content to the State section. tree | commitdiff
2009-10-23 Matthijs KooijmanAdd a Context chapter. tree | commitdiff
2009-10-23 Matthijs KooijmanUse \in instead of \at to refer to section numbers. tree | commitdiff
2009-10-23 Matthijs KooijmanMove the example float definition to Utils/. tree | commitdiff
2009-10-21 Matthijs KooijmanAdd section label. tree | commitdiff
2009-10-21 Matthijs Kooijman(Almost) finish the future work chapter. tree | commitdiff
2009-10-20 Matthijs KooijmanMove the State chapter into the Hardware Description... tree | commitdiff
2009-10-15 Matthijs KooijmanAdd a section on expressions in the Core language. tree | commitdiff
2009-10-12 Matthijs KooijmanFix typo. tree | commitdiff
2009-10-12 Matthijs KooijmanSplit "extended β-reduction" into two transformations. tree | commitdiff
2009-10-09 Matthijs KooijmanReset quotation settings after changing them. tree | commitdiff
2009-10-09 Matthijs KooijmanUpdate the definitions section and add references. tree | commitdiff
2009-10-09 Matthijs KooijmanRestructure the section structure of the Normalization... tree | commitdiff
2009-10-08 Matthijs KooijmanImprove and clarify transformation format definition. tree | commitdiff
2009-10-08 Matthijs KooijmanAdd a section on binder uniqueness. tree | commitdiff
2009-10-06 Matthijs KooijmanAdd note about differences between Core and the graphic... tree | commitdiff
2009-10-05 Matthijs KooijmanPut "VHDL" in small caps everywhere. tree | commitdiff
2009-10-05 Matthijs KooijmanRestructure the introduction of the Normalization chapter. tree | commitdiff
2009-10-02 Matthijs KooijmanAdd two new simple normal form examples. tree | commitdiff
2009-10-01 Matthijs KooijmanSome minor wording fixes. tree | commitdiff
2009-09-30 Matthijs KooijmanFix type in comment. tree | commitdiff
2009-09-29 Matthijs KooijmanPut a fancy box around transformation examples as well. tree | commitdiff
2009-09-29 Matthijs KooijmanAdd labels to all chapters. tree | commitdiff
2009-09-29 Matthijs KooijmanFurther expand the Prototype chapter. tree | commitdiff
2009-09-29 Matthijs KooijmanUse save instead of clearObj in a MP drawing. tree | commitdiff
2009-09-28 Matthijs KooijmanMake a start with the prototype chapter. tree | commitdiff
2009-09-28 Matthijs KooijmanAdd outline for Prototype chapter. tree | commitdiff
2009-09-24 Matthijs KooijmanAdd a section on research goals and an outline. tree | commitdiff
2009-09-09 Matthijs KooijmanAdd (a start of) an introduction). tree | commitdiff
2009-09-09 Matthijs KooijmanAdd a bit content to a new Future Work chapter. tree | commitdiff
2009-09-02 Matthijs KooijmanRemove the example sequence, it was completely out... tree | commitdiff
2009-09-02 Matthijs KooijmanImprove some text and add definitions in Normalization. tree | commitdiff
2009-09-01 Matthijs KooijmanUpdate a bunch more transformations. tree | commitdiff
2009-08-31 Matthijs KooijmanAdd content to a bunch more transformations. tree | commitdiff
2009-08-31 Matthijs KooijmanReorder and complete the list of transformations. tree | commitdiff
2009-08-28 Matthijs KooijmanAdd a new definition of the normal form. tree | commitdiff
2009-08-27 Matthijs KooijmanRemove explicit subscription underscores. tree | commitdiff
2009-08-27 Matthijs KooijmanUpdate normal form example. tree | commitdiff
2009-08-26 Matthijs KooijmanRemove \stoptext from the Normalization chapter. tree | commitdiff
2009-08-25 Matthijs KooijmanAdd a Hardware description chapter, that describes... tree | commitdiff
2009-08-25 Matthijs KooijmanMake Core2Core a chapter in the report. tree | commitdiff
2009-08-20 Matthijs KooijmanAdd some content to the State chapter. tree | commitdiff
2009-07-27 Matthijs KooijmanAdd some initial structure for the final report. tree | commitdiff
Master's thesis on the cλash compiler