mTask.git
7 years agoadd example
Mart Lubbers [Tue, 21 Mar 2017 19:52:39 +0000 (20:52 +0100)]
add example

7 years agoupdate device name instead of record
Mart Lubbers [Tue, 21 Mar 2017 15:11:50 +0000 (16:11 +0100)]
update device name instead of record

7 years agoupdate todo
Mart Lubbers [Tue, 21 Mar 2017 14:39:57 +0000 (15:39 +0100)]
update todo

7 years agoadd share update, albeit a bit ugly. also add device to share
Mart Lubbers [Tue, 21 Mar 2017 14:34:37 +0000 (15:34 +0100)]
add share update, albeit a bit ugly. also add device to share

7 years agoupdate, shares are not propagated anymore
Mart Lubbers [Tue, 21 Mar 2017 11:58:58 +0000 (12:58 +0100)]
update, shares are not propagated anymore

7 years agosend device move to task
Mart Lubbers [Tue, 21 Mar 2017 11:34:13 +0000 (12:34 +0100)]
send device move to task

7 years agoadd back device specific capabilities
Mart Lubbers [Tue, 21 Mar 2017 09:49:54 +0000 (10:49 +0100)]
add back device specific capabilities

7 years agoupdate spec, and shares
Mart Lubbers [Tue, 21 Mar 2017 09:47:15 +0000 (10:47 +0100)]
update spec, and shares

7 years agoupdate
Mart Lubbers [Mon, 20 Mar 2017 15:00:20 +0000 (16:00 +0100)]
update

7 years agoupdate
Mart Lubbers [Mon, 20 Mar 2017 14:06:39 +0000 (15:06 +0100)]
update

7 years agoadd ifdefs to interface.h
Mart Lubbers [Mon, 20 Mar 2017 10:55:28 +0000 (11:55 +0100)]
add ifdefs to interface.h

7 years agoreenable main program
Mart Lubbers [Mon, 20 Mar 2017 10:31:29 +0000 (11:31 +0100)]
reenable main program

7 years agoforgot to commit
Mart Lubbers [Sun, 19 Mar 2017 19:33:12 +0000 (20:33 +0100)]
forgot to commit

7 years agofix device deletion
Mart Lubbers [Fri, 17 Mar 2017 15:16:51 +0000 (16:16 +0100)]
fix device deletion

7 years agoadd correct device spec sending
Mart Lubbers [Fri, 17 Mar 2017 15:00:17 +0000 (16:00 +0100)]
add correct device spec sending

7 years agohopefully improved tcp and serial connection
Mart Lubbers [Fri, 17 Mar 2017 14:53:53 +0000 (15:53 +0100)]
hopefully improved tcp and serial connection

7 years agospec
Mart Lubbers [Thu, 16 Mar 2017 18:39:27 +0000 (19:39 +0100)]
spec

7 years agoadd specification sending
Mart Lubbers [Thu, 16 Mar 2017 18:36:45 +0000 (19:36 +0100)]
add specification sending

7 years agostarted with device handshake
Mart Lubbers [Wed, 15 Mar 2017 17:49:47 +0000 (18:49 +0100)]
started with device handshake

7 years agoup
Mart Lubbers [Wed, 15 Mar 2017 15:01:19 +0000 (16:01 +0100)]
up

7 years agoshow share values in grid
Mart Lubbers [Tue, 14 Mar 2017 13:09:54 +0000 (14:09 +0100)]
show share values in grid

7 years agoshares are updated now and visible
Mart Lubbers [Mon, 13 Mar 2017 18:39:19 +0000 (19:39 +0100)]
shares are updated now and visible

7 years agoEDITORSgit add .!
Mart Lubbers [Mon, 13 Mar 2017 13:34:13 +0000 (14:34 +0100)]
EDITORSgit add .!

7 years agoformalized bytecode conversions
Mart Lubbers [Mon, 13 Mar 2017 12:53:12 +0000 (13:53 +0100)]
formalized bytecode conversions

7 years agoexistential types continued
Mart Lubbers [Mon, 13 Mar 2017 12:07:54 +0000 (13:07 +0100)]
existential types continued

7 years agoBCValue is existential now
Mart Lubbers [Mon, 13 Mar 2017 12:01:32 +0000 (13:01 +0100)]
BCValue is existential now

7 years agomake all literals 2 again
Mart Lubbers [Mon, 13 Mar 2017 08:41:09 +0000 (09:41 +0100)]
make all literals 2 again

7 years agoFix order bug
Mart Lubbers [Mon, 13 Mar 2017 08:40:06 +0000 (09:40 +0100)]
Fix order bug

7 years agoDynamic only in BCShare
Mart Lubbers [Sun, 12 Mar 2017 14:30:57 +0000 (15:30 +0100)]
Dynamic only in BCShare

7 years agoupdate a lot, try to type shares
Mart Lubbers [Sun, 12 Mar 2017 14:11:47 +0000 (15:11 +0100)]
update a lot, try to type shares

7 years agorewrite generation to rws
Mart Lubbers [Tue, 7 Mar 2017 13:30:15 +0000 (14:30 +0100)]
rewrite generation to rws

7 years agomake compilable
Mart Lubbers [Mon, 6 Mar 2017 18:53:44 +0000 (19:53 +0100)]
make compilable

7 years agoMerge branch 'master' of gitlab.science.ru.nl:mlubbers/mTask
Mart Lubbers [Mon, 6 Mar 2017 18:50:32 +0000 (19:50 +0100)]
Merge branch 'master' of gitlab.science.ru.nl:mlubbers/mTask

7 years agoupdate
Mart Lubbers [Mon, 6 Mar 2017 18:50:15 +0000 (19:50 +0100)]
update

7 years agomerge
Mart Lubbers [Mon, 6 Mar 2017 18:48:38 +0000 (19:48 +0100)]
merge

7 years agoworking again, externalized some device helper functions and added share updating
Mart Lubbers [Mon, 6 Mar 2017 08:23:28 +0000 (09:23 +0100)]
working again, externalized some device helper functions and added share updating

7 years agonot working
Mart Lubbers [Sun, 5 Mar 2017 20:20:21 +0000 (21:20 +0100)]
not working

7 years agoclean up share code and only show published tasks
Mart Lubbers [Sun, 5 Mar 2017 20:03:45 +0000 (21:03 +0100)]
clean up share code and only show published tasks

7 years agoupdate sbus
Mart Lubbers [Sun, 5 Mar 2017 19:00:18 +0000 (20:00 +0100)]
update sbus

7 years agoupdates
Mart Lubbers [Sun, 5 Mar 2017 14:55:50 +0000 (15:55 +0100)]
updates

7 years agoset instead of upd
Mart Lubbers [Fri, 3 Mar 2017 08:44:56 +0000 (09:44 +0100)]
set instead of upd

7 years agodon't reuse shares
Mart Lubbers [Fri, 3 Mar 2017 08:41:59 +0000 (09:41 +0100)]
don't reuse shares

7 years agobuild C support for interrupts
Mart Lubbers [Thu, 2 Mar 2017 17:29:42 +0000 (18:29 +0100)]
build C support for interrupts

7 years agoChange timeout to ADT and start supporting interrupts
Mart Lubbers [Thu, 2 Mar 2017 17:04:39 +0000 (18:04 +0100)]
Change timeout to ADT and start supporting interrupts

7 years agoimprove cleaning
Mart Lubbers [Thu, 2 Mar 2017 14:44:57 +0000 (15:44 +0100)]
improve cleaning

7 years agofinetune share viewing
Mart Lubbers [Mon, 27 Feb 2017 16:39:49 +0000 (17:39 +0100)]
finetune share viewing

7 years agoremove tcp busy loop
Mart Lubbers [Mon, 27 Feb 2017 16:20:47 +0000 (17:20 +0100)]
remove tcp busy loop

7 years agomake lib compilable
Mart Lubbers [Mon, 27 Feb 2017 12:21:16 +0000 (13:21 +0100)]
make lib compilable

7 years agoequality for devices, externalize tasks
Mart Lubbers [Mon, 27 Feb 2017 10:16:49 +0000 (11:16 +0100)]
equality for devices, externalize tasks

7 years agomTasks can now be built with normal taskss
Mart Lubbers [Mon, 27 Feb 2017 09:55:54 +0000 (10:55 +0100)]
mTasks can now be built with normal taskss

7 years agoexperimental
Mart Lubbers [Mon, 27 Feb 2017 08:58:26 +0000 (09:58 +0100)]
experimental

7 years agosplit out again for tasks
Mart Lubbers [Mon, 27 Feb 2017 08:18:34 +0000 (09:18 +0100)]
split out again for tasks

7 years agoupdate readme
Mart Lubbers [Mon, 27 Feb 2017 07:39:58 +0000 (08:39 +0100)]
update readme

7 years agoadd task deletion and acknowledgements
Mart Lubbers [Sun, 26 Feb 2017 16:39:21 +0000 (17:39 +0100)]
add task deletion and acknowledgements

7 years agomodularize more
Mart Lubbers [Sun, 26 Feb 2017 14:33:46 +0000 (15:33 +0100)]
modularize more

7 years agoderive more
Mart Lubbers [Sun, 26 Feb 2017 13:03:14 +0000 (14:03 +0100)]
derive more

7 years agoextend generics with more tuples
Mart Lubbers [Sun, 26 Feb 2017 13:00:52 +0000 (14:00 +0100)]
extend generics with more tuples

7 years agomodularize
Mart Lubbers [Sun, 26 Feb 2017 12:37:31 +0000 (13:37 +0100)]
modularize

7 years agostarted externalizing devices
Mart Lubbers [Fri, 24 Feb 2017 11:21:30 +0000 (12:21 +0100)]
started externalizing devices

7 years agofix clean installation with patches
Mart Lubbers [Mon, 20 Feb 2017 13:42:03 +0000 (14:42 +0100)]
fix clean installation with patches

7 years agobetter serial integration, moved things outside
Mart Lubbers [Mon, 20 Feb 2017 13:30:04 +0000 (14:30 +0100)]
better serial integration, moved things outside

7 years agoshares are working again, viewing at least
Mart Lubbers [Sun, 19 Feb 2017 20:25:16 +0000 (21:25 +0100)]
shares are working again, viewing at least

7 years agoclean up, move iTasks serial stuff to Cleanserial, add toplevel tasks for syncing
Mart Lubbers [Sun, 19 Feb 2017 17:12:57 +0000 (18:12 +0100)]
clean up, move iTasks serial stuff to Cleanserial, add toplevel tasks for syncing

7 years agoimprove install script, add debug to the linux client, update jenkins behaviour
Mart Lubbers [Sun, 19 Feb 2017 15:41:16 +0000 (16:41 +0100)]
improve install script, add debug to the linux client, update jenkins behaviour

7 years agomove generics to a different directory, add task sending framework
Mart Lubbers [Sun, 19 Feb 2017 10:20:10 +0000 (11:20 +0100)]
move generics to a different directory, add task sending framework

7 years agoshare representation started
Mart Lubbers [Fri, 17 Feb 2017 15:08:45 +0000 (16:08 +0100)]
share representation started

7 years agolayout is working, now up to the communication
Mart Lubbers [Tue, 14 Feb 2017 17:16:50 +0000 (18:16 +0100)]
layout is working, now up to the communication

7 years agostarted with layout
Mart Lubbers [Mon, 13 Feb 2017 18:43:56 +0000 (19:43 +0100)]
started with layout

7 years agoadd some task control
Mart Lubbers [Fri, 10 Feb 2017 13:42:45 +0000 (14:42 +0100)]
add some task control

7 years agostarted with layout
Mart Lubbers [Thu, 9 Feb 2017 18:32:08 +0000 (19:32 +0100)]
started with layout

7 years agostart with management tasks
Mart Lubbers [Thu, 9 Feb 2017 14:32:29 +0000 (15:32 +0100)]
start with management tasks

7 years agoupdate message spec
Mart Lubbers [Wed, 8 Feb 2017 17:39:44 +0000 (18:39 +0100)]
update message spec

7 years agoupdate
Mart Lubbers [Wed, 8 Feb 2017 07:09:27 +0000 (08:09 +0100)]
update

7 years agoiso for style
Mart Lubbers [Mon, 6 Feb 2017 17:04:51 +0000 (18:04 +0100)]
iso for style

7 years agocomplete linux interface and rename folder
Mart Lubbers [Mon, 6 Feb 2017 16:51:28 +0000 (17:51 +0100)]
complete linux interface and rename folder

7 years agoa
Mart Lubbers [Mon, 6 Feb 2017 15:17:09 +0000 (16:17 +0100)]
a

7 years agofix makefiles forgood
Mart Lubbers [Mon, 6 Feb 2017 15:14:16 +0000 (16:14 +0100)]
fix makefiles forgood

7 years agoupdate sub
Mart Lubbers [Mon, 6 Feb 2017 15:06:40 +0000 (16:06 +0100)]
update sub

7 years agoupdate sub"
Mart Lubbers [Mon, 6 Feb 2017 15:05:06 +0000 (16:05 +0100)]
update sub"

7 years agoadd clean bin to install
Mart Lubbers [Mon, 6 Feb 2017 15:02:14 +0000 (16:02 +0100)]
add clean bin to install

7 years agotest
Mart Lubbers [Mon, 6 Feb 2017 15:00:08 +0000 (16:00 +0100)]
test

7 years agospecifically export
Mart Lubbers [Mon, 6 Feb 2017 14:59:08 +0000 (15:59 +0100)]
specifically export

7 years agoupdate submodule
Mart Lubbers [Mon, 6 Feb 2017 14:58:02 +0000 (15:58 +0100)]
update submodule

7 years agofix install script
Mart Lubbers [Mon, 6 Feb 2017 14:55:21 +0000 (15:55 +0100)]
fix install script

7 years agoupdate submodule
Mart Lubbers [Mon, 6 Feb 2017 14:53:38 +0000 (15:53 +0100)]
update submodule

7 years agoupdate install script with eval
Mart Lubbers [Mon, 6 Feb 2017 14:05:29 +0000 (15:05 +0100)]
update install script with eval

7 years agoadd installation script
Mart Lubbers [Mon, 6 Feb 2017 13:48:42 +0000 (14:48 +0100)]
add installation script

7 years agomake program work with ui-reorg
Mart Lubbers [Mon, 6 Feb 2017 10:44:45 +0000 (11:44 +0100)]
make program work with ui-reorg

7 years agoadapt to new iTasks layout
Mart Lubbers [Thu, 2 Feb 2017 15:12:10 +0000 (16:12 +0100)]
adapt to new iTasks layout

7 years agoRemoved submodules iTasks and clean-platform
Mart Lubbers [Thu, 2 Feb 2017 14:43:07 +0000 (15:43 +0100)]
Removed submodules iTasks and clean-platform

7 years agodemo
Mart Lubbers [Thu, 2 Feb 2017 13:40:02 +0000 (14:40 +0100)]
demo

7 years agosimplify expression
Mart Lubbers [Sat, 28 Jan 2017 13:59:36 +0000 (14:59 +0100)]
simplify expression

7 years agoadd instant one-stop tasks, still working
Mart Lubbers [Sat, 28 Jan 2017 13:20:47 +0000 (14:20 +0100)]
add instant one-stop tasks, still working

7 years agoupdate now working
Mart Lubbers [Sat, 28 Jan 2017 12:53:02 +0000 (13:53 +0100)]
update now working

7 years agoremove traces
Mart Lubbers [Tue, 24 Jan 2017 10:07:46 +0000 (11:07 +0100)]
remove traces

7 years agoStill working, fixed sds update
Mart Lubbers [Tue, 24 Jan 2017 09:52:51 +0000 (10:52 +0100)]
Still working, fixed sds update

7 years agoworking demo
Mart Lubbers [Tue, 24 Jan 2017 09:45:33 +0000 (10:45 +0100)]
working demo

7 years agofixed communication
Mart Lubbers [Tue, 24 Jan 2017 07:18:49 +0000 (08:18 +0100)]
fixed communication

7 years agostarted communication from scratch
Mart Lubbers [Mon, 23 Jan 2017 21:17:01 +0000 (22:17 +0100)]
started communication from scratch

7 years agoupdate'
Mart Lubbers [Mon, 23 Jan 2017 13:38:18 +0000 (14:38 +0100)]
update'
git psuh