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

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

2009-12-06	Matthijs Kooijman	Add strikethrough to the lambda prettyprinter.	commit \| commitdiff \| tree
2009-12-06	Matthijs Kooijman	Add TODO.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Various small fixes following from Bert's commentaar.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Add backmatter commands.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Remove unused defref.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Remove a TODO.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Replace statement with expression everywhere.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Add another reference.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Add some references to the context chapter.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Make sure the list of references is numbered.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Fix todo's in the introduction chapter.	commit \| commitdiff \| tree
2009-12-05	Matthijs Kooijman	Allow passing a once option to scons.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Setup bibtex.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Add section on EDSLs.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Note that we've not considered EDSLs and TH.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Finalize section on state in prototype chapter.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Partially update state annotations section in the prototype...	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Require an automatic subscript to start with a number.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Remove todo.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Improve graph representation section a bit.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Remove todo.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Improve conclusions.	commit \| commitdiff \| tree
2009-12-04	Matthijs Kooijman	Make a small start on the state annotations section.	commit \| commitdiff \| tree
2009-12-03	Matthijs Kooijman	Note the use of tuples for hierarchic state.	commit \| commitdiff \| tree
2009-12-03	Matthijs Kooijman	Fix unbalanced parenthesises.	commit \| commitdiff \| tree
2009-12-03	Matthijs Kooijman	Update conclusions.	commit \| commitdiff \| tree
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
next

Master's thesis on the cλash compiler

RSS Atom