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

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

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
2009-12-03	Matthijs Kooijman	Note the use of tuples for hierarchic state.	commit \| commitdiff \| tree
2009-12-03	Matthijs Kooijman	Fix unbalanced parenthesises.	commit \| commitdiff \| tree
2009-12-03	Matthijs Kooijman	Update conclusions.	commit \| commitdiff \| tree
2009-12-03	Matthijs Kooijman	Add a section on normalization of stateful descriptions.	commit \| commitdiff \| tree
2009-12-03	Matthijs Kooijman	Add missing parenthesis.	commit \| commitdiff \| tree
2009-12-03	Matthijs Kooijman	Add initial sketch for conclusions.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Reference the substitution intermezzo.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Add TODO.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Solve and remove some todos.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Add an intermezzo about substitution.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Build the pdf only once each time.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Fix reference.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Fix typo.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Move some more stuff around in the Normalization chapter.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Fix two references.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Rename example function app2 to twice.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Use \$ instead of just $ in lambda expressions.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Restructure and expand parts of the normalization chapter.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Document the use of type annotations on variable references.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Remove some whitespace.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Change the symbol used for casting to ▶.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Support ▶ in the lambda prettyprinter.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Add note about β-reduction for type variables.	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Restructure some of the normalization chapter.	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Some minor fixes and improvements.	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Put a VHDL in smallcaps.	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Fix two references.	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Finalize the proofs section.	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Add vim modelines.	commit \| commitdiff \| tree
next

Master's thesis on the cλash compiler

RSS Atom