repositories
/
msc-thesis1617.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
updates
2017-07-08
Mart Lubbers
updates
commit
|
commitdiff
|
tree
2017-07-08
Mart Lubbers
rename semantics
commit
|
commitdiff
|
tree
2017-07-08
Mart Lubbers
rename semantics
commit
|
commitdiff
|
tree
2017-07-08
Mart Lubbers
more comments
commit
|
commitdiff
|
tree
2017-07-07
Mart Lubbers
process pieter's comments
commit
|
commitdiff
|
tree
2017-07-07
Mart Lubbers
update presentation more
commit
|
commitdiff
|
tree
2017-07-07
Mart Lubbers
structure conclusion
commit
|
commitdiff
|
tree
2017-07-07
Mart Lubbers
update
commit
|
commitdiff
|
tree
2017-07-07
Mart Lubbers
helicopter extension
commit
|
commitdiff
|
tree
2017-07-07
Mart Lubbers
helicopter in presentation
commit
|
commitdiff
|
tree
2017-07-06
Mart Lubbers
update, not working, commit before revamp thesis
commit
|
commitdiff
|
tree
2017-07-06
Mart Lubbers
elaborate on mtasks
commit
|
commitdiff
|
tree
2017-07-06
Mart Lubbers
different beamer theme
commit
|
commitdiff
|
tree
2017-07-05
Mart Lubbers
update
commit
|
commitdiff
|
tree
2017-07-05
Mart Lubbers
embedding examples
commit
|
commitdiff
|
tree
2017-07-05
Mart Lubbers
erratum1: forgot to box in cbs-embedding
commit
|
commitdiff
|
tree
2017-07-05
Mart Lubbers
compartimentalize presentation, elaborate
commit
|
commitdiff
|
tree
2017-07-04
Mart Lubbers
update
commit
|
commitdiff
|
tree
2017-07-04
Mart Lubbers
update presentation
commit
|
commitdiff
|
tree
2017-07-04
Mart Lubbers
started with presentation, outline
commit
|
commitdiff
|
tree
2017-07-04
Mart Lubbers
fix date
commit
|
commitdiff
|
tree
2017-07-04
Mart Lubbers
add handcrafted make script
commit
|
commitdiff
|
tree
2017-07-03
Mart Lubbers
rephrase to remove overfull hbox
commit
|
commitdiff
|
tree
2017-07-03
Mart Lubbers
fix all latex warnings
commit
|
commitdiff
|
tree
2017-07-03
Mart Lubbers
clean up and fix lstlistoflistings indentation
commit
|
commitdiff
|
tree
2017-07-03
Mart Lubbers
fix numbering in frontmatter
commit
|
commitdiff
|
tree
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
next