Fast weak-lensing simulations with halo model | Synapse