git.stderr.nl Git - matthijs/master-project/report.git/search

projects / matthijs / master-project / report.git / search

2009-12-09	Matthijs Kooijman	Some fixes to the prototype chapter.	commit \| commitdiff \| tree
2009-12-09	Matthijs Kooijman	Slightly improve the determinism proof section.	commit \| commitdiff \| tree
2009-12-09	Matthijs Kooijman	Actually add bibtex entries for added references.	commit \| commitdiff \| tree
2009-12-09	Matthijs Kooijman	Improve layout and add citation.	commit \| commitdiff \| tree
2009-12-09	Matthijs Kooijman	Add a section on proving determinism.	commit \| commitdiff \| tree
2009-12-09	Matthijs Kooijman	Use the logical and from the roman font.	commit \| commitdiff \| tree
2009-12-09	Matthijs Kooijman	Add the ->> symbol to the lambda prettyprinter.	commit \| commitdiff \| tree
2009-12-09	Matthijs Kooijman	Allow for ordering of symbols in the lambda prettyprinter.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Fix spelling as suggested by aspell.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Fix references.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Reduce with of some code to make a better fit.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Fix typo in buffer name.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Add a section on prototype implementation (with the...	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Add pronounciation of Cλash.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Add abstract.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Say University of Twente instead Twente University.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Say something about using top level function instead...	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Say Core instead of core.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Fix references to the inverter examples.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Put CaseInv and PatternInv in the same float.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Add generated VHDL to the hardware description chapter.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Put spaces in example and definition labels.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Put some function names inside \hs.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Don't use haddock style comments.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Add two intermezzo's and shuffle some floats around.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Fix the return value simplification transformation.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Suppres headers on the final (empty) page.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Only show three levels of contents.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Replace a starttyping with starthaskell.	commit \| commitdiff \| tree
2009-12-08	Matthijs Kooijman	Prevent page breaks directly before boxed typings.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Restart numbering of footnotes on every page.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Add boxes around two figures.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Unify examples, figures and definitions.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Prevent spaces after citations from being gobbled.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Fix some more header stuff.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Misc fixes from own review.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Add a VHDL typing style (and some other fixes).	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Fix the font of footnotes.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Set up headers, footers and page numbers.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Improve the layout of intermezzos.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Move a sidenote.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Disable display of TODO's.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Use η/β-expansion instead of η/β-abstraction.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Add Scrutinee binder removal.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Move some examples around.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Actually refer to the intended normal form definition.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Some more fixed resulting from Jan's comments.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Always use a lowercase letter after a colon.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Improve some wordings.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Add sitenote about arguments vs. inputs.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Fix a reference.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Add intermezzo on wild binders.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Improve the titlepage.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Add an intermezzo about the id function.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Add some content to the case normalization section.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Remove deprecated paragraph.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Remove TODO (links were made non-bold a few commits...	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Move references to the larger margin.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Use \VHDL\ (etc.) instead of relying on \autoinsertnextspace.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Remove TODO.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Say something about not using simplified core.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Remove some TODOs.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Add a section on simulation.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Use normal style zeroes instead of using the sans font.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Don't suggest messing with the clock input.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Move the Template Haskell intermezzo a bit down.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Invert the intermezzo offset.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Set up doublesided margins and pagenumbering.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Put one more 0 in another font.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Fix things following from comments from Marco and Sabih.	commit \| commitdiff \| tree
2009-12-06	Matthijs Kooijman	Add reference about Core's operational semantics.	commit \| commitdiff \| tree
2009-12-06	Matthijs Kooijman	Fix a lot of things following from Jan's comments.	commit \| commitdiff \| tree
2009-12-06	Matthijs Kooijman	Improve strikethrough a bit.	commit \| commitdiff \| tree
2009-12-06	Matthijs Kooijman	Remove debug print from pret-lam.	commit \| commitdiff \| tree
2009-12-06	Matthijs Kooijman	Limit luatex to 500M of virtual memory.	commit \| commitdiff \| tree
2009-12-06	Matthijs Kooijman	Make a var local (again) in pret-lam.	commit \| commitdiff \| tree
2009-12-06	Matthijs Kooijman	Prettyprint comments in italic.	commit \| commitdiff \| tree
2009-12-06	Matthijs Kooijman	Add strikethrough to the lambda prettyprinter.	commit \| commitdiff \| tree
2009-12-06	Matthijs Kooijman	Add TODO.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Various small fixes following from Bert's commentaar.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Add backmatter commands.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Remove unused defref.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Remove a TODO.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Replace statement with expression everywhere.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Add another reference.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Add some references to the context chapter.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Make sure the list of references is numbered.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Fix todo's in the introduction chapter.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Allow passing a once option to scons.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Setup bibtex.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Add section on EDSLs.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Note that we've not considered EDSLs and TH.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Finalize section on state in prototype chapter.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Partially update state annotations section in the prototype...	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Require an automatic subscript to start with a number.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Remove todo.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Improve graph representation section a bit.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Remove todo.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Improve conclusions.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Make a small start on the state annotations section.	commit \| commitdiff \| tree
next

Master's thesis on the cλash compiler

RSS Atom