casadi/casadi — pull request #808 by jgillis (2013-07-16 13:12:51+00:00)
Title: Mul nonalloc

Fixes #807