Adding new policies for stub/skeleton generation - second benchmark
authorrtrimana <rtrimana@uci.edu>
Fri, 23 Dec 2016 00:59:19 +0000 (16:59 -0800)
committerrtrimana <rtrimana@uci.edu>
Fri, 23 Dec 2016 00:59:19 +0000 (16:59 -0800)
commit9b9043824d04f20e8e3679f1a2e946ee6f96194e
tree4028c0d8723970b04b30a83baaf93a1bfd4950f3
parent8e116843fd0b5582dc7a59336c888f62e5b65d68
Adding new policies for stub/skeleton generation - second benchmark
12 files changed:
localconfig/iotpolicy/EspSprinkler/espsprinkler.pol [new file with mode: 0644]
localconfig/iotpolicy/EspSprinkler/sprinklersmart.req [new file with mode: 0644]
localconfig/iotpolicy/GreenLawn/greenlawn.pol [new file with mode: 0644]
localconfig/iotpolicy/GreenLawn/lawnsmart.req [new file with mode: 0644]
localconfig/iotpolicy/SpruceSensor/sensorcallback.pol [new file with mode: 0644]
localconfig/iotpolicy/SpruceSensor/sensorcallback.req [new file with mode: 0644]
localconfig/iotpolicy/SpruceSensor/sensorsmart.req [new file with mode: 0644]
localconfig/iotpolicy/SpruceSensor/sprucesensor.pol [new file with mode: 0644]
localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaycallback.pol [new file with mode: 0644]
localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaycallback.req [new file with mode: 0644]
localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaysmart.req [new file with mode: 0644]
localconfig/iotpolicy/WeatherPhoneGateway/weatherphonegateway.pol [new file with mode: 0644]