repositories
/
mTask.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
refactoors
[mTask.git]
/
Shares
/ mTaskShare.dcl
2017-06-24
Mart Lubbers
refactoors
master
commit
|
commitdiff
2017-06-22
Mart Lubbers
Merge branch 'master' of gitlab.science.ru.nl:mlubbers...
commit
|
commitdiff
2017-06-21
Mart Lubbers
named sds's
commit
|
commitdiff
2017-06-14
Mart Lubbers
Merge branch 'master' of gitlab.science:mlubbers/mTask
commit
|
commitdiff
2017-06-11
Mart Lubbers
make share unique for device
commit
|
commitdiff
2017-06-09
Mart Lubbers
shares are now lenses
commit
|
commitdiff
2017-05-31
Mart Lubbers
supposedly working parametric lenses, needs testing
commit
|
commitdiff
2017-05-31
Mart Lubbers
trying to get the sds lenses to work
commit
|
commitdiff
2017-05-21
Mart Lubbers
add memory reset when resetting, add debug for share...
commit
|
commitdiff
2017-05-19
Mart Lubbers
separate share updates
commit
|
commitdiff
2017-05-18
Mart Lubbers
make shares of devices
commit
|
commitdiff
2017-05-17
Mart Lubbers
update
commit
|
commitdiff
2017-05-17
Mart Lubbers
make everything more robust
commit
|
commitdiff
2017-03-21
Mart Lubbers
update device name instead of record
commit
|
commitdiff
2017-03-21
Mart Lubbers
add share update, albeit a bit ugly. also add device...
commit
|
commitdiff
2017-03-21
Mart Lubbers
update spec, and shares
commit
|
commitdiff
2017-03-15
Mart Lubbers
started with device handshake
commit
|
commitdiff
2017-03-13
Mart Lubbers
shares are updated now and visible
commit
|
commitdiff
2017-03-13
Mart Lubbers
existential types continued
commit
|
commitdiff
2017-03-13
Mart Lubbers
BCValue is existential now
commit
|
commitdiff
2017-03-12
Mart Lubbers
Dynamic only in BCShare
commit
|
commitdiff
2017-03-12
Mart Lubbers
update a lot, try to type shares
commit
|
commitdiff
2017-03-07
Mart Lubbers
rewrite generation to rws
commit
|
commitdiff
2017-03-06
Mart Lubbers
Merge branch 'master' of gitlab.science.ru.nl:mlubbers...
commit
|
commitdiff
2017-03-06
Mart Lubbers
update
commit
|
commitdiff
2017-02-27
Mart Lubbers
finetune share viewing
commit
|
commitdiff
2017-02-26
Mart Lubbers
add task deletion and acknowledgements
commit
|
commitdiff
2017-02-26
Mart Lubbers
modularize more
commit
|
commitdiff