]> rtime.felk.cvut.cz Git - frescor/frsh-forb.git/history - resources/dummy/res_dummy_idl.idl
projects / frescor / frsh-forb.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Resource scheduler renamed to resource allocator
[frescor/frsh-forb.git] / resources / dummy / res_dummy_idl.idl
2008-11-13 Michal SojkaResource scheduler renamed to resource allocator blob | commitdiff | raw
2008-10-30 Michal SojkaAdded resource specific contract block blob | commitdiff | raw | diff to current
FRSH/FORB resource reservation framework