Python API for constructing tasks (#28)

* Python API for constructing tasks

* Fixes.
This commit is contained in:
Philipp Moritz
2016-10-04 15:56:24 -07:00
committed by GitHub
parent da5ec3b5e0
commit 8e044535e2
10 changed files with 484 additions and 2 deletions
-1
View File
@@ -13,7 +13,6 @@
#include "utstring.h"
typedef unique_id function_id;
typedef unique_id object_id;
/* The task ID is a deterministic hash of the function ID that
* the task executes and the argument IDs or argument values */