repositories
/
mTask.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
add device shares
[mTask.git]
/
Utils
/
2017-06-16
Mart Lubbers
update
tree
|
commitdiff
2017-06-16
Mart Lubbers
migrate to new version
tree
|
commitdiff
2017-06-16
Mart Lubbers
removed whileUnchanged for devices
tree
|
commitdiff
2017-06-14
Mart Lubbers
Merge branch 'master' of gitlab.science:mlubbers/mTask
tree
|
commitdiff
2017-06-11
Mart Lubbers
add debug
tree
|
commitdiff
2017-06-09
Mart Lubbers
shares are now lenses
tree
|
commitdiff
2017-06-09
Mart Lubbers
use share lenses
tree
|
commitdiff
2017-05-31
Mart Lubbers
supposedly working parametric lenses, needs testing
tree
|
commitdiff
2017-05-18
Mart Lubbers
make shares of devices
tree
|
commitdiff
2017-05-11
Mart Lubbers
have device logic go in withDevices
tree
|
commitdiff
2017-03-13
Mart Lubbers
BCValue is existential now
tree
|
commitdiff
2017-03-12
Mart Lubbers
update a lot, try to type shares
tree
|
commitdiff
2017-03-07
Mart Lubbers
rewrite generation to rws
tree
|
commitdiff
2017-03-06
Mart Lubbers
Merge branch 'master' of gitlab.science.ru.nl:mlubbers...
tree
|
commitdiff
2017-03-06
Mart Lubbers
update
tree
|
commitdiff
2017-03-06
Mart Lubbers
merge
tree
|
commitdiff
2017-03-06
Mart Lubbers
working again, externalized some device helper function...
tree
|
commitdiff
2017-02-27
Mart Lubbers
mTasks can now be built with normal taskss
tree
|
commitdiff
2017-02-27
Mart Lubbers
experimental
tree
|
commitdiff
2017-02-26
Mart Lubbers
add task deletion and acknowledgements
tree
|
commitdiff
2017-02-26
Mart Lubbers
modularize more
tree
|
commitdiff