casadi/casadi — pull request #710 by jgillis (2013-05-01 11:38:35+00:00)
Title: Cruntime2 #598

Again, do not merge yet, just inspect..