projects
/
matthijs
/
master-project
/
report.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Make sure the list of references is numbered.
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
2009-11-27
Matthijs Kooijman
Review more chapters.
commit
|
commitdiff
|
tree
2009-11-26
Matthijs Kooijman
Fix typo in regex for subscripts.
commit
|
commitdiff
|
tree
2009-11-24
Matthijs Kooijman
Review the first few chapters.
commit
|
commitdiff
|
tree
2009-11-24
Matthijs Kooijman
Use the unicode rightwards arrow instead of \rightarrow.
commit
|
commitdiff
|
tree
2009-11-24
Matthijs Kooijman
Support => in the lambda prettyprinter.
commit
|
commitdiff
|
tree
2009-11-24
Matthijs Kooijman
Use a non-breaking space instead of \obs in the lambda...
commit
|
commitdiff
|
tree
2009-11-24
Matthijs Kooijman
Put DEFAULT in smallcaps in the lambda prettyprinter.
commit
|
commitdiff
|
tree
2009-11-20
Matthijs Kooijman
Prevent some shortcuts from gobbling the next space.
commit
|
commitdiff
|
tree
2009-11-19
Matthijs Kooijman
Add (commented) lines to disable todo's and fixmes.
commit
|
commitdiff
|
tree
2009-11-19
Matthijs Kooijman
Add (commented) lines for 2-up printing.
commit
|
commitdiff
|
tree
2009-11-19
Matthijs Kooijman
Enable the fixme module.
commit
|
commitdiff
|
tree
2009-11-12
Matthijs Kooijman
Update title.
commit
|
commitdiff
|
tree
2009-11-12
Matthijs Kooijman
Add / update TODOs.
commit
|
commitdiff
|
tree
2009-11-12
Matthijs Kooijman
Add two TODOs.
commit
|
commitdiff
|
tree
2009-11-12
Matthijs Kooijman
Remove an extra backslash.
commit
|
commitdiff
|
tree
2009-11-12
Matthijs Kooijman
Add a section on the Core type system.
commit
|
commitdiff
|
tree
2009-11-11
Matthijs Kooijman
Add section about don't care values.
commit
|
commitdiff
|
tree
2009-11-11
Matthijs Kooijman
Add TODO.
commit
|
commitdiff
|
tree
2009-11-11
Matthijs Kooijman
Update outline.
commit
|
commitdiff
|
tree
2009-11-11
Matthijs Kooijman
Fix source indentation.
commit
|
commitdiff
|
tree
2009-11-11
Matthijs Kooijman
Expand the improved notation for state and pipelining...
commit
|
commitdiff
|
tree
2009-11-11
Matthijs Kooijman
Update outline.
commit
|
commitdiff
|
tree
2009-11-11
Matthijs Kooijman
Promote the Output format subsection to a section.
commit
|
commitdiff
|
tree
2009-11-11
Matthijs Kooijman
Put a vector error over "output" in a figure.
commit
|
commitdiff
|
tree
2009-11-11
Matthijs Kooijman
Add the prototype to the research goals.
commit
|
commitdiff
|
tree
2009-11-11
Matthijs Kooijman
Properly escape ampersands.
commit
|
commitdiff
|
tree
2009-11-10
Matthijs Kooijman
Add section on Choice.
commit
|
commitdiff
|
tree
2009-11-06
Matthijs Kooijman
Add \VHDL and \GHC shortcuts.
commit
|
commitdiff
|
tree
2009-11-06
Matthijs Kooijman
Enable indent stripping for \typebufferlam and \typebufferhs.
commit
|
commitdiff
|
tree
2009-11-06
Matthijs Kooijman
Fix layout of a transformation.
commit
|
commitdiff
|
tree
2009-11-06
Matthijs Kooijman
Automatically strip leading whitespace from all typing...
commit
|
commitdiff
|
tree
2009-11-06
Matthijs Kooijman
Revert "Allow transformations to be indented."
commit
|
commitdiff
|
tree
2009-11-06
Matthijs Kooijman
Revert "Allow lambda expression to be indented."
commit
|
commitdiff
|
tree
2009-11-05
Matthijs Kooijman
Improve a footnote.
commit
|
commitdiff
|
tree
2009-11-04
Matthijs Kooijman
Add a section on the output format.
commit
|
commitdiff
|
tree
2009-11-04
Matthijs Kooijman
Describe Top level binding inlining.
commit
|
commitdiff
|
tree
2009-11-04
Matthijs Kooijman
Allow literal $'s to be used in lambda expressions.
commit
|
commitdiff
|
tree
2009-11-04
Matthijs Kooijman
Make the normal form use only recursive lets again.
commit
|
commitdiff
|
tree
2009-11-04
Matthijs Kooijman
Explicitely use "letrec" for recursive lets.
commit
|
commitdiff
|
tree
2009-11-04
Matthijs Kooijman
Make pret-trans call pret-lam indirectly.
commit
|
commitdiff
|
tree
2009-11-02
Matthijs Kooijman
Improve Normalization chapter a bit.
commit
|
commitdiff
|
tree
2009-11-02
Matthijs Kooijman
Update outline.
commit
|
commitdiff
|
tree
2009-11-02
Matthijs Kooijman
More indent fixes to the Normalization chapter.
commit
|
commitdiff
|
tree
2009-11-02
Matthijs Kooijman
Remove an unused (and commented) macro.
commit
|
commitdiff
|
tree
2009-11-02
Matthijs Kooijman
Reshuffle all transformations into categories.
commit
|
commitdiff
|
tree
2009-11-02
Matthijs Kooijman
Allow lambda expression to be indented.
commit
|
commitdiff
|
tree
2009-11-02
Matthijs Kooijman
Allow transformations to be indented.
commit
|
commitdiff
|
tree
2009-10-30
Matthijs Kooijman
Add some stuff about provable properties of our system.
commit
|
commitdiff
|
tree
2009-10-30
Matthijs Kooijman
Fix lua reference to ctxcatcodes.
commit
|
commitdiff
|
tree
2009-10-30
Matthijs Kooijman
Add some extra outline to the Hardware Description...
commit
|
commitdiff
|
tree
2009-10-28
Matthijs Kooijman
Add more content to the Hardware Description chapter.
commit
|
commitdiff
|
tree
2009-10-26
Matthijs Kooijman
Finish state section in hardware description chapter.
commit
|
commitdiff
|
tree
2009-10-26
Matthijs Kooijman
Add some more stuff about state.
commit
|
commitdiff
|
tree
2009-10-26
Matthijs Kooijman
Add two pictures.
commit
|
commitdiff
|
tree
2009-10-26
Matthijs Kooijman
Add some more context.
commit
|
commitdiff
|
tree
2009-10-23
Matthijs Kooijman
Add some context.
commit
|
commitdiff
|
tree
2009-10-23
Matthijs Kooijman
Add some more content to the State section.
commit
|
commitdiff
|
tree
next