Robert NishiharaandPhilipp Moritz 6d301d9079 Simplify resource bookkeeping in local scheduler. (#494) ...

* Simplify resource bookkeeping in local scheduler.

* Change ints to doubles.

2017-04-28 12:09:47 -07:00

..

common

Clean up when a driver disconnects. (#462)

2017-04-24 18:10:21 -07:00

global_scheduler

Clean up when a driver disconnects. (#462)

2017-04-24 18:10:21 -07:00

local_scheduler

Simplify resource bookkeeping in local scheduler. (#494)

2017-04-28 12:09:47 -07:00

numbuf

Fixes Mac OSX installation error (#464)

2017-04-16 15:02:15 -07:00

plasma

Convert Plasma client to STL (#486)

2017-04-25 01:25:40 -07:00