tree ea0491fd4a7e83311cd857b6258d2582d75c3856
parent 9b3b54672a3a0215c6e1da827a30588e19fc1cd2
author Abdullah Alamoudi <bamousaa@gmail.com> 1423737928 +0300
committer Ian Maxon <imaxon@uci.edu> 1425613461 -0800

This change allows setting a local ordering property for assign operators. it is needed when variables that are created in the assign operator are sorted

The following commits from your working branch will be included:

commit 9e4abb36e6f50e0f73406f4603cdc79590ca7b06
Author: Abdullah Alamoudi <bamousaa@gmail.com>
Date:   Mon Feb 2 16:53:45 2015 +0300

    added a TODO for deserialization

commit 78f7ee6fb04358d36156658202fb4478e47059e2
Author: Abdullah Alamoudi <bamousaa@gmail.com>
Date:   Mon Feb 2 16:30:56 2015 +0300

    fixed NPE in substitue variable visitor

commit 6bb101e072e03aae2732613385589e1ae52b510c
Author: Abdullah Alamoudi <bamousaa@gmail.com>
Date:   Mon Feb 2 15:07:14 2015 +0300

    Allow assign operator to have explicitly set ordering properties

Change-Id: If995b47aa3c97ce60be952141699268341d31eea
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/214
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Taewoo Kim <wangsaeu@gmail.com>