matthijs/master-project/report.git
11 years agoPut a VHDL in smallcaps.
Matthijs Kooijman [Mon, 30 Nov 2009 20:45:34 +0000 (21:45 +0100)]
Put a VHDL in smallcaps.

11 years agoFix two references.
Matthijs Kooijman [Mon, 30 Nov 2009 20:09:01 +0000 (21:09 +0100)]
Fix two references.

11 years agoFinalize the proofs section.
Matthijs Kooijman [Mon, 30 Nov 2009 19:50:12 +0000 (20:50 +0100)]
Finalize the proofs section.

Also add a section about proofs to the future work section.

11 years agoAdd vim modelines.
Matthijs Kooijman [Mon, 30 Nov 2009 10:26:18 +0000 (11:26 +0100)]
Add vim modelines.

11 years agoReview more chapters.
Matthijs Kooijman [Fri, 27 Nov 2009 12:03:43 +0000 (13:03 +0100)]
Review more chapters.

11 years agoFix typo in regex for subscripts.
Matthijs Kooijman [Thu, 26 Nov 2009 22:30:08 +0000 (23:30 +0100)]
Fix typo in regex for subscripts.

11 years agoReview the first few chapters.
Matthijs Kooijman [Tue, 24 Nov 2009 19:52:48 +0000 (20:52 +0100)]
Review the first few chapters.

This fixes a lot of small errors, improves some wordings, adds some todos
and rewrites all todos to use the fixme package.

11 years agoUse the unicode rightwards arrow instead of \rightarrow.
Matthijs Kooijman [Tue, 24 Nov 2009 15:45:39 +0000 (16:45 +0100)]
Use the unicode rightwards arrow instead of \rightarrow.

It seems this uses the arrow from the current font instead of something
else, which looks slightly better.

11 years agoSupport => in the lambda prettyprinter.
Matthijs Kooijman [Tue, 24 Nov 2009 15:44:16 +0000 (16:44 +0100)]
Support => in the lambda prettyprinter.

11 years agoUse a non-breaking space instead of \obs in the lambda prettyprinter.
Matthijs Kooijman [Tue, 24 Nov 2009 15:04:31 +0000 (16:04 +0100)]
Use a non-breaking space instead of \obs in the lambda prettyprinter.

This makes sure that lambda expressions don't get breaks halfway, but
still preserves multiple spaces (apparently the unicode non-breaking space
is not collapsed like other whitespace).

11 years agoPut DEFAULT in smallcaps in the lambda prettyprinter.
Matthijs Kooijman [Tue, 24 Nov 2009 14:17:42 +0000 (15:17 +0100)]
Put DEFAULT in smallcaps in the lambda prettyprinter.

11 years agoPrevent some shortcuts from gobbling the next space.
Matthijs Kooijman [Fri, 20 Nov 2009 10:42:56 +0000 (11:42 +0100)]
Prevent some shortcuts from gobbling the next space.

Or rather, let them take a guess and reinsert the next space, I think, but
it seems to work.

11 years agoAdd (commented) lines to disable todo's and fixmes.
Matthijs Kooijman [Thu, 19 Nov 2009 12:56:14 +0000 (13:56 +0100)]
Add (commented) lines to disable todo's and fixmes.

This leaves notes enabled, which should be visible to my supervisors.

11 years agoAdd (commented) lines for 2-up printing.
Matthijs Kooijman [Thu, 19 Nov 2009 12:37:08 +0000 (13:37 +0100)]
Add (commented) lines for 2-up printing.

11 years agoEnable the fixme module.
Matthijs Kooijman [Thu, 19 Nov 2009 12:36:34 +0000 (13:36 +0100)]
Enable the fixme module.

11 years agoUpdate title.
Matthijs Kooijman [Thu, 12 Nov 2009 14:24:03 +0000 (15:24 +0100)]
Update title.

11 years agoAdd / update TODOs.
Matthijs Kooijman [Thu, 12 Nov 2009 14:22:23 +0000 (15:22 +0100)]
Add / update TODOs.

11 years agoAdd two TODOs.
Matthijs Kooijman [Thu, 12 Nov 2009 14:14:59 +0000 (15:14 +0100)]
Add two TODOs.

11 years agoRemove an extra backslash.
Matthijs Kooijman [Thu, 12 Nov 2009 14:12:40 +0000 (15:12 +0100)]
Remove an extra backslash.

This screws up syntax highlighting, but at least gives proper output.

11 years agoAdd a section on the Core type system.
Matthijs Kooijman [Thu, 12 Nov 2009 14:10:39 +0000 (15:10 +0100)]
Add a section on the Core type system.

11 years agoAdd section about don't care values.
Matthijs Kooijman [Wed, 11 Nov 2009 21:14:51 +0000 (22:14 +0100)]
Add section about don't care values.

11 years agoAdd TODO.
Matthijs Kooijman [Wed, 11 Nov 2009 19:04:37 +0000 (20:04 +0100)]
Add TODO.

11 years agoUpdate outline.
Matthijs Kooijman [Wed, 11 Nov 2009 19:04:11 +0000 (20:04 +0100)]
Update outline.

11 years agoFix source indentation.
Matthijs Kooijman [Wed, 11 Nov 2009 19:03:22 +0000 (20:03 +0100)]
Fix source indentation.

11 years agoExpand the improved notation for state and pipelining sections.
Matthijs Kooijman [Wed, 11 Nov 2009 16:43:58 +0000 (17:43 +0100)]
Expand the improved notation for state and pipelining sections.

11 years agoUpdate outline.
Matthijs Kooijman [Wed, 11 Nov 2009 10:15:56 +0000 (11:15 +0100)]
Update outline.

11 years agoPromote the Output format subsection to a section.
Matthijs Kooijman [Wed, 11 Nov 2009 09:57:23 +0000 (10:57 +0100)]
Promote the Output format subsection to a section.

11 years agoPut a vector error over "output" in a figure.
Matthijs Kooijman [Wed, 11 Nov 2009 09:56:55 +0000 (10:56 +0100)]
Put a vector error over "output" in a figure.

11 years agoAdd the prototype to the research goals.
Matthijs Kooijman [Wed, 11 Nov 2009 09:55:59 +0000 (10:55 +0100)]
Add the prototype to the research goals.

11 years agoProperly escape ampersands.
Matthijs Kooijman [Wed, 11 Nov 2009 09:39:41 +0000 (10:39 +0100)]
Properly escape ampersands.

11 years agoAdd section on Choice.
Matthijs Kooijman [Tue, 10 Nov 2009 20:46:46 +0000 (21:46 +0100)]
Add section on Choice.

11 years agoAdd \VHDL and \GHC shortcuts.
Matthijs Kooijman [Fri, 6 Nov 2009 16:31:57 +0000 (17:31 +0100)]
Add \VHDL and \GHC shortcuts.

11 years agoEnable indent stripping for \typebufferlam and \typebufferhs.
Matthijs Kooijman [Fri, 6 Nov 2009 15:24:41 +0000 (16:24 +0100)]
Enable indent stripping for \typebufferlam and \typebufferhs.

11 years agoFix layout of a transformation.
Matthijs Kooijman [Fri, 6 Nov 2009 11:06:02 +0000 (12:06 +0100)]
Fix layout of a transformation.

11 years agoAutomatically strip leading whitespace from all typing environments.
Matthijs Kooijman [Fri, 6 Nov 2009 10:58:25 +0000 (11:58 +0100)]
Automatically strip leading whitespace from all typing environments.

This is a new feature in ConTeXt, that replaces my custom code in the
pretty printers.

11 years agoRevert "Allow transformations to be indented."
Matthijs Kooijman [Fri, 6 Nov 2009 10:08:29 +0000 (11:08 +0100)]
Revert "Allow transformations to be indented."

ConTeXt now includes support to do this for any typing environment.

This reverts commit 72a9e027667346a15478adc8109c26a4ffd17f5e.

11 years agoRevert "Allow lambda expression to be indented."
Matthijs Kooijman [Fri, 6 Nov 2009 10:06:39 +0000 (11:06 +0100)]
Revert "Allow lambda expression to be indented."

ConTeXt now includes support to do this for any typing environment.

This reverts commit 8b0d89230c60a843886d36f392755e169b29a114.

11 years agoImprove a footnote.
Matthijs Kooijman [Thu, 5 Nov 2009 13:50:04 +0000 (14:50 +0100)]
Improve a footnote.

11 years agoAdd a section on the output format.
Matthijs Kooijman [Wed, 4 Nov 2009 16:10:09 +0000 (17:10 +0100)]
Add a section on the output format.

11 years agoDescribe Top level binding inlining.
Matthijs Kooijman [Wed, 4 Nov 2009 14:26:58 +0000 (15:26 +0100)]
Describe Top level binding inlining.

11 years agoAllow literal $'s to be used in lambda expressions.
Matthijs Kooijman [Wed, 4 Nov 2009 14:05:26 +0000 (15:05 +0100)]
Allow literal $'s to be used in lambda expressions.

11 years agoMake the normal form use only recursive lets again.
Matthijs Kooijman [Wed, 4 Nov 2009 11:47:34 +0000 (12:47 +0100)]
Make the normal form use only recursive lets again.

Previously, both recursive and non-recursive lets were allowed, which made
a lot of transformations a lot more complex. Now, all lets are made
recursive again, which makes things simpler.

Also do some other miscellaneous fixes in the Normalization chapter.

11 years agoExplicitely use "letrec" for recursive lets.
Matthijs Kooijman [Wed, 4 Nov 2009 11:37:23 +0000 (12:37 +0100)]
Explicitely use "letrec" for recursive lets.

11 years agoMake pret-trans call pret-lam indirectly.
Matthijs Kooijman [Wed, 4 Nov 2009 09:58:19 +0000 (10:58 +0100)]
Make pret-trans call pret-lam indirectly.

Previously, the pret-lam functions were called directly from lua. Now, the
pret-trans prettyprinter generates \startlambda commands so the pretty
printer is called later. This means the start/end_of_block calls now also
include the right part.

11 years agoImprove Normalization chapter a bit.
Matthijs Kooijman [Mon, 2 Nov 2009 13:53:21 +0000 (14:53 +0100)]
Improve Normalization chapter a bit.

11 years agoUpdate outline.
Matthijs Kooijman [Mon, 2 Nov 2009 11:24:23 +0000 (12:24 +0100)]
Update outline.

11 years agoMore indent fixes to the Normalization chapter.
Matthijs Kooijman [Mon, 2 Nov 2009 11:21:06 +0000 (12:21 +0100)]
More indent fixes to the Normalization chapter.

11 years agoRemove an unused (and commented) macro.
Matthijs Kooijman [Mon, 2 Nov 2009 11:16:06 +0000 (12:16 +0100)]
Remove an unused (and commented) macro.

11 years agoReshuffle all transformations into categories.
Matthijs Kooijman [Mon, 2 Nov 2009 11:14:15 +0000 (12:14 +0100)]
Reshuffle all transformations into categories.

This changes no text, only ordering and indentation. Transformation are
now put into a few categories (which still need an introductory text).

11 years agoAllow lambda expression to be indented.
Matthijs Kooijman [Mon, 2 Nov 2009 11:14:00 +0000 (12:14 +0100)]
Allow lambda expression to be indented.

11 years agoAllow transformations to be indented.
Matthijs Kooijman [Mon, 2 Nov 2009 10:54:52 +0000 (11:54 +0100)]
Allow transformations to be indented.

11 years agoAdd some stuff about provable properties of our system.
Matthijs Kooijman [Fri, 30 Oct 2009 16:42:54 +0000 (17:42 +0100)]
Add some stuff about provable properties of our system.

This section is still incomplete, the actual (ideas for) proofs still need
to be written.

11 years agoFix lua reference to ctxcatcodes.
Matthijs Kooijman [Fri, 30 Oct 2009 11:55:48 +0000 (12:55 +0100)]
Fix lua reference to ctxcatcodes.

Apparently something changed in context, making the old code not work (in
a weird and unexpected way).

11 years agoAdd some extra outline to the Hardware Description chapter.
Matthijs Kooijman [Fri, 30 Oct 2009 10:08:48 +0000 (11:08 +0100)]
Add some extra outline to the Hardware Description chapter.

11 years agoAdd more content to the Hardware Description chapter.
Matthijs Kooijman [Wed, 28 Oct 2009 16:42:25 +0000 (17:42 +0100)]
Add more content to the Hardware Description chapter.

11 years agoFinish state section in hardware description chapter.
Matthijs Kooijman [Mon, 26 Oct 2009 16:55:22 +0000 (17:55 +0100)]
Finish state section in hardware description chapter.

Also move a bunch to the prototype chapter, since it is Haskell specific.

11 years agoAdd some more stuff about state.
Matthijs Kooijman [Mon, 26 Oct 2009 14:07:10 +0000 (15:07 +0100)]
Add some more stuff about state.

11 years agoAdd two pictures.
Matthijs Kooijman [Mon, 26 Oct 2009 11:16:30 +0000 (12:16 +0100)]
Add two pictures.

11 years agoAdd some more context.
Matthijs Kooijman [Mon, 26 Oct 2009 10:23:45 +0000 (11:23 +0100)]
Add some more context.

11 years agoAdd some context.
Matthijs Kooijman [Fri, 23 Oct 2009 20:34:50 +0000 (22:34 +0200)]
Add some context.

11 years agoAdd some more content to the State section.
Matthijs Kooijman [Fri, 23 Oct 2009 19:03:28 +0000 (21:03 +0200)]
Add some more content to the State section.

11 years agoAdd a Context chapter.
Matthijs Kooijman [Fri, 23 Oct 2009 14:29:08 +0000 (16:29 +0200)]
Add a Context chapter.

11 years agoUse \in instead of \at to refer to section numbers.
Matthijs Kooijman [Fri, 23 Oct 2009 13:16:43 +0000 (15:16 +0200)]
Use \in instead of \at to refer to section numbers.

\at refers to page numbers instead.

11 years agoMove the example float definition to Utils/.
Matthijs Kooijman [Fri, 23 Oct 2009 11:27:34 +0000 (13:27 +0200)]
Move the example float definition to Utils/.

11 years agoAdd \typebufferhs command to Haskell-typeset a buffer.
Matthijs Kooijman [Fri, 23 Oct 2009 11:25:51 +0000 (13:25 +0200)]
Add \typebufferhs command to Haskell-typeset a buffer.

11 years agoActually compile the Future work chapter.
Matthijs Kooijman [Wed, 21 Oct 2009 13:15:32 +0000 (15:15 +0200)]
Actually compile the Future work chapter.

11 years agoAdd section label.
Matthijs Kooijman [Wed, 21 Oct 2009 13:15:15 +0000 (15:15 +0200)]
Add section label.

11 years ago(Almost) finish the future work chapter.
Matthijs Kooijman [Wed, 21 Oct 2009 13:11:31 +0000 (15:11 +0200)]
(Almost) finish the future work chapter.

Only the first two sections need some expansion.

11 years agoMove the State chapter into the Hardware Description chapter.
Matthijs Kooijman [Tue, 20 Oct 2009 09:35:46 +0000 (11:35 +0200)]
Move the State chapter into the Hardware Description chapter.

11 years agoAdd a section on expressions in the Core language.
Matthijs Kooijman [Thu, 15 Oct 2009 16:33:25 +0000 (18:33 +0200)]
Add a section on expressions in the Core language.

There should be another (sub)section on typing in the Core language.

11 years agoMake "DEFAULT" a keyword.
Matthijs Kooijman [Thu, 15 Oct 2009 16:33:15 +0000 (18:33 +0200)]
Make "DEFAULT" a keyword.

11 years agoAllow commas in implicit subscripts.
Matthijs Kooijman [Tue, 13 Oct 2009 10:09:23 +0000 (12:09 +0200)]
Allow commas in implicit subscripts.

11 years agoFix typo.
Matthijs Kooijman [Mon, 12 Oct 2009 11:24:04 +0000 (13:24 +0200)]
Fix typo.

11 years agoSplit "extended β-reduction" into two transformations.
Matthijs Kooijman [Mon, 12 Oct 2009 11:15:45 +0000 (13:15 +0200)]
Split "extended β-reduction" into two transformations.

11 years agoLet \refdef generate clickable links.
Matthijs Kooijman [Mon, 12 Oct 2009 10:41:59 +0000 (12:41 +0200)]
Let \refdef generate clickable links.

11 years agoEnable interaction (clickable links) in the table of contents.
Matthijs Kooijman [Mon, 12 Oct 2009 10:41:42 +0000 (12:41 +0200)]
Enable interaction (clickable links) in the table of contents.

11 years agoEnable interaction (clickable links).
Matthijs Kooijman [Mon, 12 Oct 2009 10:41:32 +0000 (12:41 +0200)]
Enable interaction (clickable links).

11 years agoReset quotation settings after changing them.
Matthijs Kooijman [Fri, 9 Oct 2009 15:18:58 +0000 (17:18 +0200)]
Reset quotation settings after changing them.

This partly works around a possible bug in Context, where \setupquotation
also affects (breaks) \quote output.

11 years agoUpdate the definitions section and add references.
Matthijs Kooijman [Fri, 9 Oct 2009 13:50:33 +0000 (15:50 +0200)]
Update the definitions section and add references.

11 years agoAdd macros for definitions and inmargin references to them.
Matthijs Kooijman [Fri, 9 Oct 2009 13:50:56 +0000 (15:50 +0200)]
Add macros for definitions and inmargin references to them.

11 years agoRestructure the section structure of the Normalization chapter.
Matthijs Kooijman [Fri, 9 Oct 2009 09:15:13 +0000 (11:15 +0200)]
Restructure the section structure of the Normalization chapter.

11 years agoImprove and clarify transformation format definition.
Matthijs Kooijman [Thu, 8 Oct 2009 15:07:21 +0000 (17:07 +0200)]
Improve and clarify transformation format definition.

11 years agoAdd a section on binder uniqueness.
Matthijs Kooijman [Thu, 8 Oct 2009 12:42:50 +0000 (14:42 +0200)]
Add a section on binder uniqueness.

11 years agoAdd note about differences between Core and the graphical version.
Matthijs Kooijman [Tue, 6 Oct 2009 08:51:49 +0000 (10:51 +0200)]
Add note about differences between Core and the graphical version.

11 years agoAdd note to the outline.
Matthijs Kooijman [Tue, 6 Oct 2009 08:50:01 +0000 (10:50 +0200)]
Add note to the outline.

11 years agoReduce randomization in horizontal lines.
Matthijs Kooijman [Tue, 6 Oct 2009 08:44:37 +0000 (10:44 +0200)]
Reduce randomization in horizontal lines.

11 years agoUse a dotted lines to separate context in a transformation.
Matthijs Kooijman [Tue, 6 Oct 2009 08:36:49 +0000 (10:36 +0200)]
Use a dotted lines to separate context in a transformation.

11 years agoPut "VHDL" in small caps everywhere.
Matthijs Kooijman [Mon, 5 Oct 2009 12:19:39 +0000 (14:19 +0200)]
Put "VHDL" in small caps everywhere.

11 years agoRestructure the introduction of the Normalization chapter.
Matthijs Kooijman [Mon, 5 Oct 2009 12:17:07 +0000 (14:17 +0200)]
Restructure the introduction of the Normalization chapter.

It now builds up to the formal definition using smaller examples, which
should make the chapter more easy to understand.

11 years agoVertically center the register output port.
Matthijs Kooijman [Mon, 5 Oct 2009 12:15:42 +0000 (14:15 +0200)]
Vertically center the register output port.

11 years agoAdd a "sel" point for the selector to the multiplexers.
Matthijs Kooijman [Mon, 5 Oct 2009 11:32:27 +0000 (13:32 +0200)]
Add a "sel" point for the selector to the multiplexers.

11 years agoMake multiplexers a bit smaller.
Matthijs Kooijman [Mon, 5 Oct 2009 11:31:54 +0000 (13:31 +0200)]
Make multiplexers a bit smaller.

11 years agoAdd a "definition" float.
Matthijs Kooijman [Mon, 5 Oct 2009 10:20:24 +0000 (12:20 +0200)]
Add a "definition" float.

11 years agoLimit randomizations of boxes by the minimum dimension.
Matthijs Kooijman [Mon, 5 Oct 2009 10:17:54 +0000 (12:17 +0200)]
Limit randomizations of boxes by the minimum dimension.

Previously, the amount of randomizations was determined by the width only,
causing full width but low boxes to be heavily randomized.

11 years agoAdd two new simple normal form examples.
Matthijs Kooijman [Fri, 2 Oct 2009 11:31:24 +0000 (13:31 +0200)]
Add two new simple normal form examples.

11 years agoAdd boxedgraphic macro to display a metapost graphic with a border.
Matthijs Kooijman [Thu, 1 Oct 2009 14:00:53 +0000 (16:00 +0200)]
Add boxedgraphic macro to display a metapost graphic with a border.

11 years agoAdd \typebufferlam helper macro.
Matthijs Kooijman [Thu, 1 Oct 2009 13:59:58 +0000 (15:59 +0200)]
Add \typebufferlam helper macro.

This macro formats the contents of a buffer with lambda code, with a nice
box around it. This makes up for the fact that Context doesn't have such a
macro.

11 years agoUse width=fit for startboxed and remove startwideboxed.
Matthijs Kooijman [Thu, 1 Oct 2009 10:39:02 +0000 (12:39 +0200)]
Use width=fit for startboxed and remove startwideboxed.

Using width=fit makes the correct for transformations as well, so there is
no more need for a seperate full textwidth framedtext context.

11 years agoSome minor wording fixes.
Matthijs Kooijman [Thu, 1 Oct 2009 10:29:43 +0000 (12:29 +0200)]
Some minor wording fixes.

11 years agoAdd multiplexer metapost object.
Matthijs Kooijman [Thu, 1 Oct 2009 10:29:02 +0000 (12:29 +0200)]
Add multiplexer metapost object.