https://git.martlubbers.net - msc-thesis1617.git/search

repositories / msc-thesis1617.git / search

2017-07-03	Mart Lubbers	small title change	commit \| commitdiff \| tree
2017-07-03	Mart Lubbers	title capitalization	commit \| commitdiff \| tree
2017-07-03	Mart Lubbers	chktex erratum	commit \| commitdiff \| tree
2017-07-03	Mart Lubbers	make chktex stop complaining	commit \| commitdiff \| tree
2017-07-03	Mart Lubbers	fix example	commit \| commitdiff \| tree
2017-07-03	Mart Lubbers	note about peripherals	commit \| commitdiff \| tree
2017-07-03	Mart Lubbers	process camil's comments	commit \| commitdiff \| tree
2017-07-03	Mart Lubbers	chp 5 latest	commit \| commitdiff \| tree
2017-07-03	Mart Lubbers	camil's comment chp5	commit \| commitdiff \| tree
2017-07-03	Mart Lubbers	update	commit \| commitdiff \| tree
2017-07-03	Mart Lubbers	elaborate hb	commit \| commitdiff \| tree
2017-07-02	Mart Lubbers	no more before some sleep	commit \| commitdiff \| tree
2017-07-02	Mart Lubbers	small minor updates'	commit \| commitdiff \| tree
2017-07-02	Mart Lubbers	add notion on existential types, update interface	commit \| commitdiff \| tree
2017-07-02	Mart Lubbers	add factorial example'	commit \| commitdiff \| tree
2017-07-02	Mart Lubbers	update connectDevice functionality	commit \| commitdiff \| tree
2017-07-02	Mart Lubbers	.	commit \| commitdiff \| tree
2017-07-02	Mart Lubbers	elaborate on comm	commit \| commitdiff \| tree
2017-07-02	Mart Lubbers	elaborate on share usage	commit \| commitdiff \| tree
2017-07-01	Mart Lubbers	started with sweep through arch.itasks	commit \| commitdiff \| tree
2017-07-01	Mart Lubbers	devices	commit \| commitdiff \| tree
2017-06-30	Mart Lubbers	.	commit \| commitdiff \| tree
2017-06-30	Mart Lubbers	overviews updated	commit \| commitdiff \| tree
2017-06-30	Mart Lubbers	rename faulty files and elaborate in the system chapter	commit \| commitdiff \| tree
2017-06-30	Mart Lubbers	80 char limit and move glossary to the back	commit \| commitdiff \| tree
2017-06-30	Mart Lubbers	extend system overview	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	add bigger mtask example	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	add glue chapter	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	add system overview	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	say something about shields	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	restructure files	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	rm g	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	Merge remote-tracking branch 'refs/remotes/origin/master'	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	.	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	fix algorithm naming variables	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	elaborated on task and share storage	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	process rinus' textual comments on chp5-7	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	process rinus' comments chp 1-4	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	add second reader to titlepage	commit \| commitdiff \| tree
2017-06-29	Mart Lubbers	Merge branch 'master' of git.martlubbers.net:msc-thesis1617	commit \| commitdiff \| tree
2017-06-28	Mart Lubbers	presentation start	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	latest spelling sweep, now really going to send	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	Hand in	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	Final comments	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	Camil's comments: appendices	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	uniformize the mTask/sds spelling	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	Camil's comments: chapter 6	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	Camil's comments: chapter 5	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	Camil's comments: chapter 2-4	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	Camil's comments: chapter 1	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	Camil's comments: abstract	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	fix label	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	roy's comments: appendices	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	roy's comments: chapter 6	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	roy's comments: chapter 5	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	roy's comments: chapter 5	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	roy's comments: chapter 4	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	roy's comments: chapter 3	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	roy's comments: chapter 2	commit \| commitdiff \| tree
2017-06-26	Mart Lubbers	roy's comments: introduction	commit \| commitdiff \| tree
2017-06-25	Mart Lubbers	demangle even more	commit \| commitdiff \| tree
2017-06-25	Mart Lubbers	fix mangled page numbers	commit \| commitdiff \| tree
2017-06-24	Mart Lubbers	add return	commit \| commitdiff \| tree
2017-06-24	Mart Lubbers	mangle titlepage	commit \| commitdiff \| tree
2017-06-24	Mart Lubbers	sweep	commit \| commitdiff \| tree
2017-06-23	Mart Lubbers	results	commit \| commitdiff \| tree
2017-06-23	Mart Lubbers	Sweeping through the archg	commit \| commitdiff \| tree
2017-06-23	Mart Lubbers	change document structure to a more intuitive one	commit \| commitdiff \| tree
2017-06-21	Mart Lubbers	fix overfull hboxes and references	commit \| commitdiff \| tree
2017-06-21	Mart Lubbers	removed todo, the end is near	commit \| commitdiff \| tree
2017-06-21	Mart Lubbers	update conclusino	commit \| commitdiff \| tree
2017-06-21	Mart Lubbers	paragraphs in future, update on shares	commit \| commitdiff \| tree
2017-06-20	Mart Lubbers	dot	commit \| commitdiff \| tree
2017-06-20	Mart Lubbers	sweeeeep	commit \| commitdiff \| tree
2017-06-19	Mart Lubbers	sweep part	commit \| commitdiff \| tree
2017-06-19	Mart Lubbers	big final sweep	commit \| commitdiff \| tree
2017-06-19	Mart Lubbers	chapter names	commit \| commitdiff \| tree
2017-06-19	Mart Lubbers	update spec yet again	commit \| commitdiff \| tree
2017-06-19	Mart Lubbers	spec update	commit \| commitdiff \| tree
2017-06-18	Mart Lubbers	update abstract and acks	commit \| commitdiff \| tree
2017-06-18	Mart Lubbers	removed empty dir	commit \| commitdiff \| tree
2017-06-18	Mart Lubbers	extra cleaning options	commit \| commitdiff \| tree
2017-06-18	Mart Lubbers	fix and elaborate upon parametric lenses	commit \| commitdiff \| tree
2017-06-18	Mart Lubbers	formatting and acknowledgements	commit \| commitdiff \| tree
2017-06-18	Mart Lubbers	process the rest of george's comments	commit \| commitdiff \| tree
2017-06-18	Mart Lubbers	process george's comments in chapter 1-4	commit \| commitdiff \| tree
2017-06-16	Mart Lubbers	share details	commit \| commitdiff \| tree
2017-06-16	Mart Lubbers	shares	commit \| commitdiff \| tree
2017-06-15	Mart Lubbers	add interpreter part	commit \| commitdiff \| tree
2017-06-14	Mart Lubbers	interpr	commit \| commitdiff \| tree
2017-06-14	Mart Lubbers	elaborate on shares and not the split between sds and...	commit \| commitdiff \| tree
2017-06-14	Mart Lubbers	spelling error in titlepage	commit \| commitdiff \| tree
2017-06-14	Mart Lubbers	process pieter's comments	commit \| commitdiff \| tree
2017-06-13	Mart Lubbers	Merge branch 'master' of git.martlubbers.net:msc-thesis1617	commit \| commitdiff \| tree
2017-06-13	Mart Lubbers	start with system	commit \| commitdiff \| tree
2017-06-13	Mart Lubbers	acknowledgements and parametric lenses	commit \| commitdiff \| tree
2017-06-11	Mart Lubbers	elaborate on communication	commit \| commitdiff \| tree
2017-06-11	Mart Lubbers	add parametric lens reference and todo	commit \| commitdiff \| tree
2017-06-08	Mart Lubbers	new titlepage	commit \| commitdiff \| tree
2017-06-06	Mart Lubbers	add bits about semantics	commit \| commitdiff \| tree
next

1617-S2 - Master's Thesis

RSS Atom