repositories
/
mTask.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
named sds's
[mTask.git]
/
Devices
/
mTaskDevice.icl
2017-06-16
Mart Lubbers
migrate to new version
blob
|
commitdiff
|
raw
2017-06-16
Mart Lubbers
removed whileUnchanged for devices
blob
|
commitdiff
|
raw
|
diff to current
2017-06-14
Mart Lubbers
Merge branch 'master' of gitlab.science:mlubbers/mTask
blob
|
commitdiff
|
raw
|
diff to current
2017-06-11
Mart Lubbers
make share unique for device
blob
|
commitdiff
|
raw
|
diff to current
2017-06-09
Mart Lubbers
use share lenses
blob
|
commitdiff
|
raw
|
diff to current
2017-06-06
Mart Lubbers
updates
blob
|
commitdiff
|
raw
|
diff to current
2017-05-19
Mart Lubbers
should have real share access now
blob
|
commitdiff
|
raw
|
diff to current
2017-05-18
Mart Lubbers
make shares of devices
blob
|
commitdiff
|
raw
|
diff to current
2017-05-17
Mart Lubbers
added gracefull shutdown
blob
|
commitdiff
|
raw
|
diff to current
2017-05-17
Mart Lubbers
make everything more robust
blob
|
commitdiff
|
raw
|
diff to current
2017-05-11
Mart Lubbers
update memory consumption on task acknowledgement
blob
|
commitdiff
|
raw
|
diff to current
2017-05-11
Mart Lubbers
have device logic go in withDevices
blob
|
commitdiff
|
raw
|
diff to current
2017-03-21
Mart Lubbers
update device name instead of record
blob
|
commitdiff
|
raw
|
diff to current
2017-03-21
Mart Lubbers
send device move to task
blob
|
commitdiff
|
raw
|
diff to current
2017-03-21
Mart Lubbers
update spec, and shares
blob
|
commitdiff
|
raw
|
diff to current
2017-03-20
Mart Lubbers
update
blob
|
commitdiff
|
raw
|
diff to current
2017-03-19
Mart Lubbers
forgot to commit
blob
|
commitdiff
|
raw
|
diff to current
2017-03-17
Mart Lubbers
fix device deletion
blob
|
commitdiff
|
raw
|
diff to current
2017-03-17
Mart Lubbers
hopefully improved tcp and serial connection
blob
|
commitdiff
|
raw
|
diff to current
2017-03-15
Mart Lubbers
started with device handshake
blob
|
commitdiff
|
raw
|
diff to current
2017-03-13
Mart Lubbers
existential types continued
blob
|
commitdiff
|
raw
|
diff to current
2017-03-12
Mart Lubbers
Dynamic only in BCShare
blob
|
commitdiff
|
raw
|
diff to current
2017-03-12
Mart Lubbers
update a lot, try to type shares
blob
|
commitdiff
|
raw
|
diff to current
2017-03-07
Mart Lubbers
rewrite generation to rws
blob
|
commitdiff
|
raw
|
diff to current
2017-03-06
Mart Lubbers
Merge branch 'master' of gitlab.science.ru.nl:mlubbers...
blob
|
commitdiff
|
raw
|
diff to current
2017-03-06
Mart Lubbers
update
blob
|
commitdiff
|
raw
|
diff to current
2017-03-06
Mart Lubbers
merge
blob
|
commitdiff
|
raw
|
diff to current
2017-03-06
Mart Lubbers
working again, externalized some device helper function...
blob
|
commitdiff
|
raw
|
diff to current
2017-03-05
Mart Lubbers
clean up share code and only show published tasks
blob
|
commitdiff
|
raw
|
diff to current
2017-03-05
Mart Lubbers
updates
blob
|
commitdiff
|
raw
|
diff to current
2017-03-03
Mart Lubbers
set instead of upd
blob
|
commitdiff
|
raw
|
diff to current
2017-03-03
Mart Lubbers
don't reuse shares
blob
|
commitdiff
|
raw
|
diff to current
2017-03-02
Mart Lubbers
Change timeout to ADT and start supporting interrupts
blob
|
commitdiff
|
raw
|
diff to current
2017-02-27
Mart Lubbers
equality for devices, externalize tasks
blob
|
commitdiff
|
raw
|
diff to current
2017-02-27
Mart Lubbers
experimental
blob
|
commitdiff
|
raw
|
diff to current
2017-02-27
Mart Lubbers
split out again for tasks
blob
|
commitdiff
|
raw
|
diff to current
2017-02-26
Mart Lubbers
add task deletion and acknowledgements
blob
|
commitdiff
|
raw
|
diff to current
2017-02-26
Mart Lubbers
modularize more
blob
|
commitdiff
|
raw
|
diff to current
2017-02-26
Mart Lubbers
modularize
blob
|
commitdiff
|
raw
|
diff to current