projects / matthijs / master-project / report.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Reference the substitution intermezzo.
2009-12-02 Matthijs KooijmanReference the substitution intermezzo.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanAdd TODO.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanSolve and remove some todos.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanAdd an intermezzo about substitution.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanBuild the pdf only once each time.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanFix reference.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanFix typo.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanMove some more stuff around in the Normalization chapter.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanFix two references.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanRename example function app2 to twice.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanUse \$ instead of just $ in lambda expressions.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanRestructure and expand parts of the normalization chapter.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanDocument the use of type annotations on variable references.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanRemove some whitespace.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanChange the symbol used for casting to ▶.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanSupport ▶ in the lambda prettyprinter.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanAdd note about β-reduction for type variables.
 commit | commitdiff | tree
2009-11-30 Matthijs KooijmanRestructure some of the normalization chapter.
 commit | commitdiff | tree
2009-11-30 Matthijs KooijmanSome minor fixes and improvements.
 commit | commitdiff | tree
2009-11-30 Matthijs KooijmanPut a VHDL in smallcaps.
 commit | commitdiff | tree
2009-11-30 Matthijs KooijmanFix two references.
 commit | commitdiff | tree
2009-11-30 Matthijs KooijmanFinalize the proofs section.
 commit | commitdiff | tree
2009-11-30 Matthijs KooijmanAdd vim modelines.
 commit | commitdiff | tree
2009-11-27 Matthijs KooijmanReview more chapters.
 commit | commitdiff | tree
2009-11-26 Matthijs KooijmanFix typo in regex for subscripts.
 commit | commitdiff | tree
2009-11-24 Matthijs KooijmanReview the first few chapters.
 commit | commitdiff | tree
2009-11-24 Matthijs KooijmanUse the unicode rightwards arrow instead of \rightarrow.
 commit | commitdiff | tree
2009-11-24 Matthijs KooijmanSupport => in the lambda prettyprinter.
 commit | commitdiff | tree
2009-11-24 Matthijs KooijmanUse a non-breaking space instead of \obs in the lambda...
commit | commitdiff | tree
2009-11-24 Matthijs KooijmanPut DEFAULT in smallcaps in the lambda prettyprinter.
 commit | commitdiff | tree
2009-11-20 Matthijs KooijmanPrevent some shortcuts from gobbling the next space.
 commit | commitdiff | tree
2009-11-19 Matthijs KooijmanAdd (commented) lines to disable todo's and fixmes.
 commit | commitdiff | tree
2009-11-19 Matthijs KooijmanAdd (commented) lines for 2-up printing.
 commit | commitdiff | tree
2009-11-19 Matthijs KooijmanEnable the fixme module.
 commit | commitdiff | tree
2009-11-12 Matthijs KooijmanUpdate title.
 commit | commitdiff | tree
2009-11-12 Matthijs KooijmanAdd / update TODOs.
 commit | commitdiff | tree
2009-11-12 Matthijs KooijmanAdd two TODOs.
 commit | commitdiff | tree
2009-11-12 Matthijs KooijmanRemove an extra backslash.
 commit | commitdiff | tree
2009-11-12 Matthijs KooijmanAdd a section on the Core type system.
 commit | commitdiff | tree
2009-11-11 Matthijs KooijmanAdd section about don't care values.
 commit | commitdiff | tree
2009-11-11 Matthijs KooijmanAdd TODO.
 commit | commitdiff | tree
2009-11-11 Matthijs KooijmanUpdate outline.
 commit | commitdiff | tree
2009-11-11 Matthijs KooijmanFix source indentation.
 commit | commitdiff | tree
2009-11-11 Matthijs KooijmanExpand the improved notation for state and pipelining...
commit | commitdiff | tree
2009-11-11 Matthijs KooijmanUpdate outline.
 commit | commitdiff | tree
2009-11-11 Matthijs KooijmanPromote the Output format subsection to a section.
 commit | commitdiff | tree
2009-11-11 Matthijs KooijmanPut a vector error over "output" in a figure.
 commit | commitdiff | tree
2009-11-11 Matthijs KooijmanAdd the prototype to the research goals.
 commit | commitdiff | tree
2009-11-11 Matthijs KooijmanProperly escape ampersands.
 commit | commitdiff | tree
2009-11-10 Matthijs KooijmanAdd section on Choice.
 commit | commitdiff | tree
2009-11-06 Matthijs KooijmanAdd \VHDL and \GHC shortcuts.
 commit | commitdiff | tree
2009-11-06 Matthijs KooijmanEnable indent stripping for \typebufferlam and \typebufferhs.
 commit | commitdiff | tree
2009-11-06 Matthijs KooijmanFix layout of a transformation.
 commit | commitdiff | tree
2009-11-06 Matthijs KooijmanAutomatically strip leading whitespace from all typing...
commit | commitdiff | tree
2009-11-06 Matthijs KooijmanRevert "Allow transformations to be indented."
 commit | commitdiff | tree
2009-11-06 Matthijs KooijmanRevert "Allow lambda expression to be indented."
 commit | commitdiff | tree
2009-11-05 Matthijs KooijmanImprove a footnote.
 commit | commitdiff | tree
2009-11-04 Matthijs KooijmanAdd a section on the output format.
 commit | commitdiff | tree
2009-11-04 Matthijs KooijmanDescribe Top level binding inlining.
 commit | commitdiff | tree
2009-11-04 Matthijs KooijmanAllow literal $'s to be used in lambda expressions.
 commit | commitdiff | tree
2009-11-04 Matthijs KooijmanMake the normal form use only recursive lets again.
 commit | commitdiff | tree
2009-11-04 Matthijs KooijmanExplicitely use "letrec" for recursive lets.
 commit | commitdiff | tree
2009-11-04 Matthijs KooijmanMake pret-trans call pret-lam indirectly.
 commit | commitdiff | tree
2009-11-02 Matthijs KooijmanImprove Normalization chapter a bit.
 commit | commitdiff | tree
2009-11-02 Matthijs KooijmanUpdate outline.
 commit | commitdiff | tree
2009-11-02 Matthijs KooijmanMore indent fixes to the Normalization chapter.
 commit | commitdiff | tree
2009-11-02 Matthijs KooijmanRemove an unused (and commented) macro.
 commit | commitdiff | tree
2009-11-02 Matthijs KooijmanReshuffle all transformations into categories.
 commit | commitdiff | tree
2009-11-02 Matthijs KooijmanAllow lambda expression to be indented.
 commit | commitdiff | tree
2009-11-02 Matthijs KooijmanAllow transformations to be indented.
 commit | commitdiff | tree
2009-10-30 Matthijs KooijmanAdd some stuff about provable properties of our system.
 commit | commitdiff | tree
2009-10-30 Matthijs KooijmanFix lua reference to ctxcatcodes.
 commit | commitdiff | tree
2009-10-30 Matthijs KooijmanAdd some extra outline to the Hardware Description...
commit | commitdiff | tree
2009-10-28 Matthijs KooijmanAdd more content to the Hardware Description chapter.
 commit | commitdiff | tree
2009-10-26 Matthijs KooijmanFinish state section in hardware description chapter.
 commit | commitdiff | tree
2009-10-26 Matthijs KooijmanAdd some more stuff about state.
 commit | commitdiff | tree
2009-10-26 Matthijs KooijmanAdd two pictures.
 commit | commitdiff | tree
2009-10-26 Matthijs KooijmanAdd some more context.
 commit | commitdiff | tree
2009-10-23 Matthijs KooijmanAdd some context.
 commit | commitdiff | tree
2009-10-23 Matthijs KooijmanAdd some more content to the State section.
 commit | commitdiff | tree
2009-10-23 Matthijs KooijmanAdd a Context chapter.
 commit | commitdiff | tree
2009-10-23 Matthijs KooijmanUse \in instead of \at to refer to section numbers.
 commit | commitdiff | tree
2009-10-23 Matthijs KooijmanMove the example float definition to Utils/.
 commit | commitdiff | tree
2009-10-23 Matthijs KooijmanAdd \typebufferhs command to Haskell-typeset a buffer.
 commit | commitdiff | tree
2009-10-21 Matthijs KooijmanActually compile the Future work chapter.
 commit | commitdiff | tree
2009-10-21 Matthijs KooijmanAdd section label.
 commit | commitdiff | tree
2009-10-21 Matthijs Kooijman(Almost) finish the future work chapter.
 commit | commitdiff | tree
2009-10-20 Matthijs KooijmanMove the State chapter into the Hardware Description...
commit | commitdiff | tree
2009-10-15 Matthijs KooijmanAdd a section on expressions in the Core language.
 commit | commitdiff | tree
2009-10-15 Matthijs KooijmanMake "DEFAULT" a keyword.
 commit | commitdiff | tree
2009-10-13 Matthijs KooijmanAllow commas in implicit subscripts.
 commit | commitdiff | tree
2009-10-12 Matthijs KooijmanFix typo.
 commit | commitdiff | tree
2009-10-12 Matthijs KooijmanSplit "extended β-reduction" into two transformations.
 commit | commitdiff | tree
2009-10-12 Matthijs KooijmanLet \refdef generate clickable links.
 commit | commitdiff | tree
2009-10-12 Matthijs KooijmanEnable interaction (clickable links) in the table of...
commit | commitdiff | tree
2009-10-12 Matthijs KooijmanEnable interaction (clickable links).
 commit | commitdiff | tree
2009-10-09 Matthijs KooijmanReset quotation settings after changing them.
 commit | commitdiff | tree
2009-10-09 Matthijs KooijmanUpdate the definitions section and add references.
 commit | commitdiff | tree
2009-10-09 Matthijs KooijmanAdd macros for definitions and inmargin references...
commit | commitdiff | tree
2009-10-09 Matthijs KooijmanRestructure the section structure of the Normalization...
commit | commitdiff | tree
next
Master's thesis on the cλash compiler