tree 0ad74ffef8e64e8d5a5e1c990673b3b13f8b142c
parent a9c13e903eba16d03fc9f9b308c8f90bcbb4466d
author salsubaiee <salsubaiee@gmail.com> 1405642785 -0700
committer Ian Maxon <imaxon@uci.edu> 1405647235 -0800

Added a new merge policy, called correlated-prefix.

Change-Id: I8f961eb28b4ea460f6326c8b4acaea02b50819e9
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/108
Reviewed-by: abdullah alamoudi <bamousaa@gmail.com>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>