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>
4 files changed