Initial commit for REDS source code