Split parameter offload from z3 (#2009)

Commit

3 years ago

Split parameter offload from z3 (#2009) * Split parameter offload from z3 * Format fixes * Bug fixes * Cleanup * Remove dead code