msc-thesis1617.git
7 years agoadd second reader to titlepage
Mart Lubbers [Thu, 29 Jun 2017 10:19:40 +0000 (12:19 +0200)]
add second reader to titlepage

7 years agoMerge branch 'master' of git.martlubbers.net:msc-thesis1617
Mart Lubbers [Thu, 29 Jun 2017 07:50:02 +0000 (09:50 +0200)]
Merge branch 'master' of git.martlubbers.net:msc-thesis1617

7 years agopresentation start
Mart Lubbers [Wed, 28 Jun 2017 09:10:06 +0000 (11:10 +0200)]
presentation start

7 years agolatest spelling sweep, now really going to send
Mart Lubbers [Mon, 26 Jun 2017 12:39:35 +0000 (14:39 +0200)]
latest spelling sweep, now really going to send

7 years agoHand in
Mart Lubbers [Mon, 26 Jun 2017 12:35:15 +0000 (14:35 +0200)]
Hand in

7 years agoFinal comments
Mart Lubbers [Mon, 26 Jun 2017 12:33:36 +0000 (14:33 +0200)]
Final comments

7 years agoCamil's comments: appendices
Mart Lubbers [Mon, 26 Jun 2017 12:18:26 +0000 (14:18 +0200)]
Camil's comments: appendices

7 years agouniformize the mTask/sds spelling
Mart Lubbers [Mon, 26 Jun 2017 12:05:39 +0000 (14:05 +0200)]
uniformize the mTask/sds spelling

7 years agoCamil's comments: chapter 6
Mart Lubbers [Mon, 26 Jun 2017 11:58:04 +0000 (13:58 +0200)]
Camil's comments: chapter 6

7 years agoCamil's comments: chapter 5
Mart Lubbers [Mon, 26 Jun 2017 11:44:16 +0000 (13:44 +0200)]
Camil's comments: chapter 5

7 years agoCamil's comments: chapter 2-4
Mart Lubbers [Mon, 26 Jun 2017 11:28:41 +0000 (13:28 +0200)]
Camil's comments: chapter 2-4

7 years agoCamil's comments: chapter 1
Mart Lubbers [Mon, 26 Jun 2017 11:19:08 +0000 (13:19 +0200)]
Camil's comments: chapter 1

7 years agoCamil's comments: abstract
Mart Lubbers [Mon, 26 Jun 2017 11:10:42 +0000 (13:10 +0200)]
Camil's comments: abstract

7 years agofix label
Mart Lubbers [Mon, 26 Jun 2017 10:55:36 +0000 (12:55 +0200)]
fix label

7 years agoroy's comments: appendices
Mart Lubbers [Mon, 26 Jun 2017 10:52:19 +0000 (12:52 +0200)]
roy's comments: appendices

7 years agoroy's comments: chapter 6
Mart Lubbers [Mon, 26 Jun 2017 10:51:51 +0000 (12:51 +0200)]
roy's comments: chapter 6

7 years agoroy's comments: chapter 5
Mart Lubbers [Mon, 26 Jun 2017 10:47:54 +0000 (12:47 +0200)]
roy's comments: chapter 5

7 years agoroy's comments: chapter 5
Mart Lubbers [Mon, 26 Jun 2017 10:36:19 +0000 (12:36 +0200)]
roy's comments: chapter 5

7 years agoroy's comments: chapter 4
Mart Lubbers [Mon, 26 Jun 2017 10:25:45 +0000 (12:25 +0200)]
roy's comments: chapter 4

7 years agoroy's comments: chapter 3
Mart Lubbers [Mon, 26 Jun 2017 10:17:31 +0000 (12:17 +0200)]
roy's comments: chapter 3

7 years agoroy's comments: chapter 2
Mart Lubbers [Mon, 26 Jun 2017 10:14:57 +0000 (12:14 +0200)]
roy's comments: chapter 2

7 years agoroy's comments: introduction
Mart Lubbers [Mon, 26 Jun 2017 10:11:15 +0000 (12:11 +0200)]
roy's comments: introduction

7 years agodemangle even more
Mart Lubbers [Sun, 25 Jun 2017 12:33:19 +0000 (14:33 +0200)]
demangle even more

7 years agofix mangled page numbers
Mart Lubbers [Sun, 25 Jun 2017 12:30:20 +0000 (14:30 +0200)]
fix mangled page numbers

7 years agoadd return
Mart Lubbers [Sat, 24 Jun 2017 18:22:26 +0000 (20:22 +0200)]
add return

7 years agomangle titlepage
Mart Lubbers [Sat, 24 Jun 2017 17:38:36 +0000 (19:38 +0200)]
mangle titlepage

7 years agosweep
Mart Lubbers [Sat, 24 Jun 2017 14:02:40 +0000 (16:02 +0200)]
sweep

7 years agoresults
Mart Lubbers [Fri, 23 Jun 2017 17:22:42 +0000 (19:22 +0200)]
results

7 years agoSweeping through the archg
Mart Lubbers [Fri, 23 Jun 2017 15:28:27 +0000 (17:28 +0200)]
Sweeping through the archg

7 years agochange document structure to a more intuitive one
Mart Lubbers [Fri, 23 Jun 2017 09:54:32 +0000 (11:54 +0200)]
change document structure to a more intuitive one

7 years agofix overfull hboxes and references
Mart Lubbers [Wed, 21 Jun 2017 18:29:14 +0000 (20:29 +0200)]
fix overfull hboxes and references

7 years agoremoved todo, the end is near
Mart Lubbers [Wed, 21 Jun 2017 16:28:03 +0000 (18:28 +0200)]
removed todo, the end is near

7 years agoupdate conclusino
Mart Lubbers [Wed, 21 Jun 2017 14:05:12 +0000 (16:05 +0200)]
update conclusino

7 years agoparagraphs in future, update on shares
Mart Lubbers [Wed, 21 Jun 2017 13:34:25 +0000 (15:34 +0200)]
paragraphs in future, update on shares

7 years agodot
Mart Lubbers [Tue, 20 Jun 2017 17:40:53 +0000 (19:40 +0200)]
dot

7 years agosweeeeep
Mart Lubbers [Tue, 20 Jun 2017 16:45:04 +0000 (18:45 +0200)]
sweeeeep

7 years agosweep part
Mart Lubbers [Mon, 19 Jun 2017 17:37:00 +0000 (19:37 +0200)]
sweep part

7 years agobig final sweep
Mart Lubbers [Mon, 19 Jun 2017 16:27:20 +0000 (18:27 +0200)]
big final sweep

7 years agochapter names
Mart Lubbers [Mon, 19 Jun 2017 14:12:07 +0000 (16:12 +0200)]
chapter names

7 years agoupdate spec yet again
Mart Lubbers [Mon, 19 Jun 2017 13:46:41 +0000 (15:46 +0200)]
update spec yet again

7 years agospec update
Mart Lubbers [Mon, 19 Jun 2017 13:10:43 +0000 (15:10 +0200)]
spec update

7 years agoupdate abstract and acks
Mart Lubbers [Sun, 18 Jun 2017 17:35:56 +0000 (19:35 +0200)]
update abstract and acks

7 years agoremoved empty dir
Mart Lubbers [Sun, 18 Jun 2017 09:12:04 +0000 (11:12 +0200)]
removed empty dir

7 years agoextra cleaning options
Mart Lubbers [Sun, 18 Jun 2017 09:05:13 +0000 (11:05 +0200)]
extra cleaning options

7 years agofix and elaborate upon parametric lenses
Mart Lubbers [Sun, 18 Jun 2017 08:58:38 +0000 (10:58 +0200)]
fix and elaborate upon parametric lenses

7 years agoformatting and acknowledgements
Mart Lubbers [Sun, 18 Jun 2017 08:39:48 +0000 (10:39 +0200)]
formatting and acknowledgements

7 years agoprocess the rest of george's comments
Mart Lubbers [Sun, 18 Jun 2017 07:59:55 +0000 (09:59 +0200)]
process the rest of george's comments

7 years agoprocess george's comments in chapter 1-4
Mart Lubbers [Sun, 18 Jun 2017 07:32:16 +0000 (09:32 +0200)]
process george's comments in chapter 1-4

7 years agoshare details
Mart Lubbers [Fri, 16 Jun 2017 17:33:20 +0000 (19:33 +0200)]
share details

7 years agoshares
Mart Lubbers [Fri, 16 Jun 2017 14:16:29 +0000 (16:16 +0200)]
shares

7 years agoadd interpreter part
Mart Lubbers [Thu, 15 Jun 2017 08:46:17 +0000 (10:46 +0200)]
add interpreter part

7 years agointerpr
Mart Lubbers [Wed, 14 Jun 2017 15:07:36 +0000 (17:07 +0200)]
interpr

7 years agoelaborate on shares and not the split between sds and sdspub
Mart Lubbers [Wed, 14 Jun 2017 13:17:56 +0000 (15:17 +0200)]
elaborate on shares and not the split between sds and sdspub

7 years agospelling error in titlepage
Mart Lubbers [Wed, 14 Jun 2017 07:41:58 +0000 (09:41 +0200)]
spelling error in titlepage

7 years agoprocess pieter's comments
Mart Lubbers [Wed, 14 Jun 2017 07:23:34 +0000 (09:23 +0200)]
process pieter's comments

7 years agoMerge branch 'master' of git.martlubbers.net:msc-thesis1617
Mart Lubbers [Tue, 13 Jun 2017 13:39:15 +0000 (15:39 +0200)]
Merge branch 'master' of git.martlubbers.net:msc-thesis1617

7 years agostart with system
Mart Lubbers [Tue, 13 Jun 2017 13:39:09 +0000 (15:39 +0200)]
start with system

7 years agoacknowledgements and parametric lenses
Mart Lubbers [Tue, 13 Jun 2017 12:57:01 +0000 (14:57 +0200)]
acknowledgements and parametric lenses

7 years agoelaborate on communication
Mart Lubbers [Sun, 11 Jun 2017 08:59:26 +0000 (10:59 +0200)]
elaborate on communication

7 years agoadd parametric lens reference and todo
Mart Lubbers [Sun, 11 Jun 2017 07:56:47 +0000 (09:56 +0200)]
add parametric lens reference and todo

7 years agonew titlepage
Mart Lubbers [Thu, 8 Jun 2017 12:18:21 +0000 (14:18 +0200)]
new titlepage

7 years agoadd bits about semantics
Mart Lubbers [Tue, 6 Jun 2017 14:14:12 +0000 (16:14 +0200)]
add bits about semantics

7 years agoadd control flow and bytecode example
Mart Lubbers [Tue, 6 Jun 2017 13:09:39 +0000 (15:09 +0200)]
add control flow and bytecode example

7 years agoindentation
Mart Lubbers [Tue, 6 Jun 2017 10:29:14 +0000 (12:29 +0200)]
indentation

7 years agoadd stuff about assignments, class implementation etc
Mart Lubbers [Tue, 6 Jun 2017 10:07:17 +0000 (12:07 +0200)]
add stuff about assignments, class implementation etc

7 years agoadd text on mTask extensions, introduce bytecode view
Mart Lubbers [Tue, 6 Jun 2017 08:22:47 +0000 (10:22 +0200)]
add text on mTask extensions, introduce bytecode view

7 years agoadd connection diagrams and add todo combinators
Mart Lubbers [Sun, 4 Jun 2017 12:06:24 +0000 (14:06 +0200)]
add connection diagrams and add todo combinators

7 years agoelaborate on device storage and prepare device communication
Mart Lubbers [Sun, 4 Jun 2017 10:34:58 +0000 (12:34 +0200)]
elaborate on device storage and prepare device communication

7 years agoupdate future research and start with mTask extensions
Mart Lubbers [Sun, 4 Jun 2017 09:43:06 +0000 (11:43 +0200)]
update future research and start with mTask extensions

7 years agoSplit up section
Mart Lubbers [Fri, 2 Jun 2017 16:26:51 +0000 (18:26 +0200)]
Split up section

7 years agoelaborate upon functional dependency!
Mart Lubbers [Fri, 2 Jun 2017 15:49:32 +0000 (17:49 +0200)]
elaborate upon functional dependency!

7 years agoprocess camil's notes
Mart Lubbers [Fri, 2 Jun 2017 13:41:59 +0000 (15:41 +0200)]
process camil's notes

7 years agoupdate conclusion and add mTask stuff
Mart Lubbers [Fri, 2 Jun 2017 12:59:52 +0000 (14:59 +0200)]
update conclusion and add mTask stuff

7 years agoupdate methods
Mart Lubbers [Fri, 2 Jun 2017 12:13:54 +0000 (14:13 +0200)]
update methods

7 years agoupdate pseudocode
Mart Lubbers [Thu, 1 Jun 2017 16:22:13 +0000 (18:22 +0200)]
update pseudocode

7 years agoadd pseudocode for the engine
Mart Lubbers [Thu, 1 Jun 2017 15:23:56 +0000 (17:23 +0200)]
add pseudocode for the engine

7 years agoclean up acronyms and glossaries and make them emphasized"
Mart Lubbers [Thu, 1 Jun 2017 13:44:06 +0000 (15:44 +0200)]
clean up acronyms and glossaries and make them emphasized"

7 years agoprocess george's comments
Mart Lubbers [Thu, 1 Jun 2017 13:34:36 +0000 (15:34 +0200)]
process george's comments

7 years agofix typo in acronyms
Mart Lubbers [Fri, 26 May 2017 18:50:42 +0000 (20:50 +0200)]
fix typo in acronyms

7 years agoremove todo
Mart Lubbers [Fri, 26 May 2017 18:44:57 +0000 (20:44 +0200)]
remove todo

7 years agofix acronym typo
Mart Lubbers [Wed, 24 May 2017 15:17:00 +0000 (17:17 +0200)]
fix acronym typo

7 years agoupdate stukje over ivory
Mart Lubbers [Wed, 24 May 2017 13:28:12 +0000 (15:28 +0200)]
update stukje over ivory

7 years agosplit out more and clean out more, add some conclusions and future research
Mart Lubbers [Tue, 23 May 2017 15:43:37 +0000 (17:43 +0200)]
split out more and clean out more, add some conclusions and future research

7 years agorestructure appendices
Mart Lubbers [Tue, 23 May 2017 11:15:41 +0000 (13:15 +0200)]
restructure appendices

7 years agoadd relevant research
Mart Lubbers [Tue, 23 May 2017 09:21:39 +0000 (11:21 +0200)]
add relevant research

7 years agonew layout
Mart Lubbers [Mon, 22 May 2017 15:43:07 +0000 (17:43 +0200)]
new layout

7 years agofix makefile
Mart Lubbers [Mon, 22 May 2017 14:23:03 +0000 (16:23 +0200)]
fix makefile

7 years agobetter compilation, leave directory clean
Mart Lubbers [Mon, 22 May 2017 07:41:49 +0000 (09:41 +0200)]
better compilation, leave directory clean

7 years agoupdate
Mart Lubbers [Mon, 22 May 2017 07:33:10 +0000 (09:33 +0200)]
update

7 years agoadd sections about the original mTask
Mart Lubbers [Sun, 21 May 2017 10:44:51 +0000 (12:44 +0200)]
add sections about the original mTask

7 years agorestructure results
Mart Lubbers [Sat, 20 May 2017 11:39:23 +0000 (13:39 +0200)]
restructure results

7 years agoadd a bit about combinators
Mart Lubbers [Sat, 20 May 2017 10:13:03 +0000 (12:13 +0200)]
add a bit about combinators

7 years agoadd bit about communication
Mart Lubbers [Wed, 17 May 2017 12:34:51 +0000 (14:34 +0200)]
add bit about communication

7 years agoformat the lists of and glossaries
Mart Lubbers [Mon, 15 May 2017 11:14:12 +0000 (13:14 +0200)]
format the lists of and glossaries

7 years agoadd cites
Mart Lubbers [Mon, 15 May 2017 11:03:44 +0000 (13:03 +0200)]
add cites

7 years agoprocess notes in first sections
Mart Lubbers [Mon, 15 May 2017 09:59:23 +0000 (11:59 +0200)]
process notes in first sections

7 years agoadd reset for acronyms
Mart Lubbers [Mon, 15 May 2017 08:58:12 +0000 (10:58 +0200)]
add reset for acronyms

7 years agoupdate listing, polish arch, dsl and top
Mart Lubbers [Wed, 10 May 2017 13:21:06 +0000 (15:21 +0200)]
update listing, polish arch, dsl and top

7 years agosmall introduction update
Mart Lubbers [Mon, 8 May 2017 11:45:52 +0000 (13:45 +0200)]
small introduction update

7 years agoadd class based dsl part
Mart Lubbers [Thu, 4 May 2017 13:50:58 +0000 (15:50 +0200)]
add class based dsl part