git.stderr.nl Git - matthijs/master-project/report.git/search

projects / matthijs / master-project / report.git / search

2009-12-03	Matthijs Kooijman	Add a section on normalization of stateful descriptions.	commit \| commitdiff \| tree
2009-12-03	Matthijs Kooijman	Add missing parenthesis.	commit \| commitdiff \| tree
2009-12-03	Matthijs Kooijman	Add initial sketch for conclusions.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Reference the substitution intermezzo.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Add TODO.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Solve and remove some todos.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Add an intermezzo about substitution.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Build the pdf only once each time.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Fix reference.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Fix typo.	commit \| commitdiff \| tree
2009-12-02	Matthijs Kooijman	Move some more stuff around in the Normalization chapter.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Fix two references.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Rename example function app2 to twice.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Use \$ instead of just $ in lambda expressions.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Restructure and expand parts of the normalization chapter.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Document the use of type annotations on variable references.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Remove some whitespace.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Change the symbol used for casting to ▶.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Support ▶ in the lambda prettyprinter.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Add note about β-reduction for type variables.	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Restructure some of the normalization chapter.	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Some minor fixes and improvements.	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Put a VHDL in smallcaps.	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Fix two references.	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Finalize the proofs section.	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Add vim modelines.	commit \| commitdiff \| tree
2009-11-27	Matthijs Kooijman	Review more chapters.	commit \| commitdiff \| tree
2009-11-26	Matthijs Kooijman	Fix typo in regex for subscripts.	commit \| commitdiff \| tree
2009-11-24	Matthijs Kooijman	Review the first few chapters.	commit \| commitdiff \| tree
2009-11-24	Matthijs Kooijman	Use the unicode rightwards arrow instead of \rightarrow.	commit \| commitdiff \| tree
2009-11-24	Matthijs Kooijman	Support => in the lambda prettyprinter.	commit \| commitdiff \| tree
2009-11-24	Matthijs Kooijman	Use a non-breaking space instead of \obs in the lambda...	commit \| commitdiff \| tree
2009-11-24	Matthijs Kooijman	Put DEFAULT in smallcaps in the lambda prettyprinter.	commit \| commitdiff \| tree
2009-11-20	Matthijs Kooijman	Prevent some shortcuts from gobbling the next space.	commit \| commitdiff \| tree
2009-11-19	Matthijs Kooijman	Add (commented) lines to disable todo's and fixmes.	commit \| commitdiff \| tree
2009-11-19	Matthijs Kooijman	Add (commented) lines for 2-up printing.	commit \| commitdiff \| tree
2009-11-19	Matthijs Kooijman	Enable the fixme module.	commit \| commitdiff \| tree
2009-11-12	Matthijs Kooijman	Update title.	commit \| commitdiff \| tree
2009-11-12	Matthijs Kooijman	Add / update TODOs.	commit \| commitdiff \| tree
2009-11-12	Matthijs Kooijman	Add two TODOs.	commit \| commitdiff \| tree
2009-11-12	Matthijs Kooijman	Remove an extra backslash.	commit \| commitdiff \| tree
2009-11-12	Matthijs Kooijman	Add a section on the Core type system.	commit \| commitdiff \| tree
2009-11-11	Matthijs Kooijman	Add section about don't care values.	commit \| commitdiff \| tree
2009-11-11	Matthijs Kooijman	Add TODO.	commit \| commitdiff \| tree
2009-11-11	Matthijs Kooijman	Update outline.	commit \| commitdiff \| tree
2009-11-11	Matthijs Kooijman	Fix source indentation.	commit \| commitdiff \| tree
2009-11-11	Matthijs Kooijman	Expand the improved notation for state and pipelining...	commit \| commitdiff \| tree
2009-11-11	Matthijs Kooijman	Update outline.	commit \| commitdiff \| tree
2009-11-11	Matthijs Kooijman	Promote the Output format subsection to a section.	commit \| commitdiff \| tree
2009-11-11	Matthijs Kooijman	Put a vector error over "output" in a figure.	commit \| commitdiff \| tree
2009-11-11	Matthijs Kooijman	Add the prototype to the research goals.	commit \| commitdiff \| tree
2009-11-11	Matthijs Kooijman	Properly escape ampersands.	commit \| commitdiff \| tree
2009-11-10	Matthijs Kooijman	Add section on Choice.	commit \| commitdiff \| tree
2009-11-06	Matthijs Kooijman	Add \VHDL and \GHC shortcuts.	commit \| commitdiff \| tree
2009-11-06	Matthijs Kooijman	Enable indent stripping for \typebufferlam and \typebufferhs.	commit \| commitdiff \| tree
2009-11-06	Matthijs Kooijman	Fix layout of a transformation.	commit \| commitdiff \| tree
2009-11-06	Matthijs Kooijman	Automatically strip leading whitespace from all typing...	commit \| commitdiff \| tree
2009-11-06	Matthijs Kooijman	Revert "Allow transformations to be indented."	commit \| commitdiff \| tree
2009-11-06	Matthijs Kooijman	Revert "Allow lambda expression to be indented."	commit \| commitdiff \| tree
2009-11-05	Matthijs Kooijman	Improve a footnote.	commit \| commitdiff \| tree
2009-11-04	Matthijs Kooijman	Add a section on the output format.	commit \| commitdiff \| tree
2009-11-04	Matthijs Kooijman	Describe Top level binding inlining.	commit \| commitdiff \| tree
2009-11-04	Matthijs Kooijman	Allow literal $'s to be used in lambda expressions.	commit \| commitdiff \| tree
2009-11-04	Matthijs Kooijman	Make the normal form use only recursive lets again.	commit \| commitdiff \| tree
2009-11-04	Matthijs Kooijman	Explicitely use "letrec" for recursive lets.	commit \| commitdiff \| tree
2009-11-04	Matthijs Kooijman	Make pret-trans call pret-lam indirectly.	commit \| commitdiff \| tree
2009-11-02	Matthijs Kooijman	Improve Normalization chapter a bit.	commit \| commitdiff \| tree
2009-11-02	Matthijs Kooijman	Update outline.	commit \| commitdiff \| tree
2009-11-02	Matthijs Kooijman	More indent fixes to the Normalization chapter.	commit \| commitdiff \| tree
2009-11-02	Matthijs Kooijman	Remove an unused (and commented) macro.	commit \| commitdiff \| tree
2009-11-02	Matthijs Kooijman	Reshuffle all transformations into categories.	commit \| commitdiff \| tree
2009-11-02	Matthijs Kooijman	Allow lambda expression to be indented.	commit \| commitdiff \| tree
2009-11-02	Matthijs Kooijman	Allow transformations to be indented.	commit \| commitdiff \| tree
2009-10-30	Matthijs Kooijman	Add some stuff about provable properties of our system.	commit \| commitdiff \| tree
2009-10-30	Matthijs Kooijman	Fix lua reference to ctxcatcodes.	commit \| commitdiff \| tree
2009-10-30	Matthijs Kooijman	Add some extra outline to the Hardware Description...	commit \| commitdiff \| tree
2009-10-28	Matthijs Kooijman	Add more content to the Hardware Description chapter.	commit \| commitdiff \| tree
2009-10-26	Matthijs Kooijman	Finish state section in hardware description chapter.	commit \| commitdiff \| tree
2009-10-26	Matthijs Kooijman	Add some more stuff about state.	commit \| commitdiff \| tree
2009-10-26	Matthijs Kooijman	Add two pictures.	commit \| commitdiff \| tree
2009-10-26	Matthijs Kooijman	Add some more context.	commit \| commitdiff \| tree
2009-10-23	Matthijs Kooijman	Add some context.	commit \| commitdiff \| tree
2009-10-23	Matthijs Kooijman	Add some more content to the State section.	commit \| commitdiff \| tree
2009-10-23	Matthijs Kooijman	Add a Context chapter.	commit \| commitdiff \| tree
2009-10-23	Matthijs Kooijman	Use \in instead of \at to refer to section numbers.	commit \| commitdiff \| tree
2009-10-23	Matthijs Kooijman	Move the example float definition to Utils/.	commit \| commitdiff \| tree
2009-10-23	Matthijs Kooijman	Add \typebufferhs command to Haskell-typeset a buffer.	commit \| commitdiff \| tree
2009-10-21	Matthijs Kooijman	Actually compile the Future work chapter.	commit \| commitdiff \| tree
2009-10-21	Matthijs Kooijman	Add section label.	commit \| commitdiff \| tree
2009-10-21	Matthijs Kooijman	(Almost) finish the future work chapter.	commit \| commitdiff \| tree
2009-10-20	Matthijs Kooijman	Move the State chapter into the Hardware Description...	commit \| commitdiff \| tree
2009-10-15	Matthijs Kooijman	Add a section on expressions in the Core language.	commit \| commitdiff \| tree
2009-10-15	Matthijs Kooijman	Make "DEFAULT" a keyword.	commit \| commitdiff \| tree
2009-10-13	Matthijs Kooijman	Allow commas in implicit subscripts.	commit \| commitdiff \| tree
2009-10-12	Matthijs Kooijman	Fix typo.	commit \| commitdiff \| tree
2009-10-12	Matthijs Kooijman	Split "extended β-reduction" into two transformations.	commit \| commitdiff \| tree
2009-10-12	Matthijs Kooijman	Let \refdef generate clickable links.	commit \| commitdiff \| tree
2009-10-12	Matthijs Kooijman	Enable interaction (clickable links) in the table of...	commit \| commitdiff \| tree
2009-10-12	Matthijs Kooijman	Enable interaction (clickable links).	commit \| commitdiff \| tree
2009-10-09	Matthijs Kooijman	Reset quotation settings after changing them.	commit \| commitdiff \| tree
next

Master's thesis on the cλash compiler

RSS Atom