projects / matthijs / master-project / report.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improve layout and add citation.
[matthijs/master-project/report.git] / Chapters /
2009-12-09 Matthijs KooijmanImprove layout and add citation. tree | commitdiff
2009-12-09 Matthijs KooijmanAdd a section on proving determinism. tree | commitdiff
2009-12-08 Matthijs KooijmanFix spelling as suggested by aspell. tree | commitdiff
2009-12-08 Matthijs KooijmanFix references. tree | commitdiff
2009-12-08 Matthijs KooijmanReduce with of some code to make a better fit. tree | commitdiff
2009-12-08 Matthijs KooijmanFix typo in buffer name. tree | commitdiff
2009-12-08 Matthijs KooijmanAdd a section on prototype implementation (with the... tree | commitdiff
2009-12-08 Matthijs KooijmanAdd pronounciation of Cλash. tree | commitdiff
2009-12-08 Matthijs KooijmanAdd abstract. tree | commitdiff
2009-12-08 Matthijs KooijmanSay something about using top level function instead... tree | commitdiff
2009-12-08 Matthijs KooijmanSay Core instead of core. tree | commitdiff
2009-12-08 Matthijs KooijmanFix references to the inverter examples. tree | commitdiff
2009-12-08 Matthijs KooijmanPut CaseInv and PatternInv in the same float. tree | commitdiff
2009-12-08 Matthijs KooijmanAdd generated VHDL to the hardware description chapter. tree | commitdiff
2009-12-08 Matthijs KooijmanPut some function names inside \hs. tree | commitdiff
2009-12-08 Matthijs KooijmanDon't use haddock style comments. tree | commitdiff
2009-12-08 Matthijs KooijmanAdd two intermezzo's and shuffle some floats around. tree | commitdiff
2009-12-08 Matthijs KooijmanFix the return value simplification transformation. tree | commitdiff
2009-12-08 Matthijs KooijmanReplace a starttyping with starthaskell. tree | commitdiff
2009-12-07 Matthijs KooijmanAdd boxes around two figures. tree | commitdiff
2009-12-07 Matthijs KooijmanPrevent spaces after citations from being gobbled. tree | commitdiff
2009-12-07 Matthijs KooijmanMisc fixes from own review. tree | commitdiff
2009-12-07 Matthijs KooijmanAdd a VHDL typing style (and some other fixes). tree | commitdiff
2009-12-07 Matthijs KooijmanMove a sidenote. tree | commitdiff
2009-12-07 Matthijs KooijmanUse η/β-expansion instead of η/β-abstraction. tree | commitdiff
2009-12-07 Matthijs KooijmanAdd Scrutinee binder removal. tree | commitdiff
2009-12-07 Matthijs KooijmanMove some examples around. tree | commitdiff
2009-12-07 Matthijs KooijmanActually refer to the intended normal form definition. tree | commitdiff
2009-12-07 Matthijs KooijmanSome more fixed resulting from Jan's comments. tree | commitdiff
2009-12-07 Matthijs KooijmanAlways use a lowercase letter after a colon. tree | commitdiff
2009-12-07 Matthijs KooijmanImprove some wordings. tree | commitdiff
2009-12-07 Matthijs KooijmanAdd sitenote about arguments vs. inputs. tree | commitdiff
2009-12-07 Matthijs KooijmanFix a reference. tree | commitdiff
2009-12-07 Matthijs KooijmanAdd intermezzo on wild binders. tree | commitdiff
2009-12-07 Matthijs KooijmanAdd an intermezzo about the id function. tree | commitdiff
2009-12-07 Matthijs KooijmanAdd some content to the case normalization section. tree | commitdiff
2009-12-07 Matthijs KooijmanRemove deprecated paragraph. tree | commitdiff
2009-12-07 Matthijs KooijmanUse \VHDL\ (etc.) instead of relying on \autoinsertnext... tree | commitdiff
2009-12-07 Matthijs KooijmanSay something about not using simplified core. tree | commitdiff
2009-12-07 Matthijs KooijmanAdd a section on simulation. tree | commitdiff
2009-12-07 Matthijs KooijmanUse normal style zeroes instead of using the sans font. tree | commitdiff
2009-12-07 Matthijs KooijmanDon't suggest messing with the clock input. tree | commitdiff
2009-12-07 Matthijs KooijmanMove the Template Haskell intermezzo a bit down. tree | commitdiff
2009-12-07 Matthijs KooijmanPut one more 0 in another font. tree | commitdiff
2009-12-07 Matthijs KooijmanFix things following from comments from Marco and Sabih. tree | commitdiff
2009-12-06 Matthijs KooijmanAdd reference about Core's operational semantics. tree | commitdiff
2009-12-06 Matthijs KooijmanFix a lot of things following from Jan's comments. tree | commitdiff
2009-12-05 Matthijs KooijmanVarious small fixes following from Bert's commentaar. tree | commitdiff
2009-12-05 Matthijs KooijmanRemove unused defref. tree | commitdiff
2009-12-05 Matthijs KooijmanReplace statement with expression everywhere. tree | commitdiff
2009-12-05 Matthijs KooijmanAdd another reference. tree | commitdiff
2009-12-05 Matthijs KooijmanAdd some references to the context chapter. tree | commitdiff
2009-12-05 Matthijs KooijmanFix todo's in the introduction chapter. tree | commitdiff
2009-12-04 Matthijs KooijmanAdd section on EDSLs. tree | commitdiff
2009-12-04 Matthijs KooijmanNote that we've not considered EDSLs and TH. tree | commitdiff
2009-12-04 Matthijs KooijmanFinalize section on state in prototype chapter. tree | commitdiff
2009-12-04 Matthijs KooijmanPartially update state annotations section in the proto... tree | commitdiff
2009-12-04 Matthijs KooijmanRemove todo. tree | commitdiff
2009-12-04 Matthijs KooijmanImprove graph representation section a bit. tree | commitdiff
2009-12-04 Matthijs KooijmanRemove todo. tree | commitdiff
2009-12-04 Matthijs KooijmanImprove conclusions. tree | commitdiff
2009-12-04 Matthijs KooijmanMake a small start on the state annotations section. tree | commitdiff
2009-12-03 Matthijs KooijmanNote the use of tuples for hierarchic state. tree | commitdiff
2009-12-03 Matthijs KooijmanFix unbalanced parenthesises. tree | commitdiff
2009-12-03 Matthijs KooijmanUpdate conclusions. tree | commitdiff
2009-12-03 Matthijs KooijmanAdd a section on normalization of stateful descriptions. tree | commitdiff
2009-12-03 Matthijs KooijmanAdd missing parenthesis. tree | commitdiff
2009-12-03 Matthijs KooijmanAdd initial sketch for conclusions. tree | commitdiff
2009-12-02 Matthijs KooijmanReference the substitution intermezzo. tree | commitdiff
2009-12-02 Matthijs KooijmanSolve and remove some todos. tree | commitdiff
2009-12-02 Matthijs KooijmanAdd an intermezzo about substitution. tree | commitdiff
2009-12-02 Matthijs KooijmanFix reference. tree | commitdiff
2009-12-02 Matthijs KooijmanFix typo. tree | commitdiff
2009-12-02 Matthijs KooijmanMove some more stuff around in the Normalization chapter. tree | commitdiff
2009-12-01 Matthijs KooijmanFix two references. tree | commitdiff
2009-12-01 Matthijs KooijmanRename example function app2 to twice. tree | commitdiff
2009-12-01 Matthijs KooijmanUse \$ instead of just $ in lambda expressions. tree | commitdiff
2009-12-01 Matthijs KooijmanRestructure and expand parts of the normalization chapter. tree | commitdiff
2009-12-01 Matthijs KooijmanDocument the use of type annotations on variable refere... tree | commitdiff
2009-12-01 Matthijs KooijmanChange the symbol used for casting to ▶. tree | commitdiff
2009-12-01 Matthijs KooijmanAdd note about β-reduction for type variables. tree | commitdiff
2009-11-30 Matthijs KooijmanRestructure some of the normalization chapter. tree | commitdiff
2009-11-30 Matthijs KooijmanSome minor fixes and improvements. tree | commitdiff
2009-11-30 Matthijs KooijmanPut a VHDL in smallcaps. tree | commitdiff
2009-11-30 Matthijs KooijmanFix two references. tree | commitdiff
2009-11-30 Matthijs KooijmanFinalize the proofs section. tree | commitdiff
2009-11-30 Matthijs KooijmanAdd vim modelines. tree | commitdiff
2009-11-27 Matthijs KooijmanReview more chapters. tree | commitdiff
2009-11-24 Matthijs KooijmanReview the first few chapters. tree | commitdiff
2009-11-12 Matthijs KooijmanAdd / update TODOs. tree | commitdiff
2009-11-12 Matthijs KooijmanAdd two TODOs. tree | commitdiff
2009-11-12 Matthijs KooijmanRemove an extra backslash. tree | commitdiff
2009-11-12 Matthijs KooijmanAdd a section on the Core type system. tree | commitdiff
2009-11-11 Matthijs KooijmanAdd section about don't care values. tree | commitdiff
2009-11-11 Matthijs KooijmanAdd TODO. tree | commitdiff
2009-11-11 Matthijs KooijmanUpdate outline. tree | commitdiff
2009-11-11 Matthijs KooijmanFix source indentation. tree | commitdiff
2009-11-11 Matthijs KooijmanExpand the improved notation for state and pipelining... tree | commitdiff
2009-11-11 Matthijs KooijmanUpdate outline. tree | commitdiff
2009-11-11 Matthijs KooijmanPromote the Output format subsection to a section. tree | commitdiff
next
Master's thesis on the cλash compiler