projects
/
matthijs
/
master-project
/
report.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Improve layout and add citation.
[matthijs/master-project/report.git]
/
Chapters
/
2009-12-09
Matthijs Kooijman
Improve layout and add citation.
tree
|
commitdiff
2009-12-09
Matthijs Kooijman
Add a section on proving determinism.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Fix spelling as suggested by aspell.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Fix references.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Reduce with of some code to make a better fit.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Fix typo in buffer name.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Add a section on prototype implementation (with the...
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Add pronounciation of Cλash.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Add abstract.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Say something about using top level function instead...
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Say Core instead of core.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Fix references to the inverter examples.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Put CaseInv and PatternInv in the same float.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Add generated VHDL to the hardware description chapter.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Put some function names inside \hs.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Don't use haddock style comments.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Add two intermezzo's and shuffle some floats around.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Fix the return value simplification transformation.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Replace a starttyping with starthaskell.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Add boxes around two figures.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Prevent spaces after citations from being gobbled.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Misc fixes from own review.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Add a VHDL typing style (and some other fixes).
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Move a sidenote.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Use η/β-expansion instead of η/β-abstraction.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Add Scrutinee binder removal.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Move some examples around.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Actually refer to the intended normal form definition.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Some more fixed resulting from Jan's comments.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Always use a lowercase letter after a colon.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Improve some wordings.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Add sitenote about arguments vs. inputs.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Fix a reference.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Add intermezzo on wild binders.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Add an intermezzo about the id function.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Add some content to the case normalization section.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Remove deprecated paragraph.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Use \VHDL\ (etc.) instead of relying on \autoinsertnext...
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Say something about not using simplified core.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Add a section on simulation.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Use normal style zeroes instead of using the sans font.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Don't suggest messing with the clock input.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Move the Template Haskell intermezzo a bit down.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Put one more 0 in another font.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Fix things following from comments from Marco and Sabih.
tree
|
commitdiff
2009-12-06
Matthijs Kooijman
Add reference about Core's operational semantics.
tree
|
commitdiff
2009-12-06
Matthijs Kooijman
Fix a lot of things following from Jan's comments.
tree
|
commitdiff
2009-12-05
Matthijs Kooijman
Various small fixes following from Bert's commentaar.
tree
|
commitdiff
2009-12-05
Matthijs Kooijman
Remove unused defref.
tree
|
commitdiff
2009-12-05
Matthijs Kooijman
Replace statement with expression everywhere.
tree
|
commitdiff
2009-12-05
Matthijs Kooijman
Add another reference.
tree
|
commitdiff
2009-12-05
Matthijs Kooijman
Add some references to the context chapter.
tree
|
commitdiff
2009-12-05
Matthijs Kooijman
Fix todo's in the introduction chapter.
tree
|
commitdiff
2009-12-04
Matthijs Kooijman
Add section on EDSLs.
tree
|
commitdiff
2009-12-04
Matthijs Kooijman
Note that we've not considered EDSLs and TH.
tree
|
commitdiff
2009-12-04
Matthijs Kooijman
Finalize section on state in prototype chapter.
tree
|
commitdiff
2009-12-04
Matthijs Kooijman
Partially update state annotations section in the proto...
tree
|
commitdiff
2009-12-04
Matthijs Kooijman
Remove todo.
tree
|
commitdiff
2009-12-04
Matthijs Kooijman
Improve graph representation section a bit.
tree
|
commitdiff
2009-12-04
Matthijs Kooijman
Remove todo.
tree
|
commitdiff
2009-12-04
Matthijs Kooijman
Improve conclusions.
tree
|
commitdiff
2009-12-04
Matthijs Kooijman
Make a small start on the state annotations section.
tree
|
commitdiff
2009-12-03
Matthijs Kooijman
Note the use of tuples for hierarchic state.
tree
|
commitdiff
2009-12-03
Matthijs Kooijman
Fix unbalanced parenthesises.
tree
|
commitdiff
2009-12-03
Matthijs Kooijman
Update conclusions.
tree
|
commitdiff
2009-12-03
Matthijs Kooijman
Add a section on normalization of stateful descriptions.
tree
|
commitdiff
2009-12-03
Matthijs Kooijman
Add missing parenthesis.
tree
|
commitdiff
2009-12-03
Matthijs Kooijman
Add initial sketch for conclusions.
tree
|
commitdiff
2009-12-02
Matthijs Kooijman
Reference the substitution intermezzo.
tree
|
commitdiff
2009-12-02
Matthijs Kooijman
Solve and remove some todos.
tree
|
commitdiff
2009-12-02
Matthijs Kooijman
Add an intermezzo about substitution.
tree
|
commitdiff
2009-12-02
Matthijs Kooijman
Fix reference.
tree
|
commitdiff
2009-12-02
Matthijs Kooijman
Fix typo.
tree
|
commitdiff
2009-12-02
Matthijs Kooijman
Move some more stuff around in the Normalization chapter.
tree
|
commitdiff
2009-12-01
Matthijs Kooijman
Fix two references.
tree
|
commitdiff
2009-12-01
Matthijs Kooijman
Rename example function app2 to twice.
tree
|
commitdiff
2009-12-01
Matthijs Kooijman
Use \$ instead of just $ in lambda expressions.
tree
|
commitdiff
2009-12-01
Matthijs Kooijman
Restructure and expand parts of the normalization chapter.
tree
|
commitdiff
2009-12-01
Matthijs Kooijman
Document the use of type annotations on variable refere...
tree
|
commitdiff
2009-12-01
Matthijs Kooijman
Change the symbol used for casting to ▶.
tree
|
commitdiff
2009-12-01
Matthijs Kooijman
Add note about β-reduction for type variables.
tree
|
commitdiff
2009-11-30
Matthijs Kooijman
Restructure some of the normalization chapter.
tree
|
commitdiff
2009-11-30
Matthijs Kooijman
Some minor fixes and improvements.
tree
|
commitdiff
2009-11-30
Matthijs Kooijman
Put a VHDL in smallcaps.
tree
|
commitdiff
2009-11-30
Matthijs Kooijman
Fix two references.
tree
|
commitdiff
2009-11-30
Matthijs Kooijman
Finalize the proofs section.
tree
|
commitdiff
2009-11-30
Matthijs Kooijman
Add vim modelines.
tree
|
commitdiff
2009-11-27
Matthijs Kooijman
Review more chapters.
tree
|
commitdiff
2009-11-24
Matthijs Kooijman
Review the first few chapters.
tree
|
commitdiff
2009-11-12
Matthijs Kooijman
Add / update TODOs.
tree
|
commitdiff
2009-11-12
Matthijs Kooijman
Add two TODOs.
tree
|
commitdiff
2009-11-12
Matthijs Kooijman
Remove an extra backslash.
tree
|
commitdiff
2009-11-12
Matthijs Kooijman
Add a section on the Core type system.
tree
|
commitdiff
2009-11-11
Matthijs Kooijman
Add section about don't care values.
tree
|
commitdiff
2009-11-11
Matthijs Kooijman
Add TODO.
tree
|
commitdiff
2009-11-11
Matthijs Kooijman
Update outline.
tree
|
commitdiff
2009-11-11
Matthijs Kooijman
Fix source indentation.
tree
|
commitdiff
2009-11-11
Matthijs Kooijman
Expand the improved notation for state and pipelining...
tree
|
commitdiff
2009-11-11
Matthijs Kooijman
Update outline.
tree
|
commitdiff
2009-11-11
Matthijs Kooijman
Promote the Output format subsection to a section.
tree
|
commitdiff
next