repositories
/
mTask.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
EDITORSgit add .!
[mTask.git]
/
mTaskInterpret.icl
2017-03-13
Mart Lubbers
EDITORSgit add .!
blob
|
commitdiff
|
raw
2017-03-13
Mart Lubbers
formalized bytecode conversions
blob
|
commitdiff
|
raw
|
diff to current
2017-03-13
Mart Lubbers
existential types continued
blob
|
commitdiff
|
raw
|
diff to current
2017-03-13
Mart Lubbers
BCValue is existential now
blob
|
commitdiff
|
raw
|
diff to current
2017-03-13
Mart Lubbers
make all literals 2 again
blob
|
commitdiff
|
raw
|
diff to current
2017-03-12
Mart Lubbers
Dynamic only in BCShare
blob
|
commitdiff
|
raw
|
diff to current
2017-03-12
Mart Lubbers
update a lot, try to type shares
blob
|
commitdiff
|
raw
|
diff to current
2017-03-07
Mart Lubbers
rewrite generation to rws
blob
|
commitdiff
|
raw
|
diff to current
2017-03-06
Mart Lubbers
Merge branch 'master' of gitlab.science.ru.nl:mlubbers...
blob
|
commitdiff
|
raw
|
diff to current
2017-03-06
Mart Lubbers
update
blob
|
commitdiff
|
raw
|
diff to current
2017-03-06
Mart Lubbers
merge
blob
|
commitdiff
|
raw
|
diff to current
2017-03-05
Mart Lubbers
clean up share code and only show published tasks
blob
|
commitdiff
|
raw
|
diff to current
2017-03-02
Mart Lubbers
Change timeout to ADT and start supporting interrupts
blob
|
commitdiff
|
raw
|
diff to current
2017-02-26
Mart Lubbers
add task deletion and acknowledgements
blob
|
commitdiff
|
raw
|
diff to current
2017-02-19
Mart Lubbers
improve install script, add debug to the linux client...
blob
|
commitdiff
|
raw
|
diff to current
2017-02-19
Mart Lubbers
move generics to a different directory, add task sendin...
blob
|
commitdiff
|
raw
|
diff to current
2017-02-08
Mart Lubbers
update message spec
blob
|
commitdiff
|
raw
|
diff to current
2017-02-02
Mart Lubbers
demo
blob
|
commitdiff
|
raw
|
diff to current
2017-01-28
Mart Lubbers
add instant one-stop tasks, still working
blob
|
commitdiff
|
raw
|
diff to current
2017-01-28
Mart Lubbers
update now working
blob
|
commitdiff
|
raw
|
diff to current
2017-01-24
Mart Lubbers
remove traces
blob
|
commitdiff
|
raw
|
diff to current
2017-01-23
Mart Lubbers
started communication from scratch
blob
|
commitdiff
|
raw
|
diff to current
2017-01-23
Mart Lubbers
update'
blob
|
commitdiff
|
raw
|
diff to current
2017-01-23
Mart Lubbers
not working again.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-23
Mart Lubbers
Button implemented
blob
|
commitdiff
|
raw
|
diff to current
2017-01-21
Mart Lubbers
fix
blob
|
commitdiff
|
raw
|
diff to current
2017-01-15
Mart Lubbers
update
blob
|
commitdiff
|
raw
|
diff to current
2017-01-12
Mart Lubbers
add external libraries and update stm version
blob
|
commitdiff
|
raw
|
diff to current
2017-01-12
Mart Lubbers
add clean-platform
blob
|
commitdiff
|
raw
|
diff to current
2017-01-09
Mart Lubbers
robustify task and sds initialization
blob
|
commitdiff
|
raw
|
diff to current
2017-01-09
Mart Lubbers
fix if statements and sds publishing
blob
|
commitdiff
|
raw
|
diff to current
2017-01-09
Mart Lubbers
add publishing of sds's
blob
|
commitdiff
|
raw
|
diff to current
2017-01-09
Mart Lubbers
updates
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Mart Lubbers
add sending and encoding options
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Mart Lubbers
update
blob
|
commitdiff
|
raw
|
diff to current
2017-01-02
Mart Lubbers
revert back to old itasks, add sds support in bytecode
blob
|
commitdiff
|
raw
|
diff to current
2016-12-21
Mart Lubbers
started with itasks integration
blob
|
commitdiff
|
raw
|
diff to current
2016-12-16
Mart Lubbers
read and write sds
blob
|
commitdiff
|
raw
|
diff to current
2016-12-16
Mart Lubbers
sds thing
blob
|
commitdiff
|
raw
|
diff to current
2016-12-15
Mart Lubbers
started with bytecode compilation of sds
blob
|
commitdiff
|
raw
|
diff to current
2016-12-15
Mart Lubbers
add state to the bytecode generator
blob
|
commitdiff
|
raw
|
diff to current
2016-12-14
Mart Lubbers
added sds operators, timing and task deletion
blob
|
commitdiff
|
raw
|
diff to current
2016-11-24
Mart Lubbers
started with sds
blob
|
commitdiff
|
raw
|
diff to current
2016-11-22
Mart Lubbers
changed mTaskInterpret to output a real task
blob
|
commitdiff
|
raw
|
diff to current
2016-11-21
Mart Lubbers
Started generating real bytecode
blob
|
commitdiff
|
raw
|
diff to current
2016-11-18
Mart Lubbers
omgooien taken
blob
|
commitdiff
|
raw
|
diff to current
2016-11-14
Mart Lubbers
fix conses generic function
blob
|
commitdiff
|
raw
|
diff to current
2016-11-10
Mart Lubbers
add conses, add if, some examples
blob
|
commitdiff
|
raw
|
diff to current
2016-11-10
Mart Lubbers
add ports
blob
|
commitdiff
|
raw
|
diff to current
2016-11-09
Mart Lubbers
started with interpreter for basic language
blob
|
commitdiff
|
raw
|
diff to current
2016-11-09
Mart Lubbers
Initial try, maybe I'll need a state
blob
|
commitdiff
|
raw
|
diff to current
2016-11-07
Mart Lubbers
tests
blob
|
commitdiff
|
raw
|
diff to current
2016-11-04
Mart Lubbers
started with interpret and bytecode classes
blob
|
commitdiff
|
raw
|
diff to current