tree 21fe3caa45ffe1204a15383f67a678f996c91351
parent cf0aff8a03bb49bc52f46f462826bf362234473a
author Davide Pesavento <davide.pesavento@lip6.fr> 1532227449 -0400
committer Alex Afanasyev <aa@cs.fiu.edu> 1532470654 -0700

Use std::move in more places

Plus various code simplifications

Change-Id: I19805e4a635e4c74afaff68f9d8968475217ec6e