have device logic go in withDevices

update cleanserial and makefile

small update, new iTasks version

add arduino uno compatability

update client

Merge branch 'master' of gitlab.science.ru.nl:mlubbers/mTask

shares are dynamically allocated as well:)

shares are dynamically allocated as well:)

added debug statements, dynamic allocation is working for tasks

dynamic task allocation

Merge branch 'master' of gitlab.science.ru.nl:mlubbers/mTask

update

update interfaces

nodeMCU client is working

separated devices

separate in directories

Merge branch 'master' of gitlab.science.ru.nl:mlubbers/mTask

Started with nodeMCU support

migrate to git itasks

update, still broken due to iTasks

add example

update device name instead of record

update todo

add share update, albeit a bit ugly. also add device to share

update, shares are not propagated anymore

send device move to task

add back device specific capabilities

update spec, and shares

update

update

add ifdefs to interface.h

reenable main program

forgot to commit

fix device deletion

add correct device spec sending

hopefully improved tcp and serial connection

spec

add specification sending

started with device handshake

up

show share values in grid

shares are updated now and visible

EDITORSgit add .!

formalized bytecode conversions

existential types continued

BCValue is existential now

make all literals 2 again

Fix order bug

Dynamic only in BCShare

update a lot, try to type shares

rewrite generation to rws

make compilable

Merge branch 'master' of gitlab.science.ru.nl:mlubbers/mTask

update

merge

working again, externalized some device helper functions and added share updating

not working

clean up share code and only show published tasks

update sbus

updates

set instead of upd

don't reuse shares

build C support for interrupts

Change timeout to ADT and start supporting interrupts

improve cleaning

finetune share viewing

remove tcp busy loop

make lib compilable

equality for devices, externalize tasks

mTasks can now be built with normal taskss

experimental

split out again for tasks

update readme

add task deletion and acknowledgements

modularize more

derive more

extend generics with more tuples

modularize

started externalizing devices

fix clean installation with patches

better serial integration, moved things outside

shares are working again, viewing at least

clean up, move iTasks serial stuff to Cleanserial, add toplevel tasks for syncing

improve install script, add debug to the linux client, update jenkins behaviour

move generics to a different directory, add task sending framework

share representation started

layout is working, now up to the communication

started with layout

add some task control

started with layout

start with management tasks

update message spec

update

iso for style

complete linux interface and rename folder

a

fix makefiles forgood

update sub

update sub"

add clean bin to install