repositories
/
mTask.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
refactoors
[mTask.git]
/ mTaskInterpret.dcl
2017-06-22
Mart Lubbers
Merge branch 'master' of gitlab.science.ru.nl:mlubbers...
commit
|
commitdiff
2017-06-21
Mart Lubbers
named sds's
commit
|
commitdiff
2017-06-19
Mart Lubbers
update specs
commit
|
commitdiff
2017-06-19
Mart Lubbers
add pins to spec
commit
|
commitdiff
2017-06-16
Mart Lubbers
migrate to new version
commit
|
commitdiff
2017-06-14
Mart Lubbers
Merge branch 'master' of gitlab.science:mlubbers/mTask
commit
|
commitdiff
2017-06-14
Mart Lubbers
separate share publishing from share class
commit
|
commitdiff
2017-06-01
Mart Lubbers
share waiting with parametric lenses
commit
|
commitdiff
2017-05-17
Mart Lubbers
Add assignments to pins
commit
|
commitdiff
2017-05-17
Mart Lubbers
extend shares
commit
|
commitdiff
2017-05-17
Mart Lubbers
added gracefull shutdown
commit
|
commitdiff
2017-05-17
Mart Lubbers
remove return value
commit
|
commitdiff
2017-05-12
Mart Lubbers
further work on return values
commit
|
commitdiff
2017-05-11
Mart Lubbers
small update
commit
|
commitdiff
2017-05-11
Mart Lubbers
add return statement and todo
commit
|
commitdiff
2017-05-11
Mart Lubbers
update memory consumption on task acknowledgement
commit
|
commitdiff
2017-04-10
Mart Lubbers
shares are dynamically allocated as well:)
commit
|
commitdiff
2017-04-05
Mart Lubbers
shares are dynamically allocated as well:)
commit
|
commitdiff
2017-03-21
Mart Lubbers
add share update, albeit a bit ugly. also add device...
commit
|
commitdiff
2017-03-21
Mart Lubbers
send device move to task
commit
|
commitdiff
2017-03-21
Mart Lubbers
update spec, and shares
commit
|
commitdiff
2017-03-19
Mart Lubbers
forgot to commit
commit
|
commitdiff
2017-03-15
Mart Lubbers
started with device handshake
commit
|
commitdiff
2017-03-13
Mart Lubbers
formalized bytecode conversions
commit
|
commitdiff
2017-03-13
Mart Lubbers
existential types continued
commit
|
commitdiff
2017-03-13
Mart Lubbers
BCValue is existential now
commit
|
commitdiff
2017-03-12
Mart Lubbers
Dynamic only in BCShare
commit
|
commitdiff
2017-03-12
Mart Lubbers
update a lot, try to type shares
commit
|
commitdiff
2017-03-07
Mart Lubbers
rewrite generation to rws
commit
|
commitdiff
2017-03-06
Mart Lubbers
Merge branch 'master' of gitlab.science.ru.nl:mlubbers...
commit
|
commitdiff
2017-03-06
Mart Lubbers
update
commit
|
commitdiff
2017-03-06
Mart Lubbers
merge
commit
|
commitdiff
2017-03-05
Mart Lubbers
clean up share code and only show published tasks
commit
|
commitdiff
2017-03-02
Mart Lubbers
Change timeout to ADT and start supporting interrupts
commit
|
commitdiff
2017-02-26
Mart Lubbers
add task deletion and acknowledgements
commit
|
commitdiff
2017-02-19
Mart Lubbers
improve install script, add debug to the linux client...
commit
|
commitdiff
2017-02-08
Mart Lubbers
update message spec
commit
|
commitdiff
2017-02-02
Mart Lubbers
demo
commit
|
commitdiff
2017-01-28
Mart Lubbers
update now working
commit
|
commitdiff
2017-01-12
Mart Lubbers
add clean-platform
commit
|
commitdiff
2017-01-09
Mart Lubbers
fix if statements and sds publishing
commit
|
commitdiff
2017-01-09
Mart Lubbers
add publishing of sds's
commit
|
commitdiff
2017-01-09
Mart Lubbers
updates
commit
|
commitdiff
2017-01-04
Mart Lubbers
add sending and encoding options
commit
|
commitdiff
2017-01-02
Mart Lubbers
revert back to old itasks, add sds support in bytecode
commit
|
commitdiff
2016-12-29
Mart Lubbers
try to push real mTasks to the client
commit
|
commitdiff
2016-12-15
Mart Lubbers
started with bytecode compilation of sds
commit
|
commitdiff
2016-12-15
Mart Lubbers
add state to the bytecode generator
commit
|
commitdiff
2016-12-14
Mart Lubbers
added sds operators, timing and task deletion
commit
|
commitdiff
2016-11-24
Mart Lubbers
started with sds
commit
|
commitdiff
2016-11-22
Mart Lubbers
changed mTaskInterpret to output a real task
commit
|
commitdiff
2016-11-18
Mart Lubbers
omgooien taken
commit
|
commitdiff
2016-11-17
Mart Lubbers
.
commit
|
commitdiff
2016-11-10
Mart Lubbers
add conses, add if, some examples
commit
|
commitdiff
2016-11-10
Mart Lubbers
add ports
commit
|
commitdiff
2016-11-09
Mart Lubbers
started with interpreter for basic language
commit
|
commitdiff
2016-11-09
Mart Lubbers
Initial try, maybe I'll need a state
commit
|
commitdiff
2016-11-07
Mart Lubbers
tests
commit
|
commitdiff
2016-11-04
Mart Lubbers
started with interpret and bytecode classes
commit
|
commitdiff