projects
/
matthijs
/
master-project
/
report.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add a section on normalization of stateful descriptions.
[matthijs/master-project/report.git]
/
Chapters
/
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
2009-11-11
Matthijs Kooijman
Put a vector error over "output" in a figure.
tree
|
commitdiff
2009-11-11
Matthijs Kooijman
Add the prototype to the research goals.
tree
|
commitdiff
2009-11-11
Matthijs Kooijman
Properly escape ampersands.
tree
|
commitdiff
2009-11-10
Matthijs Kooijman
Add section on Choice.
tree
|
commitdiff
2009-11-06
Matthijs Kooijman
Fix layout of a transformation.
tree
|
commitdiff
2009-11-06
Matthijs Kooijman
Automatically strip leading whitespace from all typing...
tree
|
commitdiff
2009-11-05
Matthijs Kooijman
Improve a footnote.
tree
|
commitdiff
2009-11-04
Matthijs Kooijman
Add a section on the output format.
tree
|
commitdiff
2009-11-04
Matthijs Kooijman
Describe Top level binding inlining.
tree
|
commitdiff
2009-11-04
Matthijs Kooijman
Make the normal form use only recursive lets again.
tree
|
commitdiff
2009-11-04
Matthijs Kooijman
Explicitely use "letrec" for recursive lets.
tree
|
commitdiff
2009-11-02
Matthijs Kooijman
Improve Normalization chapter a bit.
tree
|
commitdiff
2009-11-02
Matthijs Kooijman
More indent fixes to the Normalization chapter.
tree
|
commitdiff
2009-11-02
Matthijs Kooijman
Remove an unused (and commented) macro.
tree
|
commitdiff
2009-11-02
Matthijs Kooijman
Reshuffle all transformations into categories.
tree
|
commitdiff
2009-10-30
Matthijs Kooijman
Add some stuff about provable properties of our system.
tree
|
commitdiff
2009-10-30
Matthijs Kooijman
Add some extra outline to the Hardware Description...
tree
|
commitdiff
2009-10-28
Matthijs Kooijman
Add more content to the Hardware Description chapter.
tree
|
commitdiff
2009-10-26
Matthijs Kooijman
Finish state section in hardware description chapter.
tree
|
commitdiff
2009-10-26
Matthijs Kooijman
Add some more stuff about state.
tree
|
commitdiff
2009-10-26
Matthijs Kooijman
Add two pictures.
tree
|
commitdiff
2009-10-26
Matthijs Kooijman
Add some more context.
tree
|
commitdiff
2009-10-23
Matthijs Kooijman
Add some context.
tree
|
commitdiff
2009-10-23
Matthijs Kooijman
Add some more content to the State section.
tree
|
commitdiff
2009-10-23
Matthijs Kooijman
Add a Context chapter.
tree
|
commitdiff
2009-10-23
Matthijs Kooijman
Use \in instead of \at to refer to section numbers.
tree
|
commitdiff
2009-10-23
Matthijs Kooijman
Move the example float definition to Utils/.
tree
|
commitdiff
2009-10-21
Matthijs Kooijman
Add section label.
tree
|
commitdiff
2009-10-21
Matthijs Kooijman
(Almost) finish the future work chapter.
tree
|
commitdiff
2009-10-20
Matthijs Kooijman
Move the State chapter into the Hardware Description...
tree
|
commitdiff
2009-10-15
Matthijs Kooijman
Add a section on expressions in the Core language.
tree
|
commitdiff
2009-10-12
Matthijs Kooijman
Fix typo.
tree
|
commitdiff
2009-10-12
Matthijs Kooijman
Split "extended β-reduction" into two transformations.
tree
|
commitdiff
2009-10-09
Matthijs Kooijman
Reset quotation settings after changing them.
tree
|
commitdiff
2009-10-09
Matthijs Kooijman
Update the definitions section and add references.
tree
|
commitdiff
2009-10-09
Matthijs Kooijman
Restructure the section structure of the Normalization...
tree
|
commitdiff
2009-10-08
Matthijs Kooijman
Improve and clarify transformation format definition.
tree
|
commitdiff
2009-10-08
Matthijs Kooijman
Add a section on binder uniqueness.
tree
|
commitdiff
2009-10-06
Matthijs Kooijman
Add note about differences between Core and the graphic...
tree
|
commitdiff
2009-10-05
Matthijs Kooijman
Put "VHDL" in small caps everywhere.
tree
|
commitdiff
2009-10-05
Matthijs Kooijman
Restructure the introduction of the Normalization chapter.
tree
|
commitdiff
2009-10-02
Matthijs Kooijman
Add two new simple normal form examples.
tree
|
commitdiff
2009-10-01
Matthijs Kooijman
Some minor wording fixes.
tree
|
commitdiff
2009-09-30
Matthijs Kooijman
Fix type in comment.
tree
|
commitdiff
2009-09-29
Matthijs Kooijman
Put a fancy box around transformation examples as well.
tree
|
commitdiff
2009-09-29
Matthijs Kooijman
Add labels to all chapters.
tree
|
commitdiff
2009-09-29
Matthijs Kooijman
Further expand the Prototype chapter.
tree
|
commitdiff
2009-09-29
Matthijs Kooijman
Use save instead of clearObj in a MP drawing.
tree
|
commitdiff
2009-09-28
Matthijs Kooijman
Make a start with the prototype chapter.
tree
|
commitdiff
2009-09-28
Matthijs Kooijman
Add outline for Prototype chapter.
tree
|
commitdiff
2009-09-24
Matthijs Kooijman
Add a section on research goals and an outline.
tree
|
commitdiff
2009-09-09
Matthijs Kooijman
Add (a start of) an introduction).
tree
|
commitdiff
2009-09-09
Matthijs Kooijman
Add a bit content to a new Future Work chapter.
tree
|
commitdiff
2009-09-02
Matthijs Kooijman
Remove the example sequence, it was completely out...
tree
|
commitdiff
2009-09-02
Matthijs Kooijman
Improve some text and add definitions in Normalization.
tree
|
commitdiff
2009-09-01
Matthijs Kooijman
Update a bunch more transformations.
tree
|
commitdiff
2009-08-31
Matthijs Kooijman
Add content to a bunch more transformations.
tree
|
commitdiff
2009-08-31
Matthijs Kooijman
Reorder and complete the list of transformations.
tree
|
commitdiff
2009-08-28
Matthijs Kooijman
Add a new definition of the normal form.
tree
|
commitdiff
2009-08-27
Matthijs Kooijman
Remove explicit subscription underscores.
tree
|
commitdiff
2009-08-27
Matthijs Kooijman
Update normal form example.
tree
|
commitdiff
2009-08-26
Matthijs Kooijman
Remove \stoptext from the Normalization chapter.
tree
|
commitdiff
2009-08-25
Matthijs Kooijman
Add a Hardware description chapter, that describes...
tree
|
commitdiff
2009-08-25
Matthijs Kooijman
Make Core2Core a chapter in the report.
tree
|
commitdiff
2009-08-20
Matthijs Kooijman
Add some content to the State chapter.
tree
|
commitdiff
next