projects / matthijs / master-project / report.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
matthijs/master-project/report.git
2009-12-09 Matthijs KooijmanAdd acknowledgements. commit | commitdiff | tree | snapshot
2009-12-09 Matthijs KooijmanRequire a word (including its subscript) to end in... commit | commitdiff | tree | snapshot
2009-12-09 Matthijs KooijmanDon't put AvgStateRemoved in a float. commit | commitdiff | tree | snapshot
2009-12-09 Matthijs KooijmanAllow single digit subscripts again. commit | commitdiff | tree | snapshot
2009-12-09 Matthijs KooijmanFix / remove some final todos. commit | commitdiff | tree | snapshot
2009-12-09 Matthijs KooijmanAdd reference. commit | commitdiff | tree | snapshot
2009-12-09 Matthijs KooijmanSome fixes to the prototype chapter. commit | commitdiff | tree | snapshot
2009-12-09 Matthijs KooijmanSlightly improve the determinism proof section. commit | commitdiff | tree | snapshot
2009-12-09 Matthijs KooijmanActually add bibtex entries for added references. commit | commitdiff | tree | snapshot
2009-12-09 Matthijs KooijmanImprove layout and add citation. commit | commitdiff | tree | snapshot
2009-12-09 Matthijs KooijmanAdd a section on proving determinism. commit | commitdiff | tree | snapshot
2009-12-09 Matthijs KooijmanUse the logical and from the roman font. commit | commitdiff | tree | snapshot
2009-12-09 Matthijs KooijmanAdd the ->> symbol to the lambda prettyprinter. commit | commitdiff | tree | snapshot
2009-12-09 Matthijs KooijmanAllow for ordering of symbols in the lambda prettyprinter. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanFix spelling as suggested by aspell. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanFix references. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanReduce with of some code to make a better fit. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanFix typo in buffer name. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanAdd a section on prototype implementation (with the... commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanAdd pronounciation of Cλash. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanAdd abstract. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanSay University of Twente instead Twente University. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanSay something about using top level function instead... commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanSay Core instead of core. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanFix references to the inverter examples. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanPut CaseInv and PatternInv in the same float. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanAdd generated VHDL to the hardware description chapter. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanPut spaces in example and definition labels. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanPut some function names inside \hs. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanDon't use haddock style comments. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanAdd two intermezzo's and shuffle some floats around. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanFix the return value simplification transformation. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanSuppres headers on the final (empty) page. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanOnly show three levels of contents. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanReplace a starttyping with starthaskell. commit | commitdiff | tree | snapshot
2009-12-08 Matthijs KooijmanPrevent page breaks directly before boxed typings. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanRestart numbering of footnotes on every page. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanAdd boxes around two figures. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanUnify examples, figures and definitions. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanPrevent spaces after citations from being gobbled. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanFix some more header stuff. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanMisc fixes from own review. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanAdd a VHDL typing style (and some other fixes). commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanFix the font of footnotes. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanSet up headers, footers and page numbers. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanImprove the layout of intermezzos. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanMove a sidenote. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanDisable display of TODO's. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanUse η/β-expansion instead of η/β-abstraction. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanAdd Scrutinee binder removal. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanMove some examples around. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanActually refer to the intended normal form definition. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanSome more fixed resulting from Jan's comments. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanAlways use a lowercase letter after a colon. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanImprove some wordings. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanAdd sitenote about arguments vs. inputs. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanFix a reference. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanAdd intermezzo on wild binders. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanImprove the titlepage. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanAdd an intermezzo about the id function. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanAdd some content to the case normalization section. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanRemove deprecated paragraph. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanRemove TODO (links were made non-bold a few commits... commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanMove references to the larger margin. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanUse \VHDL\ (etc.) instead of relying on \autoinsertnext... commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanRemove TODO. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanSay something about not using simplified core. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanRemove some TODOs. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanAdd a section on simulation. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanUse normal style zeroes instead of using the sans font. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanDon't suggest messing with the clock input. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanMove the Template Haskell intermezzo a bit down. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanInvert the intermezzo offset. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanSet up doublesided margins and pagenumbering. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanPut one more 0 in another font. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanFix things following from comments from Marco and Sabih. commit | commitdiff | tree | snapshot
2009-12-06 Matthijs KooijmanAdd reference about Core's operational semantics. commit | commitdiff | tree | snapshot
2009-12-06 Matthijs KooijmanFix a lot of things following from Jan's comments. commit | commitdiff | tree | snapshot
2009-12-06 Matthijs KooijmanImprove strikethrough a bit. commit | commitdiff | tree | snapshot
2009-12-06 Matthijs KooijmanRemove debug print from pret-lam. commit | commitdiff | tree | snapshot
2009-12-06 Matthijs KooijmanLimit luatex to 500M of virtual memory. commit | commitdiff | tree | snapshot
2009-12-06 Matthijs KooijmanMake a var local (again) in pret-lam. commit | commitdiff | tree | snapshot
2009-12-06 Matthijs KooijmanPrettyprint comments in italic. commit | commitdiff | tree | snapshot
2009-12-06 Matthijs KooijmanAdd strikethrough to the lambda prettyprinter. commit | commitdiff | tree | snapshot
2009-12-06 Matthijs KooijmanAdd TODO. commit | commitdiff | tree | snapshot
2009-12-05 Matthijs KooijmanVarious small fixes following from Bert's commentaar. commit | commitdiff | tree | snapshot
2009-12-05 Matthijs KooijmanAdd backmatter commands. commit | commitdiff | tree | snapshot
2009-12-05 Matthijs KooijmanRemove unused defref. commit | commitdiff | tree | snapshot
2009-12-05 Matthijs KooijmanRemove a TODO. commit | commitdiff | tree | snapshot
2009-12-05 Matthijs KooijmanReplace statement with expression everywhere. commit | commitdiff | tree | snapshot
2009-12-05 Matthijs KooijmanAdd another reference. commit | commitdiff | tree | snapshot
2009-12-05 Matthijs KooijmanAdd some references to the context chapter. commit | commitdiff | tree | snapshot
2009-12-05 Matthijs KooijmanMake sure the list of references is numbered. commit | commitdiff | tree | snapshot
2009-12-05 Matthijs KooijmanFix todo's in the introduction chapter. commit | commitdiff | tree | snapshot
2009-12-05 Matthijs KooijmanAllow passing a once option to scons. commit | commitdiff | tree | snapshot
2009-12-04 Matthijs KooijmanSetup bibtex. commit | commitdiff | tree | snapshot
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
next
Master's thesis on the cλash compiler