projects
/
matthijs
/
master-project
/
report.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Remove some progress documents, they are being stored elsewhere.
2010-02-23
Matthijs Kooijman
Remove some progress documents, they are being stored...
commit
|
commitdiff
|
tree
2009-12-09
Matthijs Kooijman
Fix the headers on the conclusion and references list.
commit
|
commitdiff
|
tree
2009-12-09
Matthijs Kooijman
Actually include the acknowledgements.
commit
|
commitdiff
|
tree
2009-12-09
Matthijs Kooijman
Do not put the frontmatter titles into the header area.
commit
|
commitdiff
|
tree
2009-12-09
Matthijs Kooijman
Add acknowledgements.
commit
|
commitdiff
|
tree
2009-12-09
Matthijs Kooijman
Require a word (including its subscript) to end in...
commit
|
commitdiff
|
tree
2009-12-09
Matthijs Kooijman
Don't put AvgStateRemoved in a float.
commit
|
commitdiff
|
tree
2009-12-09
Matthijs Kooijman
Allow single digit subscripts again.
commit
|
commitdiff
|
tree
2009-12-09
Matthijs Kooijman
Fix / remove some final todos.
commit
|
commitdiff
|
tree
2009-12-09
Matthijs Kooijman
Add reference.
commit
|
commitdiff
|
tree
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
next