This is the API documentation for TESLA's programmer interface (ConsumerAPI), runtime support library (Libtesla) and analysis/instrumentation implementation.
