projects / matthijs / master-project / report.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
matthijs/master-project/report.git
2009-11-02 Matthijs KooijmanReshuffle all transformations into categories. commit | commitdiff | tree | snapshot
2009-11-02 Matthijs KooijmanAllow lambda expression to be indented. commit | commitdiff | tree | snapshot
2009-11-02 Matthijs KooijmanAllow transformations to be indented. commit | commitdiff | tree | snapshot
2009-10-30 Matthijs KooijmanAdd some stuff about provable properties of our system. commit | commitdiff | tree | snapshot
2009-10-30 Matthijs KooijmanFix lua reference to ctxcatcodes. commit | commitdiff | tree | snapshot
2009-10-30 Matthijs KooijmanAdd some extra outline to the Hardware Description... commit | commitdiff | tree | snapshot
2009-10-28 Matthijs KooijmanAdd more content to the Hardware Description chapter. commit | commitdiff | tree | snapshot
2009-10-26 Matthijs KooijmanFinish state section in hardware description chapter. commit | commitdiff | tree | snapshot
2009-10-26 Matthijs KooijmanAdd some more stuff about state. commit | commitdiff | tree | snapshot
2009-10-26 Matthijs KooijmanAdd two pictures. commit | commitdiff | tree | snapshot
2009-10-26 Matthijs KooijmanAdd some more context. commit | commitdiff | tree | snapshot
2009-10-23 Matthijs KooijmanAdd some context. commit | commitdiff | tree | snapshot
2009-10-23 Matthijs KooijmanAdd some more content to the State section. commit | commitdiff | tree | snapshot
2009-10-23 Matthijs KooijmanAdd a Context chapter. commit | commitdiff | tree | snapshot
2009-10-23 Matthijs KooijmanUse \in instead of \at to refer to section numbers. commit | commitdiff | tree | snapshot
2009-10-23 Matthijs KooijmanMove the example float definition to Utils/. commit | commitdiff | tree | snapshot
2009-10-23 Matthijs KooijmanAdd \typebufferhs command to Haskell-typeset a buffer. commit | commitdiff | tree | snapshot
2009-10-21 Matthijs KooijmanActually compile the Future work chapter. commit | commitdiff | tree | snapshot
2009-10-21 Matthijs KooijmanAdd section label. commit | commitdiff | tree | snapshot
2009-10-21 Matthijs Kooijman(Almost) finish the future work chapter. commit | commitdiff | tree | snapshot
2009-10-20 Matthijs KooijmanMove the State chapter into the Hardware Description... commit | commitdiff | tree | snapshot
2009-10-15 Matthijs KooijmanAdd a section on expressions in the Core language. commit | commitdiff | tree | snapshot
2009-10-15 Matthijs KooijmanMake "DEFAULT" a keyword. commit | commitdiff | tree | snapshot
2009-10-13 Matthijs KooijmanAllow commas in implicit subscripts. commit | commitdiff | tree | snapshot
2009-10-12 Matthijs KooijmanFix typo. commit | commitdiff | tree | snapshot
2009-10-12 Matthijs KooijmanSplit "extended β-reduction" into two transformations. commit | commitdiff | tree | snapshot
2009-10-12 Matthijs KooijmanLet \refdef generate clickable links. commit | commitdiff | tree | snapshot
2009-10-12 Matthijs KooijmanEnable interaction (clickable links) in the table of... commit | commitdiff | tree | snapshot
2009-10-12 Matthijs KooijmanEnable interaction (clickable links). commit | commitdiff | tree | snapshot
2009-10-09 Matthijs KooijmanReset quotation settings after changing them. commit | commitdiff | tree | snapshot
2009-10-09 Matthijs KooijmanUpdate the definitions section and add references. commit | commitdiff | tree | snapshot
2009-10-09 Matthijs KooijmanAdd macros for definitions and inmargin references... commit | commitdiff | tree | snapshot
2009-10-09 Matthijs KooijmanRestructure the section structure of the Normalization... commit | commitdiff | tree | snapshot
2009-10-08 Matthijs KooijmanImprove and clarify transformation format definition. commit | commitdiff | tree | snapshot
2009-10-08 Matthijs KooijmanAdd a section on binder uniqueness. commit | commitdiff | tree | snapshot
2009-10-06 Matthijs KooijmanAdd note about differences between Core and the graphic... commit | commitdiff | tree | snapshot
2009-10-06 Matthijs KooijmanAdd note to the outline. commit | commitdiff | tree | snapshot
2009-10-06 Matthijs KooijmanReduce randomization in horizontal lines. commit | commitdiff | tree | snapshot
2009-10-06 Matthijs KooijmanUse a dotted lines to separate context in a transformation. commit | commitdiff | tree | snapshot
2009-10-05 Matthijs KooijmanPut "VHDL" in small caps everywhere. commit | commitdiff | tree | snapshot
2009-10-05 Matthijs KooijmanRestructure the introduction of the Normalization chapter. commit | commitdiff | tree | snapshot
2009-10-05 Matthijs KooijmanVertically center the register output port. commit | commitdiff | tree | snapshot
2009-10-05 Matthijs KooijmanAdd a "sel" point for the selector to the multiplexers. commit | commitdiff | tree | snapshot
2009-10-05 Matthijs KooijmanMake multiplexers a bit smaller. commit | commitdiff | tree | snapshot
2009-10-05 Matthijs KooijmanAdd a "definition" float. commit | commitdiff | tree | snapshot
2009-10-05 Matthijs KooijmanLimit randomizations of boxes by the minimum dimension. commit | commitdiff | tree | snapshot
2009-10-02 Matthijs KooijmanAdd two new simple normal form examples. commit | commitdiff | tree | snapshot
2009-10-01 Matthijs KooijmanAdd boxedgraphic macro to display a metapost graphic... commit | commitdiff | tree | snapshot
2009-10-01 Matthijs KooijmanAdd \typebufferlam helper macro. commit | commitdiff | tree | snapshot
2009-10-01 Matthijs KooijmanUse width=fit for startboxed and remove startwideboxed. commit | commitdiff | tree | snapshot
2009-10-01 Matthijs KooijmanSome minor wording fixes. commit | commitdiff | tree | snapshot
2009-10-01 Matthijs KooijmanAdd multiplexer metapost object. commit | commitdiff | tree | snapshot
2009-09-30 Matthijs KooijmanAdd a midpoint Metapost macro. commit | commitdiff | tree | snapshot
2009-09-30 Matthijs KooijmanRandomize the transformation HLine a bit. commit | commitdiff | tree | snapshot
2009-09-30 Matthijs KooijmanFix type in comment. commit | commitdiff | tree | snapshot
2009-09-30 Matthijs KooijmanUpdate outline. commit | commitdiff | tree | snapshot
2009-09-30 Matthijs KooijmanDon't use uniqueMPgraphic for randomized graphics. commit | commitdiff | tree | snapshot
2009-09-30 Matthijs KooijmanUse \HLine instead of \blackrule in transformations. commit | commitdiff | tree | snapshot
2009-09-30 Matthijs KooijmanAdd \HLine command that draws a horizontal line. commit | commitdiff | tree | snapshot
2009-09-30 Matthijs KooijmanAdd TODO about globbed spaces after \eg and \ie. commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanMake the box randomization scale with the box size. commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanPut a fancy box around transformation examples as well. commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanTweak the sizes of the frames in transformations a... commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanAdd pretty boxes around various typing environments. commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanAdd labels to all chapters. commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanFurther expand the Prototype chapter. commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanUse save instead of clearObj in a MP drawing. commit | commitdiff | tree | snapshot
2009-09-28 Matthijs KooijmanMake a start with the prototype chapter. commit | commitdiff | tree | snapshot
2009-09-28 Matthijs KooijmanAdd "New language" to the outline. commit | commitdiff | tree | snapshot
2009-09-28 Matthijs KooijmanAdd outline for Prototype chapter. commit | commitdiff | tree | snapshot
2009-09-24 Matthijs KooijmanAdd a section on research goals and an outline. commit | commitdiff | tree | snapshot
2009-09-24 Matthijs KooijmanUpdate outline. commit | commitdiff | tree | snapshot
2009-09-23 Matthijs KooijmanAdd a hack to make \overrightarrow work in MetaPost. commit | commitdiff | tree | snapshot
2009-09-23 Matthijs KooijmanDefine a custom "Register" MetaObj object. commit | commitdiff | tree | snapshot
2009-09-23 Matthijs KooijmanSet up MetaPost and MetaObj for drawing diagrams. commit | commitdiff | tree | snapshot
2009-09-23 Matthijs KooijmanRun texexec under nice. commit | commitdiff | tree | snapshot
2009-09-18 Matthijs KooijmanUse the moder math font, since it has vector arrows. commit | commitdiff | tree | snapshot
2009-09-16 Matthijs KooijmanActually use the Introduction chapter. commit | commitdiff | tree | snapshot
2009-09-16 Matthijs KooijmanUse old style numbers when available. commit | commitdiff | tree | snapshot
2009-09-09 Matthijs KooijmanAdd a brainstorm for an outline. commit | commitdiff | tree | snapshot
2009-09-09 Matthijs KooijmanAdd (a start of) an introduction). commit | commitdiff | tree | snapshot
2009-09-09 Matthijs KooijmanAdd a bit content to a new Future Work chapter. commit | commitdiff | tree | snapshot
2009-09-02 Matthijs KooijmanRemove the example sequence, it was completely out... commit | commitdiff | tree | snapshot
2009-09-02 Matthijs KooijmanImprove some text and add definitions in Normalization. commit | commitdiff | tree | snapshot
2009-09-02 Matthijs KooijmanAdd a small bit of whitespace beteen paragraphs. commit | commitdiff | tree | snapshot
2009-09-02 Matthijs KooijmanDefine \epmh{foo} for easy emphasis. commit | commitdiff | tree | snapshot
2009-09-02 Matthijs KooijmanAdd letrec and letnonrec as keywords to pret-lam. commit | commitdiff | tree | snapshot
2009-09-01 Matthijs KooijmanUpdate a bunch more transformations. commit | commitdiff | tree | snapshot
2009-08-31 Matthijs KooijmanAdd content to a bunch more transformations. commit | commitdiff | tree | snapshot
2009-08-31 Matthijs KooijmanReorder and complete the list of transformations. commit | commitdiff | tree | snapshot
2009-08-31 Matthijs KooijmanAdd a bit spacing after a transformation. commit | commitdiff | tree | snapshot
2009-08-28 Matthijs KooijmanAdd a new definition of the normal form. commit | commitdiff | tree | snapshot
2009-08-28 Matthijs KooijmanMake pret-lam preserve alignment using whitespace. commit | commitdiff | tree | snapshot
2009-08-28 Matthijs KooijmanDeclare variables as local in pret-lam. commit | commitdiff | tree | snapshot
2009-08-28 Matthijs KooijmanSupport the | character in pret-lam. commit | commitdiff | tree | snapshot
2009-08-27 Matthijs KooijmanRemove explicit subscription underscores. commit | commitdiff | tree | snapshot
2009-08-27 Matthijs KooijmanUpdate normal form example. commit | commitdiff | tree | snapshot
2009-08-27 Matthijs KooijmanLet all lambda expressions in pret-trans share subscrip... commit | commitdiff | tree | snapshot
2009-08-27 Matthijs KooijmanLet pret-lam support blocks of multiple lambda expressions. commit | commitdiff | tree | snapshot
2009-08-27 Matthijs KooijmanUse local variables for storing visualizer dicts. commit | commitdiff | tree | snapshot
next
Master's thesis on the cλash compiler