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

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

[matthijs/master-project/report.git] / Chapters / Normalization.tex

2009-12-09	Matthijs Kooijman	Some fixes to the prototype chapter.	blob \| commitdiff \| raw
2009-12-09	Matthijs Kooijman	Slightly improve the determinism proof section.	blob \| commitdiff \| raw \| diff to current
2009-12-09	Matthijs Kooijman	Add a section on proving determinism.	blob \| commitdiff \| raw \| diff to current
2009-12-08	Matthijs Kooijman	Fix spelling as suggested by aspell.	blob \| commitdiff \| raw \| diff to current
2009-12-08	Matthijs Kooijman	Fix references.	blob \| commitdiff \| raw \| diff to current
2009-12-08	Matthijs Kooijman	Reduce with of some code to make a better fit.	blob \| commitdiff \| raw \| diff to current
2009-12-08	Matthijs Kooijman	Say Core instead of core.	blob \| commitdiff \| raw \| diff to current
2009-12-08	Matthijs Kooijman	Fix the return value simplification transformation.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Move a sidenote.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Use η/β-expansion instead of η/β-abstraction.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Add Scrutinee binder removal.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Move some examples around.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Actually refer to the intended normal form definition.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Some more fixed resulting from Jan's comments.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Always use a lowercase letter after a colon.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Add sitenote about arguments vs. inputs.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Fix a reference.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Add intermezzo on wild binders.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Add some content to the case normalization section.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Use \VHDL\ (etc.) instead of relying on \autoinsertnext...	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Don't suggest messing with the clock input.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Fix things following from comments from Marco and Sabih.	blob \| commitdiff \| raw \| diff to current
2009-12-06	Matthijs Kooijman	Add reference about Core's operational semantics.	blob \| commitdiff \| raw \| diff to current
2009-12-06	Matthijs Kooijman	Fix a lot of things following from Jan's comments.	blob \| commitdiff \| raw \| diff to current
2009-12-05	Matthijs Kooijman	Remove unused defref.	blob \| commitdiff \| raw \| diff to current
2009-12-05	Matthijs Kooijman	Replace statement with expression everywhere.	blob \| commitdiff \| raw \| diff to current
2009-12-04	Matthijs Kooijman	Finalize section on state in prototype chapter.	blob \| commitdiff \| raw \| diff to current
2009-12-04	Matthijs Kooijman	Partially update state annotations section in the proto...	blob \| commitdiff \| raw \| diff to current
2009-12-04	Matthijs Kooijman	Improve graph representation section a bit.	blob \| commitdiff \| raw \| diff to current
2009-12-04	Matthijs Kooijman	Remove todo.	blob \| commitdiff \| raw \| diff to current
2009-12-03	Matthijs Kooijman	Add a section on normalization of stateful descriptions.	blob \| commitdiff \| raw \| diff to current
2009-12-03	Matthijs Kooijman	Add missing parenthesis.	blob \| commitdiff \| raw \| diff to current
2009-12-02	Matthijs Kooijman	Reference the substitution intermezzo.	blob \| commitdiff \| raw \| diff to current
2009-12-02	Matthijs Kooijman	Solve and remove some todos.	blob \| commitdiff \| raw \| diff to current
2009-12-02	Matthijs Kooijman	Add an intermezzo about substitution.	blob \| commitdiff \| raw \| diff to current
2009-12-02	Matthijs Kooijman	Fix reference.	blob \| commitdiff \| raw \| diff to current
2009-12-02	Matthijs Kooijman	Fix typo.	blob \| commitdiff \| raw \| diff to current
2009-12-02	Matthijs Kooijman	Move some more stuff around in the Normalization chapter.	blob \| commitdiff \| raw \| diff to current
2009-12-01	Matthijs Kooijman	Fix two references.	blob \| commitdiff \| raw \| diff to current
2009-12-01	Matthijs Kooijman	Rename example function app2 to twice.	blob \| commitdiff \| raw \| diff to current
2009-12-01	Matthijs Kooijman	Use \$ instead of just $ in lambda expressions.	blob \| commitdiff \| raw \| diff to current
2009-12-01	Matthijs Kooijman	Restructure and expand parts of the normalization chapter.	blob \| commitdiff \| raw \| diff to current
2009-12-01	Matthijs Kooijman	Change the symbol used for casting to ▶.	blob \| commitdiff \| raw \| diff to current
2009-12-01	Matthijs Kooijman	Add note about β-reduction for type variables.	blob \| commitdiff \| raw \| diff to current
2009-11-30	Matthijs Kooijman	Restructure some of the normalization chapter.	blob \| commitdiff \| raw \| diff to current
2009-11-30	Matthijs Kooijman	Some minor fixes and improvements.	blob \| commitdiff \| raw \| diff to current
2009-11-30	Matthijs Kooijman	Fix two references.	blob \| commitdiff \| raw \| diff to current
2009-11-30	Matthijs Kooijman	Finalize the proofs section.	blob \| commitdiff \| raw \| diff to current
2009-11-30	Matthijs Kooijman	Add vim modelines.	blob \| commitdiff \| raw \| diff to current
2009-11-27	Matthijs Kooijman	Review more chapters.	blob \| commitdiff \| raw \| diff to current
2009-11-24	Matthijs Kooijman	Review the first few chapters.	blob \| commitdiff \| raw \| diff to current
2009-11-12	Matthijs Kooijman	Add two TODOs.	blob \| commitdiff \| raw \| diff to current
2009-11-11	Matthijs Kooijman	Add TODO.	blob \| commitdiff \| raw \| diff to current
2009-11-06	Matthijs Kooijman	Fix layout of a transformation.	blob \| commitdiff \| raw \| diff to current
2009-11-06	Matthijs Kooijman	Automatically strip leading whitespace from all typing...	blob \| commitdiff \| raw \| diff to current
2009-11-05	Matthijs Kooijman	Improve a footnote.	blob \| commitdiff \| raw \| diff to current
2009-11-04	Matthijs Kooijman	Describe Top level binding inlining.	blob \| commitdiff \| raw \| diff to current
2009-11-04	Matthijs Kooijman	Make the normal form use only recursive lets again.	blob \| commitdiff \| raw \| diff to current
2009-11-02	Matthijs Kooijman	Improve Normalization chapter a bit.	blob \| commitdiff \| raw \| diff to current
2009-11-02	Matthijs Kooijman	More indent fixes to the Normalization chapter.	blob \| commitdiff \| raw \| diff to current
2009-11-02	Matthijs Kooijman	Remove an unused (and commented) macro.	blob \| commitdiff \| raw \| diff to current
2009-11-02	Matthijs Kooijman	Reshuffle all transformations into categories.	blob \| commitdiff \| raw \| diff to current
2009-10-30	Matthijs Kooijman	Add some stuff about provable properties of our system.	blob \| commitdiff \| raw \| diff to current
2009-10-23	Matthijs Kooijman	Move the example float definition to Utils/.	blob \| commitdiff \| raw \| diff to current
2009-10-12	Matthijs Kooijman	Fix typo.	blob \| commitdiff \| raw \| diff to current
2009-10-12	Matthijs Kooijman	Split "extended β-reduction" into two transformations.	blob \| commitdiff \| raw \| diff to current
2009-10-09	Matthijs Kooijman	Update the definitions section and add references.	blob \| commitdiff \| raw \| diff to current
2009-10-09	Matthijs Kooijman	Restructure the section structure of the Normalization...	blob \| commitdiff \| raw \| diff to current
2009-10-08	Matthijs Kooijman	Improve and clarify transformation format definition.	blob \| commitdiff \| raw \| diff to current
2009-10-08	Matthijs Kooijman	Add a section on binder uniqueness.	blob \| commitdiff \| raw \| diff to current
2009-10-06	Matthijs Kooijman	Add note about differences between Core and the graphic...	blob \| commitdiff \| raw \| diff to current
2009-10-05	Matthijs Kooijman	Put "VHDL" in small caps everywhere.	blob \| commitdiff \| raw \| diff to current
2009-10-05	Matthijs Kooijman	Restructure the introduction of the Normalization chapter.	blob \| commitdiff \| raw \| diff to current
2009-10-02	Matthijs Kooijman	Add two new simple normal form examples.	blob \| commitdiff \| raw \| diff to current
2009-10-01	Matthijs Kooijman	Some minor wording fixes.	blob \| commitdiff \| raw \| diff to current
2009-09-29	Matthijs Kooijman	Put a fancy box around transformation examples as well.	blob \| commitdiff \| raw \| diff to current
2009-09-29	Matthijs Kooijman	Add labels to all chapters.	blob \| commitdiff \| raw \| diff to current
2009-09-02	Matthijs Kooijman	Remove the example sequence, it was completely out...	blob \| commitdiff \| raw \| diff to current
2009-09-02	Matthijs Kooijman	Improve some text and add definitions in Normalization.	blob \| commitdiff \| raw \| diff to current
2009-09-01	Matthijs Kooijman	Update a bunch more transformations.	blob \| commitdiff \| raw \| diff to current
2009-08-31	Matthijs Kooijman	Add content to a bunch more transformations.	blob \| commitdiff \| raw \| diff to current
2009-08-31	Matthijs Kooijman	Reorder and complete the list of transformations.	blob \| commitdiff \| raw \| diff to current
2009-08-28	Matthijs Kooijman	Add a new definition of the normal form.	blob \| commitdiff \| raw \| diff to current
2009-08-27	Matthijs Kooijman	Remove explicit subscription underscores.	blob \| commitdiff \| raw \| diff to current
2009-08-27	Matthijs Kooijman	Update normal form example.	blob \| commitdiff \| raw \| diff to current
2009-08-26	Matthijs Kooijman	Remove \stoptext from the Normalization chapter.	blob \| commitdiff \| raw \| diff to current
2009-08-25	Matthijs Kooijman	Make Core2Core a chapter in the report.	blob \| commitdiff \| raw \| diff to current

Master's thesis on the cλash compiler

RSS Atom