projects
/
matthijs
/
master-project
/
report.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
matthijs/master-project/report.git
2009-11-06
Matthijs Kooijman
Enable indent stripping for \typebufferlam and \typebuf...
commit
|
commitdiff
|
tree
|
snapshot
2009-11-06
Matthijs Kooijman
Fix layout of a transformation.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-06
Matthijs Kooijman
Automatically strip leading whitespace from all typing...
commit
|
commitdiff
|
tree
|
snapshot
2009-11-06
Matthijs Kooijman
Revert "Allow transformations to be indented."
commit
|
commitdiff
|
tree
|
snapshot
2009-11-06
Matthijs Kooijman
Revert "Allow lambda expression to be indented."
commit
|
commitdiff
|
tree
|
snapshot
2009-11-05
Matthijs Kooijman
Improve a footnote.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-04
Matthijs Kooijman
Add a section on the output format.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-04
Matthijs Kooijman
Describe Top level binding inlining.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-04
Matthijs Kooijman
Allow literal $'s to be used in lambda expressions.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-04
Matthijs Kooijman
Make the normal form use only recursive lets again.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-04
Matthijs Kooijman
Explicitely use "letrec" for recursive lets.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-04
Matthijs Kooijman
Make pret-trans call pret-lam indirectly.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-02
Matthijs Kooijman
Improve Normalization chapter a bit.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-02
Matthijs Kooijman
Update outline.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-02
Matthijs Kooijman
More indent fixes to the Normalization chapter.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-02
Matthijs Kooijman
Remove an unused (and commented) macro.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-02
Matthijs Kooijman
Reshuffle all transformations into categories.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-02
Matthijs Kooijman
Allow lambda expression to be indented.
commit
|
commitdiff
|
tree
|
snapshot
2009-11-02
Matthijs Kooijman
Allow transformations to be indented.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-30
Matthijs Kooijman
Add some stuff about provable properties of our system.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-30
Matthijs Kooijman
Fix lua reference to ctxcatcodes.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-30
Matthijs Kooijman
Add some extra outline to the Hardware Description...
commit
|
commitdiff
|
tree
|
snapshot
2009-10-28
Matthijs Kooijman
Add more content to the Hardware Description chapter.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-26
Matthijs Kooijman
Finish state section in hardware description chapter.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-26
Matthijs Kooijman
Add some more stuff about state.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-26
Matthijs Kooijman
Add two pictures.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-26
Matthijs Kooijman
Add some more context.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-23
Matthijs Kooijman
Add some context.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-23
Matthijs Kooijman
Add some more content to the State section.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-23
Matthijs Kooijman
Add a Context chapter.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-23
Matthijs Kooijman
Use \in instead of \at to refer to section numbers.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-23
Matthijs Kooijman
Move the example float definition to Utils/.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-23
Matthijs Kooijman
Add \typebufferhs command to Haskell-typeset a buffer.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Matthijs Kooijman
Actually compile the Future work chapter.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Matthijs Kooijman
Add section label.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Matthijs Kooijman
(Almost) finish the future work chapter.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-20
Matthijs Kooijman
Move the State chapter into the Hardware Description...
commit
|
commitdiff
|
tree
|
snapshot
2009-10-15
Matthijs Kooijman
Add a section on expressions in the Core language.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-15
Matthijs Kooijman
Make "DEFAULT" a keyword.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-13
Matthijs Kooijman
Allow commas in implicit subscripts.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-12
Matthijs Kooijman
Fix typo.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-12
Matthijs Kooijman
Split "extended β-reduction" into two transformations.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-12
Matthijs Kooijman
Let \refdef generate clickable links.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-12
Matthijs Kooijman
Enable interaction (clickable links) in the table of...
commit
|
commitdiff
|
tree
|
snapshot
2009-10-12
Matthijs Kooijman
Enable interaction (clickable links).
commit
|
commitdiff
|
tree
|
snapshot
2009-10-09
Matthijs Kooijman
Reset quotation settings after changing them.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-09
Matthijs Kooijman
Update the definitions section and add references.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-09
Matthijs Kooijman
Add macros for definitions and inmargin references...
commit
|
commitdiff
|
tree
|
snapshot
2009-10-09
Matthijs Kooijman
Restructure the section structure of the Normalization...
commit
|
commitdiff
|
tree
|
snapshot
2009-10-08
Matthijs Kooijman
Improve and clarify transformation format definition.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-08
Matthijs Kooijman
Add a section on binder uniqueness.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-06
Matthijs Kooijman
Add note about differences between Core and the graphic...
commit
|
commitdiff
|
tree
|
snapshot
2009-10-06
Matthijs Kooijman
Add note to the outline.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-06
Matthijs Kooijman
Reduce randomization in horizontal lines.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-06
Matthijs Kooijman
Use a dotted lines to separate context in a transformation.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-05
Matthijs Kooijman
Put "VHDL" in small caps everywhere.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-05
Matthijs Kooijman
Restructure the introduction of the Normalization chapter.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-05
Matthijs Kooijman
Vertically center the register output port.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-05
Matthijs Kooijman
Add a "sel" point for the selector to the multiplexers.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-05
Matthijs Kooijman
Make multiplexers a bit smaller.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-05
Matthijs Kooijman
Add a "definition" float.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-05
Matthijs Kooijman
Limit randomizations of boxes by the minimum dimension.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-02
Matthijs Kooijman
Add two new simple normal form examples.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-01
Matthijs Kooijman
Add boxedgraphic macro to display a metapost graphic...
commit
|
commitdiff
|
tree
|
snapshot
2009-10-01
Matthijs Kooijman
Add \typebufferlam helper macro.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-01
Matthijs Kooijman
Use width=fit for startboxed and remove startwideboxed.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-01
Matthijs Kooijman
Some minor wording fixes.
commit
|
commitdiff
|
tree
|
snapshot
2009-10-01
Matthijs Kooijman
Add multiplexer metapost object.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-30
Matthijs Kooijman
Add a midpoint Metapost macro.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-30
Matthijs Kooijman
Randomize the transformation HLine a bit.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-30
Matthijs Kooijman
Fix type in comment.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-30
Matthijs Kooijman
Update outline.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-30
Matthijs Kooijman
Don't use uniqueMPgraphic for randomized graphics.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-30
Matthijs Kooijman
Use \HLine instead of \blackrule in transformations.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-30
Matthijs Kooijman
Add \HLine command that draws a horizontal line.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-30
Matthijs Kooijman
Add TODO about globbed spaces after \eg and \ie.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Matthijs Kooijman
Make the box randomization scale with the box size.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Matthijs Kooijman
Put a fancy box around transformation examples as well.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Matthijs Kooijman
Tweak the sizes of the frames in transformations a...
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Matthijs Kooijman
Add pretty boxes around various typing environments.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Matthijs Kooijman
Add labels to all chapters.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Matthijs Kooijman
Further expand the Prototype chapter.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Matthijs Kooijman
Use save instead of clearObj in a MP drawing.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-28
Matthijs Kooijman
Make a start with the prototype chapter.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-28
Matthijs Kooijman
Add "New language" to the outline.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-28
Matthijs Kooijman
Add outline for Prototype chapter.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-24
Matthijs Kooijman
Add a section on research goals and an outline.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-24
Matthijs Kooijman
Update outline.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Matthijs Kooijman
Add a hack to make \overrightarrow work in MetaPost.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Matthijs Kooijman
Define a custom "Register" MetaObj object.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Matthijs Kooijman
Set up MetaPost and MetaObj for drawing diagrams.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Matthijs Kooijman
Run texexec under nice.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-18
Matthijs Kooijman
Use the moder math font, since it has vector arrows.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-16
Matthijs Kooijman
Actually use the Introduction chapter.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-16
Matthijs Kooijman
Use old style numbers when available.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-09
Matthijs Kooijman
Add a brainstorm for an outline.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-09
Matthijs Kooijman
Add (a start of) an introduction).
commit
|
commitdiff
|
tree
|
snapshot
2009-09-09
Matthijs Kooijman
Add a bit content to a new Future Work chapter.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-02
Matthijs Kooijman
Remove the example sequence, it was completely out...
commit
|
commitdiff
|
tree
|
snapshot
2009-09-02
Matthijs Kooijman
Improve some text and add definitions in Normalization.
commit
|
commitdiff
|
tree
|
snapshot
next