Back to SPARK download page

Feature list of SPARK

SPARK does not currently support pipelining.

Restrictions on Input "C" Code

SPARK supports pure ANSI-C with no additions or special constructs. SPARK extracts parallelism from this C description. Here are the restrictions on the input "C" (see User Manual for details and workarounds for some of these):

Besides these, the following features of C are not supported because they have not yet been implemented in the SPARK framework:
Maintained by Sumit Gupta <>