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

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

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
2009-10-09	Matthijs Kooijman	Update the definitions section and add references.	commit \| commitdiff \| tree
2009-10-09	Matthijs Kooijman	Add macros for definitions and inmargin references...	commit \| commitdiff \| tree
2009-10-09	Matthijs Kooijman	Restructure the section structure of the Normalization...	commit \| commitdiff \| tree
2009-10-08	Matthijs Kooijman	Improve and clarify transformation format definition.	commit \| commitdiff \| tree
2009-10-08	Matthijs Kooijman	Add a section on binder uniqueness.	commit \| commitdiff \| tree
2009-10-06	Matthijs Kooijman	Add note about differences between Core and the graphical...	commit \| commitdiff \| tree
2009-10-06	Matthijs Kooijman	Add note to the outline.	commit \| commitdiff \| tree
2009-10-06	Matthijs Kooijman	Reduce randomization in horizontal lines.	commit \| commitdiff \| tree
2009-10-06	Matthijs Kooijman	Use a dotted lines to separate context in a transformation.	commit \| commitdiff \| tree
2009-10-05	Matthijs Kooijman	Put "VHDL" in small caps everywhere.	commit \| commitdiff \| tree
2009-10-05	Matthijs Kooijman	Restructure the introduction of the Normalization chapter.	commit \| commitdiff \| tree
2009-10-05	Matthijs Kooijman	Vertically center the register output port.	commit \| commitdiff \| tree
2009-10-05	Matthijs Kooijman	Add a "sel" point for the selector to the multiplexers.	commit \| commitdiff \| tree
2009-10-05	Matthijs Kooijman	Make multiplexers a bit smaller.	commit \| commitdiff \| tree
2009-10-05	Matthijs Kooijman	Add a "definition" float.	commit \| commitdiff \| tree
2009-10-05	Matthijs Kooijman	Limit randomizations of boxes by the minimum dimension.	commit \| commitdiff \| tree
2009-10-02	Matthijs Kooijman	Add two new simple normal form examples.	commit \| commitdiff \| tree
2009-10-01	Matthijs Kooijman	Add boxedgraphic macro to display a metapost graphic...	commit \| commitdiff \| tree
2009-10-01	Matthijs Kooijman	Add \typebufferlam helper macro.	commit \| commitdiff \| tree
2009-10-01	Matthijs Kooijman	Use width=fit for startboxed and remove startwideboxed.	commit \| commitdiff \| tree
2009-10-01	Matthijs Kooijman	Some minor wording fixes.	commit \| commitdiff \| tree
2009-10-01	Matthijs Kooijman	Add multiplexer metapost object.	commit \| commitdiff \| tree
2009-09-30	Matthijs Kooijman	Add a midpoint Metapost macro.	commit \| commitdiff \| tree
2009-09-30	Matthijs Kooijman	Randomize the transformation HLine a bit.	commit \| commitdiff \| tree
2009-09-30	Matthijs Kooijman	Fix type in comment.	commit \| commitdiff \| tree
2009-09-30	Matthijs Kooijman	Update outline.	commit \| commitdiff \| tree
2009-09-30	Matthijs Kooijman	Don't use uniqueMPgraphic for randomized graphics.	commit \| commitdiff \| tree
2009-09-30	Matthijs Kooijman	Use \HLine instead of \blackrule in transformations.	commit \| commitdiff \| tree
2009-09-30	Matthijs Kooijman	Add \HLine command that draws a horizontal line.	commit \| commitdiff \| tree
2009-09-30	Matthijs Kooijman	Add TODO about globbed spaces after \eg and \ie.	commit \| commitdiff \| tree
2009-09-29	Matthijs Kooijman	Make the box randomization scale with the box size.	commit \| commitdiff \| tree
2009-09-29	Matthijs Kooijman	Put a fancy box around transformation examples as well.	commit \| commitdiff \| tree
2009-09-29	Matthijs Kooijman	Tweak the sizes of the frames in transformations a...	commit \| commitdiff \| tree
2009-09-29	Matthijs Kooijman	Add pretty boxes around various typing environments.	commit \| commitdiff \| tree
2009-09-29	Matthijs Kooijman	Add labels to all chapters.	commit \| commitdiff \| tree
2009-09-29	Matthijs Kooijman	Further expand the Prototype chapter.	commit \| commitdiff \| tree
2009-09-29	Matthijs Kooijman	Use save instead of clearObj in a MP drawing.	commit \| commitdiff \| tree
2009-09-28	Matthijs Kooijman	Make a start with the prototype chapter.	commit \| commitdiff \| tree
2009-09-28	Matthijs Kooijman	Add "New language" to the outline.	commit \| commitdiff \| tree
2009-09-28	Matthijs Kooijman	Add outline for Prototype chapter.	commit \| commitdiff \| tree
2009-09-24	Matthijs Kooijman	Add a section on research goals and an outline.	commit \| commitdiff \| tree
2009-09-24	Matthijs Kooijman	Update outline.	commit \| commitdiff \| tree
2009-09-23	Matthijs Kooijman	Add a hack to make \overrightarrow work in MetaPost.	commit \| commitdiff \| tree
2009-09-23	Matthijs Kooijman	Define a custom "Register" MetaObj object.	commit \| commitdiff \| tree
2009-09-23	Matthijs Kooijman	Set up MetaPost and MetaObj for drawing diagrams.	commit \| commitdiff \| tree
2009-09-23	Matthijs Kooijman	Run texexec under nice.	commit \| commitdiff \| tree
2009-09-18	Matthijs Kooijman	Use the moder math font, since it has vector arrows.	commit \| commitdiff \| tree
2009-09-16	Matthijs Kooijman	Actually use the Introduction chapter.	commit \| commitdiff \| tree
2009-09-16	Matthijs Kooijman	Use old style numbers when available.	commit \| commitdiff \| tree
2009-09-09	Matthijs Kooijman	Add a brainstorm for an outline.	commit \| commitdiff \| tree
2009-09-09	Matthijs Kooijman	Add (a start of) an introduction).	commit \| commitdiff \| tree
2009-09-09	Matthijs Kooijman	Add a bit content to a new Future Work chapter.	commit \| commitdiff \| tree
2009-09-02	Matthijs Kooijman	Remove the example sequence, it was completely out...	commit \| commitdiff \| tree
2009-09-02	Matthijs Kooijman	Improve some text and add definitions in Normalization.	commit \| commitdiff \| tree
2009-09-02	Matthijs Kooijman	Add a small bit of whitespace beteen paragraphs.	commit \| commitdiff \| tree
2009-09-02	Matthijs Kooijman	Define \epmh{foo} for easy emphasis.	commit \| commitdiff \| tree
2009-09-02	Matthijs Kooijman	Add letrec and letnonrec as keywords to pret-lam.	commit \| commitdiff \| tree
2009-09-01	Matthijs Kooijman	Update a bunch more transformations.	commit \| commitdiff \| tree
2009-08-31	Matthijs Kooijman	Add content to a bunch more transformations.	commit \| commitdiff \| tree
2009-08-31	Matthijs Kooijman	Reorder and complete the list of transformations.	commit \| commitdiff \| tree
2009-08-31	Matthijs Kooijman	Add a bit spacing after a transformation.	commit \| commitdiff \| tree
2009-08-28	Matthijs Kooijman	Add a new definition of the normal form.	commit \| commitdiff \| tree
2009-08-28	Matthijs Kooijman	Make pret-lam preserve alignment using whitespace.	commit \| commitdiff \| tree
2009-08-28	Matthijs Kooijman	Declare variables as local in pret-lam.	commit \| commitdiff \| tree
2009-08-28	Matthijs Kooijman	Support the \| character in pret-lam.	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Remove explicit subscription underscores.	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Update normal form example.	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Let all lambda expressions in pret-trans share subscript...	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Let pret-lam support blocks of multiple lambda expressions.	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Use local variables for storing visualizer dicts.	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Improve subscript handling in pret-lam.	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Make pret-trans complain on invalid input.	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Use the Linux Libertine roman font for regular text.	commit \| commitdiff \| tree
next

Master's thesis on the cλash compiler

RSS Atom