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

test

specifically export

update submodule

fix install script

update submodule

update install script with eval

add installation script

make program work with ui-reorg

adapt to new iTasks layout

Removed submodules iTasks and clean-platform

demo

simplify expression

add instant one-stop tasks, still working

update now working

remove traces

Still working, fixed sds update

working demo

fixed communication

started communication from scratch

update'
git psuh