OP2/PyOP2 — pull request #146 by kynan (2013-02-08 18:11:40+00:00)
Title: Timing

Adds a simple Timer class that allows recording events identified by a string label, where events of the the same label are automatically aggregated. Allows writing a summary to file or printing to stdout. Provides convenience functions `tic`, `toc`, `summary` etc.