msc-thesis1617.git
7 years agoup
Mart Lubbers [Wed, 12 Jul 2017 10:31:25 +0000 (12:31 +0200)]
up

7 years agohelicopter
Mart Lubbers [Tue, 11 Jul 2017 12:28:24 +0000 (14:28 +0200)]
helicopter

7 years agoelaborate in the introduction on IoT and separate more subsections
Mart Lubbers [Tue, 11 Jul 2017 06:47:56 +0000 (08:47 +0200)]
elaborate in the introduction on IoT and separate more subsections

7 years agosubsection
Mart Lubbers [Sun, 9 Jul 2017 22:29:11 +0000 (00:29 +0200)]
subsection

7 years agoprobably final presentation version
Mart Lubbers [Sun, 9 Jul 2017 22:07:13 +0000 (00:07 +0200)]
probably final presentation version

7 years agoupdate blinking example'
Mart Lubbers [Sun, 9 Jul 2017 12:10:53 +0000 (14:10 +0200)]
update blinking example'

7 years agoupdate
Mart Lubbers [Sun, 9 Jul 2017 11:38:37 +0000 (13:38 +0200)]
update

7 years agodemo'
Mart Lubbers [Sun, 9 Jul 2017 11:11:32 +0000 (13:11 +0200)]
demo'

7 years agosmall updates
Mart Lubbers [Sun, 9 Jul 2017 10:06:33 +0000 (12:06 +0200)]
small updates

7 years agoMerge branch 'master' of git.martlubbers.net:msc-thesis1617
Mart Lubbers [Sun, 9 Jul 2017 09:58:36 +0000 (11:58 +0200)]
Merge branch 'master' of git.martlubbers.net:msc-thesis1617

7 years agoupdates
Mart Lubbers [Sun, 9 Jul 2017 09:58:31 +0000 (11:58 +0200)]
updates

7 years agoupdate presentation, the body is there
Mart Lubbers [Sun, 9 Jul 2017 09:56:13 +0000 (11:56 +0200)]
update presentation, the body is there

7 years agoupdate pres
Mart Lubbers [Sat, 8 Jul 2017 18:55:06 +0000 (20:55 +0200)]
update pres

7 years agofix listings, process comments
Mart Lubbers [Sat, 8 Jul 2017 17:47:55 +0000 (19:47 +0200)]
fix listings, process comments

7 years agoupdates
Mart Lubbers [Sat, 8 Jul 2017 12:21:09 +0000 (14:21 +0200)]
updates

7 years agorename semantics
Mart Lubbers [Sat, 8 Jul 2017 10:35:29 +0000 (12:35 +0200)]
rename semantics

7 years agorename semantics
Mart Lubbers [Sat, 8 Jul 2017 08:35:35 +0000 (10:35 +0200)]
rename semantics

7 years agomore comments
Mart Lubbers [Sat, 8 Jul 2017 08:21:40 +0000 (10:21 +0200)]
more comments

7 years agoprocess pieter's comments
Mart Lubbers [Fri, 7 Jul 2017 18:43:06 +0000 (20:43 +0200)]
process pieter's comments

7 years agoupdate presentation more
Mart Lubbers [Fri, 7 Jul 2017 18:07:04 +0000 (20:07 +0200)]
update presentation more

7 years agostructure conclusion
Mart Lubbers [Fri, 7 Jul 2017 13:38:49 +0000 (15:38 +0200)]
structure conclusion

7 years agoupdate
Mart Lubbers [Fri, 7 Jul 2017 13:29:28 +0000 (15:29 +0200)]
update

7 years agohelicopter extension
Mart Lubbers [Fri, 7 Jul 2017 09:02:31 +0000 (11:02 +0200)]
helicopter extension

7 years agohelicopter in presentation
Mart Lubbers [Fri, 7 Jul 2017 08:56:53 +0000 (10:56 +0200)]
helicopter in presentation

7 years agoupdate, not working, commit before revamp thesis
Mart Lubbers [Thu, 6 Jul 2017 18:26:45 +0000 (20:26 +0200)]
update, not working, commit before revamp thesis

7 years agoelaborate on mtasks
Mart Lubbers [Thu, 6 Jul 2017 11:07:08 +0000 (13:07 +0200)]
elaborate on mtasks

7 years agodifferent beamer theme
Mart Lubbers [Thu, 6 Jul 2017 08:57:27 +0000 (10:57 +0200)]
different beamer theme

7 years agoupdate
Mart Lubbers [Wed, 5 Jul 2017 18:06:07 +0000 (20:06 +0200)]
update

7 years agoembedding examples
Mart Lubbers [Wed, 5 Jul 2017 15:14:20 +0000 (17:14 +0200)]
embedding examples

7 years agoerratum1: forgot to box in cbs-embedding
Mart Lubbers [Wed, 5 Jul 2017 15:14:07 +0000 (17:14 +0200)]
erratum1: forgot to box in cbs-embedding

7 years agocompartimentalize presentation, elaborate
Mart Lubbers [Wed, 5 Jul 2017 14:17:45 +0000 (16:17 +0200)]
compartimentalize presentation, elaborate

7 years agoupdate
Mart Lubbers [Tue, 4 Jul 2017 18:39:46 +0000 (20:39 +0200)]
update

7 years agoupdate presentation
Mart Lubbers [Tue, 4 Jul 2017 15:28:10 +0000 (17:28 +0200)]
update presentation

7 years agostarted with presentation, outline
Mart Lubbers [Tue, 4 Jul 2017 08:55:06 +0000 (10:55 +0200)]
started with presentation, outline

7 years agofix date
Mart Lubbers [Tue, 4 Jul 2017 08:14:47 +0000 (10:14 +0200)]
fix date

7 years agoadd handcrafted make script
Mart Lubbers [Tue, 4 Jul 2017 07:14:18 +0000 (09:14 +0200)]
add handcrafted make script

7 years agorephrase to remove overfull hbox hand-in
Mart Lubbers [Mon, 3 Jul 2017 17:26:27 +0000 (19:26 +0200)]
rephrase to remove overfull hbox

7 years agofix all latex warnings
Mart Lubbers [Mon, 3 Jul 2017 17:19:29 +0000 (19:19 +0200)]
fix all latex warnings

7 years agoclean up and fix lstlistoflistings indentation
Mart Lubbers [Mon, 3 Jul 2017 16:32:04 +0000 (18:32 +0200)]
clean up and fix lstlistoflistings indentation

7 years agofix numbering in frontmatter
Mart Lubbers [Mon, 3 Jul 2017 15:53:01 +0000 (17:53 +0200)]
fix numbering in frontmatter

7 years agosmall title change
Mart Lubbers [Mon, 3 Jul 2017 15:29:28 +0000 (17:29 +0200)]
small title change

7 years agotitle capitalization
Mart Lubbers [Mon, 3 Jul 2017 15:19:24 +0000 (17:19 +0200)]
title capitalization

7 years agochktex erratum
Mart Lubbers [Mon, 3 Jul 2017 15:13:13 +0000 (17:13 +0200)]
chktex erratum

7 years agomake chktex stop complaining
Mart Lubbers [Mon, 3 Jul 2017 15:11:11 +0000 (17:11 +0200)]
make chktex stop complaining

7 years agofix example
Mart Lubbers [Mon, 3 Jul 2017 14:55:27 +0000 (16:55 +0200)]
fix example

7 years agonote about peripherals
Mart Lubbers [Mon, 3 Jul 2017 14:50:01 +0000 (16:50 +0200)]
note about peripherals

7 years agoprocess camil's comments
Mart Lubbers [Mon, 3 Jul 2017 14:41:50 +0000 (16:41 +0200)]
process camil's comments

7 years agochp 5 latest
Mart Lubbers [Mon, 3 Jul 2017 14:20:05 +0000 (16:20 +0200)]
chp 5 latest

7 years agocamil's comment chp5
Mart Lubbers [Mon, 3 Jul 2017 14:18:02 +0000 (16:18 +0200)]
camil's comment chp5

7 years agoupdate
Mart Lubbers [Mon, 3 Jul 2017 13:06:59 +0000 (15:06 +0200)]
update

7 years agoelaborate hb
Mart Lubbers [Mon, 3 Jul 2017 12:55:10 +0000 (14:55 +0200)]
elaborate hb

7 years agono more before some sleep
Mart Lubbers [Sun, 2 Jul 2017 23:22:44 +0000 (01:22 +0200)]
no more before some sleep

7 years agosmall minor updates'
Mart Lubbers [Sun, 2 Jul 2017 23:18:24 +0000 (01:18 +0200)]
small minor updates'

7 years agoadd notion on existential types, update interface
Mart Lubbers [Sun, 2 Jul 2017 23:13:52 +0000 (01:13 +0200)]
add notion on existential types, update interface

7 years agoadd factorial example'
Mart Lubbers [Sun, 2 Jul 2017 20:17:58 +0000 (22:17 +0200)]
add factorial example'

7 years agoupdate connectDevice functionality
Mart Lubbers [Sun, 2 Jul 2017 14:30:41 +0000 (16:30 +0200)]
update connectDevice functionality

7 years ago.
Mart Lubbers [Sun, 2 Jul 2017 14:22:34 +0000 (16:22 +0200)]
.

7 years agoelaborate on comm
Mart Lubbers [Sun, 2 Jul 2017 13:26:05 +0000 (15:26 +0200)]
elaborate on comm

7 years agoelaborate on share usage
Mart Lubbers [Sun, 2 Jul 2017 11:51:26 +0000 (13:51 +0200)]
elaborate on share usage

7 years agostarted with sweep through arch.itasks
Mart Lubbers [Sat, 1 Jul 2017 14:49:33 +0000 (16:49 +0200)]
started with sweep through arch.itasks

7 years agodevices
Mart Lubbers [Sat, 1 Jul 2017 09:03:26 +0000 (11:03 +0200)]
devices

7 years ago.
Mart Lubbers [Fri, 30 Jun 2017 17:50:20 +0000 (19:50 +0200)]
.

7 years agooverviews updated
Mart Lubbers [Fri, 30 Jun 2017 17:12:20 +0000 (19:12 +0200)]
overviews updated

7 years agorename faulty files and elaborate in the system chapter
Mart Lubbers [Fri, 30 Jun 2017 17:05:43 +0000 (19:05 +0200)]
rename faulty files and elaborate in the system chapter

7 years ago80 char limit and move glossary to the back
Mart Lubbers [Fri, 30 Jun 2017 16:54:13 +0000 (18:54 +0200)]
80 char limit and move glossary to the back

7 years agoextend system overview
Mart Lubbers [Fri, 30 Jun 2017 06:39:21 +0000 (08:39 +0200)]
extend system overview

7 years agoadd bigger mtask example
Mart Lubbers [Thu, 29 Jun 2017 21:48:21 +0000 (23:48 +0200)]
add bigger mtask example

7 years agoadd glue chapter
Mart Lubbers [Thu, 29 Jun 2017 21:12:41 +0000 (23:12 +0200)]
add glue chapter

7 years agoadd system overview
Mart Lubbers [Thu, 29 Jun 2017 20:56:11 +0000 (22:56 +0200)]
add system overview

7 years agosay something about shields
Mart Lubbers [Thu, 29 Jun 2017 18:54:45 +0000 (20:54 +0200)]
say something about shields

7 years agorestructure files
Mart Lubbers [Thu, 29 Jun 2017 18:42:22 +0000 (20:42 +0200)]
restructure files

7 years agorm g
Mart Lubbers [Thu, 29 Jun 2017 14:29:30 +0000 (16:29 +0200)]
rm g

7 years agoMerge remote-tracking branch 'refs/remotes/origin/master'
Mart Lubbers [Thu, 29 Jun 2017 14:28:49 +0000 (16:28 +0200)]
Merge remote-tracking branch 'refs/remotes/origin/master'

7 years ago.
Mart Lubbers [Thu, 29 Jun 2017 14:28:48 +0000 (16:28 +0200)]
.

7 years agofix algorithm naming variables
Mart Lubbers [Thu, 29 Jun 2017 12:34:51 +0000 (14:34 +0200)]
fix algorithm naming variables

7 years agoelaborated on task and share storage
Mart Lubbers [Thu, 29 Jun 2017 11:56:34 +0000 (13:56 +0200)]
elaborated on task and share storage

7 years agoprocess rinus' textual comments on chp5-7
Mart Lubbers [Thu, 29 Jun 2017 11:22:08 +0000 (13:22 +0200)]
process rinus' textual comments on chp5-7

7 years agoprocess rinus' comments chp 1-4
Mart Lubbers [Thu, 29 Jun 2017 10:28:38 +0000 (12:28 +0200)]
process rinus' comments chp 1-4

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