projects / matthijs / master-project / report.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
matthijs/master-project/report.git
2009-12-04 Matthijs KooijmanAdd section on EDSLs. commit | commitdiff | tree | snapshot
2009-12-04 Matthijs KooijmanNote that we've not considered EDSLs and TH. commit | commitdiff | tree | snapshot
2009-12-04 Matthijs KooijmanFinalize section on state in prototype chapter. commit | commitdiff | tree | snapshot
2009-12-04 Matthijs KooijmanPartially update state annotations section in the proto... commit | commitdiff | tree | snapshot
2009-12-04 Matthijs KooijmanRequire an automatic subscript to start with a number. commit | commitdiff | tree | snapshot
2009-12-04 Matthijs KooijmanRemove todo. commit | commitdiff | tree | snapshot
2009-12-04 Matthijs KooijmanImprove graph representation section a bit. commit | commitdiff | tree | snapshot
2009-12-04 Matthijs KooijmanRemove todo. commit | commitdiff | tree | snapshot
2009-12-04 Matthijs KooijmanImprove conclusions. commit | commitdiff | tree | snapshot
2009-12-04 Matthijs KooijmanMake a small start on the state annotations section. commit | commitdiff | tree | snapshot
2009-12-03 Matthijs KooijmanNote the use of tuples for hierarchic state. commit | commitdiff | tree | snapshot
2009-12-03 Matthijs KooijmanFix unbalanced parenthesises. commit | commitdiff | tree | snapshot
2009-12-03 Matthijs KooijmanUpdate conclusions. commit | commitdiff | tree | snapshot
2009-12-03 Matthijs KooijmanAdd a section on normalization of stateful descriptions. commit | commitdiff | tree | snapshot
2009-12-03 Matthijs KooijmanAdd missing parenthesis. commit | commitdiff | tree | snapshot
2009-12-03 Matthijs KooijmanAdd initial sketch for conclusions. commit | commitdiff | tree | snapshot
2009-12-02 Matthijs KooijmanReference the substitution intermezzo. commit | commitdiff | tree | snapshot
2009-12-02 Matthijs KooijmanAdd TODO. commit | commitdiff | tree | snapshot
2009-12-02 Matthijs KooijmanSolve and remove some todos. commit | commitdiff | tree | snapshot
2009-12-02 Matthijs KooijmanAdd an intermezzo about substitution. commit | commitdiff | tree | snapshot
2009-12-02 Matthijs KooijmanBuild the pdf only once each time. commit | commitdiff | tree | snapshot
2009-12-02 Matthijs KooijmanFix reference. commit | commitdiff | tree | snapshot
2009-12-02 Matthijs KooijmanFix typo. commit | commitdiff | tree | snapshot
2009-12-02 Matthijs KooijmanMove some more stuff around in the Normalization chapter. commit | commitdiff | tree | snapshot
2009-12-01 Matthijs KooijmanFix two references. commit | commitdiff | tree | snapshot
2009-12-01 Matthijs KooijmanRename example function app2 to twice. commit | commitdiff | tree | snapshot
2009-12-01 Matthijs KooijmanUse \$ instead of just $ in lambda expressions. commit | commitdiff | tree | snapshot
2009-12-01 Matthijs KooijmanRestructure and expand parts of the normalization chapter. commit | commitdiff | tree | snapshot
2009-12-01 Matthijs KooijmanDocument the use of type annotations on variable refere... commit | commitdiff | tree | snapshot
2009-12-01 Matthijs KooijmanRemove some whitespace. commit | commitdiff | tree | snapshot
2009-12-01 Matthijs KooijmanChange the symbol used for casting to ▶. commit | commitdiff | tree | snapshot
2009-12-01 Matthijs KooijmanSupport ▶ in the lambda prettyprinter. commit | commitdiff | tree | snapshot
2009-12-01 Matthijs KooijmanAdd note about β-reduction for type variables. commit | commitdiff | tree | snapshot
2009-11-30 Matthijs KooijmanRestructure some of the normalization chapter. commit | commitdiff | tree | snapshot
2009-11-30 Matthijs KooijmanSome minor fixes and improvements. commit | commitdiff | tree | snapshot
2009-11-30 Matthijs KooijmanPut a VHDL in smallcaps. commit | commitdiff | tree | snapshot
2009-11-30 Matthijs KooijmanFix two references. commit | commitdiff | tree | snapshot
2009-11-30 Matthijs KooijmanFinalize the proofs section. commit | commitdiff | tree | snapshot
2009-11-30 Matthijs KooijmanAdd vim modelines. commit | commitdiff | tree | snapshot
2009-11-27 Matthijs KooijmanReview more chapters. commit | commitdiff | tree | snapshot
2009-11-26 Matthijs KooijmanFix typo in regex for subscripts. commit | commitdiff | tree | snapshot
2009-11-24 Matthijs KooijmanReview the first few chapters. commit | commitdiff | tree | snapshot
2009-11-24 Matthijs KooijmanUse the unicode rightwards arrow instead of \rightarrow. commit | commitdiff | tree | snapshot
2009-11-24 Matthijs KooijmanSupport => in the lambda prettyprinter. commit | commitdiff | tree | snapshot
2009-11-24 Matthijs KooijmanUse a non-breaking space instead of \obs in the lambda... commit | commitdiff | tree | snapshot
2009-11-24 Matthijs KooijmanPut DEFAULT in smallcaps in the lambda prettyprinter. commit | commitdiff | tree | snapshot
2009-11-20 Matthijs KooijmanPrevent some shortcuts from gobbling the next space. commit | commitdiff | tree | snapshot
2009-11-19 Matthijs KooijmanAdd (commented) lines to disable todo's and fixmes. commit | commitdiff | tree | snapshot
2009-11-19 Matthijs KooijmanAdd (commented) lines for 2-up printing. commit | commitdiff | tree | snapshot
2009-11-19 Matthijs KooijmanEnable the fixme module. commit | commitdiff | tree | snapshot
2009-11-12 Matthijs KooijmanUpdate title. commit | commitdiff | tree | snapshot
2009-11-12 Matthijs KooijmanAdd / update TODOs. commit | commitdiff | tree | snapshot
2009-11-12 Matthijs KooijmanAdd two TODOs. commit | commitdiff | tree | snapshot
2009-11-12 Matthijs KooijmanRemove an extra backslash. commit | commitdiff | tree | snapshot
2009-11-12 Matthijs KooijmanAdd a section on the Core type system. commit | commitdiff | tree | snapshot
2009-11-11 Matthijs KooijmanAdd section about don't care values. commit | commitdiff | tree | snapshot
2009-11-11 Matthijs KooijmanAdd TODO. commit | commitdiff | tree | snapshot
2009-11-11 Matthijs KooijmanUpdate outline. commit | commitdiff | tree | snapshot
2009-11-11 Matthijs KooijmanFix source indentation. commit | commitdiff | tree | snapshot
2009-11-11 Matthijs KooijmanExpand the improved notation for state and pipelining... commit | commitdiff | tree | snapshot
2009-11-11 Matthijs KooijmanUpdate outline. commit | commitdiff | tree | snapshot
2009-11-11 Matthijs KooijmanPromote the Output format subsection to a section. commit | commitdiff | tree | snapshot
2009-11-11 Matthijs KooijmanPut a vector error over "output" in a figure. commit | commitdiff | tree | snapshot
2009-11-11 Matthijs KooijmanAdd the prototype to the research goals. commit | commitdiff | tree | snapshot
2009-11-11 Matthijs KooijmanProperly escape ampersands. commit | commitdiff | tree | snapshot
2009-11-10 Matthijs KooijmanAdd section on Choice. commit | commitdiff | tree | snapshot
2009-11-06 Matthijs KooijmanAdd \VHDL and \GHC shortcuts. commit | commitdiff | tree | snapshot
2009-11-06 Matthijs KooijmanEnable indent stripping for \typebufferlam and \typebuf... commit | commitdiff | tree | snapshot
2009-11-06 Matthijs KooijmanFix layout of a transformation. commit | commitdiff | tree | snapshot
2009-11-06 Matthijs KooijmanAutomatically strip leading whitespace from all typing... commit | commitdiff | tree | snapshot
2009-11-06 Matthijs KooijmanRevert "Allow transformations to be indented." commit | commitdiff | tree | snapshot
2009-11-06 Matthijs KooijmanRevert "Allow lambda expression to be indented." commit | commitdiff | tree | snapshot
2009-11-05 Matthijs KooijmanImprove a footnote. commit | commitdiff | tree | snapshot
2009-11-04 Matthijs KooijmanAdd a section on the output format. commit | commitdiff | tree | snapshot
2009-11-04 Matthijs KooijmanDescribe Top level binding inlining. commit | commitdiff | tree | snapshot
2009-11-04 Matthijs KooijmanAllow literal $'s to be used in lambda expressions. commit | commitdiff | tree | snapshot
2009-11-04 Matthijs KooijmanMake the normal form use only recursive lets again. commit | commitdiff | tree | snapshot
2009-11-04 Matthijs KooijmanExplicitely use "letrec" for recursive lets. commit | commitdiff | tree | snapshot
2009-11-04 Matthijs KooijmanMake pret-trans call pret-lam indirectly. commit | commitdiff | tree | snapshot
2009-11-02 Matthijs KooijmanImprove Normalization chapter a bit. commit | commitdiff | tree | snapshot
2009-11-02 Matthijs KooijmanUpdate outline. commit | commitdiff | tree | snapshot
2009-11-02 Matthijs KooijmanMore indent fixes to the Normalization chapter. commit | commitdiff | tree | snapshot
2009-11-02 Matthijs KooijmanRemove an unused (and commented) macro. commit | commitdiff | tree | snapshot
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
next
Master's thesis on the cλash compiler