projects
/
matthijs
/
master-project
/
report.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Make the normal form use only recursive lets again.
[matthijs/master-project/report.git]
/
Chapters
/
Normalization.tex
2009-11-04
Matthijs Kooijman
Make the normal form use only recursive lets again.
blob
|
commitdiff
|
raw
2009-11-02
Matthijs Kooijman
Improve Normalization chapter a bit.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-02
Matthijs Kooijman
More indent fixes to the Normalization chapter.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-02
Matthijs Kooijman
Remove an unused (and commented) macro.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-02
Matthijs Kooijman
Reshuffle all transformations into categories.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-30
Matthijs Kooijman
Add some stuff about provable properties of our system.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-23
Matthijs Kooijman
Move the example float definition to Utils/.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-12
Matthijs Kooijman
Fix typo.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-12
Matthijs Kooijman
Split "extended β-reduction" into two transformations.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-09
Matthijs Kooijman
Update the definitions section and add references.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-09
Matthijs Kooijman
Restructure the section structure of the Normalization...
blob
|
commitdiff
|
raw
|
diff to current
2009-10-08
Matthijs Kooijman
Improve and clarify transformation format definition.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-08
Matthijs Kooijman
Add a section on binder uniqueness.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-06
Matthijs Kooijman
Add note about differences between Core and the graphic...
blob
|
commitdiff
|
raw
|
diff to current
2009-10-05
Matthijs Kooijman
Put "VHDL" in small caps everywhere.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-05
Matthijs Kooijman
Restructure the introduction of the Normalization chapter.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-02
Matthijs Kooijman
Add two new simple normal form examples.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-01
Matthijs Kooijman
Some minor wording fixes.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-29
Matthijs Kooijman
Put a fancy box around transformation examples as well.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-29
Matthijs Kooijman
Add labels to all chapters.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-02
Matthijs Kooijman
Remove the example sequence, it was completely out...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-02
Matthijs Kooijman
Improve some text and add definitions in Normalization.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-01
Matthijs Kooijman
Update a bunch more transformations.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-31
Matthijs Kooijman
Add content to a bunch more transformations.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-31
Matthijs Kooijman
Reorder and complete the list of transformations.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-28
Matthijs Kooijman
Add a new definition of the normal form.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-27
Matthijs Kooijman
Remove explicit subscription underscores.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-27
Matthijs Kooijman
Update normal form example.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-26
Matthijs Kooijman
Remove \stoptext from the Normalization chapter.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-25
Matthijs Kooijman
Make Core2Core a chapter in the report.
blob
|
commitdiff
|
raw
|
diff to current
projects / matthijs / master-project / report.git / history