Merge branch 'develop' of github.com:casadi/casadi into develop
Merge branch 'develop' of github.com:casadi/casadi into develop
Merge branch 'develop' of github.com:ghorn/casadi into develop
#1034 Fixes bug in MX(Sparsity,MX)
Fixed b8ae93217a178b001e71b3cf3b55748640eef75f
Pruning deprecated functions from examples
#1032 warning messages for deprecated
Profiling: adding d3jsb + dagre charts in html output
Merge branch 'develop' of github.com:casadi/casadi into develop
swig octave: bool for setDeprecatedWarningAsException
#1035: add segfaulting test
Merge branch 'develop' of github.com:casadi/casadi into develop