Set of utilities for performance benchmarking Devito - View it on GitHub