matthijs/master-project/report.git
9 years agoSet up doublesided margins and pagenumbering.
Matthijs Kooijman [Mon, 7 Dec 2009 07:16:25 +0000 (08:16 +0100)]
Set up doublesided margins and pagenumbering.

9 years agoPut one more 0 in another font.
Matthijs Kooijman [Mon, 7 Dec 2009 00:16:27 +0000 (01:16 +0100)]
Put one more 0 in another font.

9 years agoFix things following from comments from Marco and Sabih.
Matthijs Kooijman [Mon, 7 Dec 2009 00:10:28 +0000 (01:10 +0100)]
Fix things following from comments from Marco and Sabih.

9 years agoAdd reference about Core's operational semantics.
Matthijs Kooijman [Sun, 6 Dec 2009 20:17:28 +0000 (21:17 +0100)]
Add reference about Core's operational semantics.

9 years agoFix a lot of things following from Jan's comments.
Matthijs Kooijman [Sun, 6 Dec 2009 20:08:39 +0000 (21:08 +0100)]
Fix a lot of things following from Jan's comments.

9 years agoImprove strikethrough a bit.
Matthijs Kooijman [Sun, 6 Dec 2009 18:30:10 +0000 (19:30 +0100)]
Improve strikethrough a bit.

9 years agoRemove debug print from pret-lam.
Matthijs Kooijman [Sun, 6 Dec 2009 17:23:08 +0000 (18:23 +0100)]
Remove debug print from pret-lam.

9 years agoLimit luatex to 500M of virtual memory.
Matthijs Kooijman [Sun, 6 Dec 2009 17:13:12 +0000 (18:13 +0100)]
Limit luatex to 500M of virtual memory.

Luatex has the tendency to bring down the entire system when it goes
into some infinite loop.

9 years agoMake a var local (again) in pret-lam.
Matthijs Kooijman [Sun, 6 Dec 2009 17:11:53 +0000 (18:11 +0100)]
Make a var local (again) in pret-lam.

9 years agoPrettyprint comments in italic.
Matthijs Kooijman [Sun, 6 Dec 2009 16:18:42 +0000 (17:18 +0100)]
Prettyprint comments in italic.

9 years agoAdd strikethrough to the lambda prettyprinter.
Matthijs Kooijman [Sun, 6 Dec 2009 15:55:28 +0000 (16:55 +0100)]
Add strikethrough to the lambda prettyprinter.

9 years agoAdd TODO.
Matthijs Kooijman [Sun, 6 Dec 2009 15:55:01 +0000 (16:55 +0100)]
Add TODO.

9 years agoVarious small fixes following from Bert's commentaar.
Matthijs Kooijman [Sat, 5 Dec 2009 23:32:21 +0000 (00:32 +0100)]
Various small fixes following from Bert's commentaar.

9 years agoAdd backmatter commands.
Matthijs Kooijman [Sat, 5 Dec 2009 21:05:46 +0000 (22:05 +0100)]
Add backmatter commands.

9 years agoRemove unused defref.
Matthijs Kooijman [Sat, 5 Dec 2009 21:03:25 +0000 (22:03 +0100)]
Remove unused defref.

9 years agoRemove a TODO.
Matthijs Kooijman [Sat, 5 Dec 2009 20:52:02 +0000 (21:52 +0100)]
Remove a TODO.

9 years agoReplace statement with expression everywhere.
Matthijs Kooijman [Sat, 5 Dec 2009 20:49:56 +0000 (21:49 +0100)]
Replace statement with expression everywhere.

9 years agoAdd another reference.
Matthijs Kooijman [Sat, 5 Dec 2009 20:43:17 +0000 (21:43 +0100)]
Add another reference.

9 years agoAdd some references to the context chapter.
Matthijs Kooijman [Sat, 5 Dec 2009 20:24:41 +0000 (21:24 +0100)]
Add some references to the context chapter.

9 years agoMake sure the list of references is numbered.
Matthijs Kooijman [Sat, 5 Dec 2009 20:22:56 +0000 (21:22 +0100)]
Make sure the list of references is numbered.

9 years agoFix todo's in the introduction chapter.
Matthijs Kooijman [Sat, 5 Dec 2009 17:21:33 +0000 (18:21 +0100)]
Fix todo's in the introduction chapter.

9 years agoAllow passing a once option to scons.
Matthijs Kooijman [Sat, 5 Dec 2009 17:19:06 +0000 (18:19 +0100)]
Allow passing a once option to scons.

9 years agoSetup bibtex.
Matthijs Kooijman [Fri, 4 Dec 2009 22:04:54 +0000 (23:04 +0100)]
Setup bibtex.

9 years agoAdd section on EDSLs.
Matthijs Kooijman [Fri, 4 Dec 2009 21:56:15 +0000 (22:56 +0100)]
Add section on EDSLs.

9 years agoNote that we've not considered EDSLs and TH.
Matthijs Kooijman [Fri, 4 Dec 2009 21:52:12 +0000 (22:52 +0100)]
Note that we've not considered EDSLs and TH.

9 years agoFinalize section on state in prototype chapter.
Matthijs Kooijman [Fri, 4 Dec 2009 21:07:39 +0000 (22:07 +0100)]
Finalize section on state in prototype chapter.

9 years agoPartially update state annotations section in the prototype chapter.
Matthijs Kooijman [Fri, 4 Dec 2009 19:05:42 +0000 (20:05 +0100)]
Partially update state annotations section in the prototype chapter.

This is an unfinished commit, to store intermediate progress.

9 years agoRequire an automatic subscript to start with a number.
Matthijs Kooijman [Fri, 4 Dec 2009 15:54:15 +0000 (16:54 +0100)]
Require an automatic subscript to start with a number.

9 years agoRemove todo.
Matthijs Kooijman [Fri, 4 Dec 2009 13:08:43 +0000 (14:08 +0100)]
Remove todo.

9 years agoImprove graph representation section a bit.
Matthijs Kooijman [Fri, 4 Dec 2009 13:03:24 +0000 (14:03 +0100)]
Improve graph representation section a bit.

9 years agoRemove todo.
Matthijs Kooijman [Fri, 4 Dec 2009 12:53:26 +0000 (13:53 +0100)]
Remove todo.

9 years agoImprove conclusions.
Matthijs Kooijman [Fri, 4 Dec 2009 12:52:30 +0000 (13:52 +0100)]
Improve conclusions.

9 years agoMake a small start on the state annotations section.
Matthijs Kooijman [Fri, 4 Dec 2009 09:48:10 +0000 (10:48 +0100)]
Make a small start on the state annotations section.

9 years agoNote the use of tuples for hierarchic state.
Matthijs Kooijman [Thu, 3 Dec 2009 17:23:51 +0000 (18:23 +0100)]
Note the use of tuples for hierarchic state.

9 years agoFix unbalanced parenthesises.
Matthijs Kooijman [Thu, 3 Dec 2009 17:16:57 +0000 (18:16 +0100)]
Fix unbalanced parenthesises.

9 years agoUpdate conclusions.
Matthijs Kooijman [Thu, 3 Dec 2009 17:16:12 +0000 (18:16 +0100)]
Update conclusions.

9 years agoAdd a section on normalization of stateful descriptions.
Matthijs Kooijman [Thu, 3 Dec 2009 16:43:16 +0000 (17:43 +0100)]
Add a section on normalization of stateful descriptions.

9 years agoAdd missing parenthesis.
Matthijs Kooijman [Thu, 3 Dec 2009 15:22:16 +0000 (16:22 +0100)]
Add missing parenthesis.

9 years agoAdd initial sketch for conclusions.
Matthijs Kooijman [Thu, 3 Dec 2009 13:23:35 +0000 (14:23 +0100)]
Add initial sketch for conclusions.

9 years agoReference the substitution intermezzo.
Matthijs Kooijman [Wed, 2 Dec 2009 15:02:24 +0000 (16:02 +0100)]
Reference the substitution intermezzo.

9 years agoAdd TODO.
Matthijs Kooijman [Wed, 2 Dec 2009 14:51:54 +0000 (15:51 +0100)]
Add TODO.

9 years agoSolve and remove some todos.
Matthijs Kooijman [Wed, 2 Dec 2009 14:51:30 +0000 (15:51 +0100)]
Solve and remove some todos.

9 years agoAdd an intermezzo about substitution.
Matthijs Kooijman [Wed, 2 Dec 2009 14:50:42 +0000 (15:50 +0100)]
Add an intermezzo about substitution.

This is the first attempt at an intermezzo, which is not quite ideal yet,
but it works for now.

9 years agoBuild the pdf only once each time.
Matthijs Kooijman [Wed, 2 Dec 2009 12:33:41 +0000 (13:33 +0100)]
Build the pdf only once each time.

This might leave incorrect references, but speeds up the process.

9 years agoFix reference.
Matthijs Kooijman [Wed, 2 Dec 2009 11:26:10 +0000 (12:26 +0100)]
Fix reference.

9 years agoFix typo.
Matthijs Kooijman [Wed, 2 Dec 2009 11:25:34 +0000 (12:25 +0100)]
Fix typo.

9 years agoMove some more stuff around in the Normalization chapter.
Matthijs Kooijman [Wed, 2 Dec 2009 11:16:47 +0000 (12:16 +0100)]
Move some more stuff around in the Normalization chapter.

9 years agoFix two references.
Matthijs Kooijman [Tue, 1 Dec 2009 19:55:06 +0000 (20:55 +0100)]
Fix two references.

9 years agoRename example function app2 to twice.
Matthijs Kooijman [Tue, 1 Dec 2009 19:53:35 +0000 (20:53 +0100)]
Rename example function app2 to twice.

app2 would get the 2 in subscript, which might be confusing.

9 years agoUse \$ instead of just $ in lambda expressions.
Matthijs Kooijman [Tue, 1 Dec 2009 19:52:05 +0000 (20:52 +0100)]
Use \$ instead of just $ in lambda expressions.

This prevents vim's syntax highlighting from screwing up.

9 years agoRestructure and expand parts of the normalization chapter.
Matthijs Kooijman [Tue, 1 Dec 2009 19:40:46 +0000 (20:40 +0100)]
Restructure and expand parts of the normalization chapter.

9 years agoDocument the use of type annotations on variable references.
Matthijs Kooijman [Tue, 1 Dec 2009 11:43:07 +0000 (12:43 +0100)]
Document the use of type annotations on variable references.

9 years agoRemove some whitespace.
Matthijs Kooijman [Tue, 1 Dec 2009 11:13:23 +0000 (12:13 +0100)]
Remove some whitespace.

9 years agoChange the symbol used for casting to ▶.
Matthijs Kooijman [Tue, 1 Dec 2009 10:59:35 +0000 (11:59 +0100)]
Change the symbol used for casting to ▶.

This removes the ambiguity between using :: for explicitly casting and for
showing the type of an expression.

9 years agoSupport ▶ in the lambda prettyprinter.
Matthijs Kooijman [Tue, 1 Dec 2009 10:57:27 +0000 (11:57 +0100)]
Support ▶ in the lambda prettyprinter.

We'll have to use the glyph from our roman font, since our sans font
doesn't have it.

9 years agoAdd note about β-reduction for type variables.
Matthijs Kooijman [Tue, 1 Dec 2009 10:12:27 +0000 (11:12 +0100)]
Add note about β-reduction for type variables.

9 years agoRestructure some of the normalization chapter.
Matthijs Kooijman [Mon, 30 Nov 2009 22:22:14 +0000 (23:22 +0100)]
Restructure some of the normalization chapter.

9 years agoSome minor fixes and improvements.
Matthijs Kooijman [Mon, 30 Nov 2009 20:54:28 +0000 (21:54 +0100)]
Some minor fixes and improvements.

9 years agoPut a VHDL in smallcaps.
Matthijs Kooijman [Mon, 30 Nov 2009 20:45:34 +0000 (21:45 +0100)]
Put a VHDL in smallcaps.

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

9 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.

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

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

9 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.

9 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.

9 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.

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

9 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).

9 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.

9 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.

9 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.

9 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.

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

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

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

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

9 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.

9 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.

9 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.

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

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

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

9 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.

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

9 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.

9 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.

9 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.

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

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

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

9 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.

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

9 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.

9 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.

9 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.

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

9 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.

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

9 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.

9 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.