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

t

not working again.

werkt nite

try something

add chibios as dependency

update submodule

Button implemented

move to digital

fix

actually working code

add ChibiOS support

sidestep

update

update

add external libraries and update stm version

add clean-platform

make workable for linux again

update

stm support

makefile

started with nucleo support