casadi/casadi — pull request #831 by jgillis (2013-08-14 09:54:43+00:00)
Title: Profiling

Added profiling tool for MX virtual machine

>> CasadiOptions.startProfiling('prof.log')

$> python -mcasadi.tools.profilereport -o prof.html prof.log

Generates a local web page with statistics.