Programming Languages Research Group: Git - smartthings-infrastructure.git/search

projects / smartthings-infrastructure.git / search

2019-07-26	rtrimana	Adding differentiation of two some event subscribing...	commit \| commitdiff \| tree
2019-07-26	rtrimana	Adding new events.	commit \| commitdiff \| tree
2019-07-26	rtrimana	Adding more exploration for execution paths.	commit \| commitdiff \| tree
2019-07-25	rtrimana	Adding exception generation when there is a Direct...	commit \| commitdiff \| tree
2019-07-25	rtrimana	Adding missing changes to the extractor scripts.	commit \| commitdiff \| tree
2019-07-25	rtrimana	Removing/commenting out evt variable that was causing...	commit \| commitdiff \| tree
2019-07-25	rtrimana	Limiting iteration for now (DFSearch strategy would...	commit \| commitdiff \| tree
2019-07-24	rtrimana	Adding a script to run automation for model-checking.	commit \| commitdiff \| tree
2019-07-24	rtrimana	Hardcoding options for enum.	commit \| commitdiff \| tree
2019-07-24	rtrimana	Adding a newline at the end of the code.	commit \| commitdiff \| tree
2019-07-23	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2019-07-23	rtrimana	More events to generate based on the subscriber's list.	commit \| commitdiff \| tree
2019-07-23	rtrimana	Fixing a bug in ExtractorScript.py: consuming too many...	commit \| commitdiff \| tree
2019-07-22	rtrimana	Added physical interaction detection into the build...	commit \| commitdiff \| tree
2019-07-22	rtrimana	Deleting files and completing event generation.	commit \| commitdiff \| tree
2019-07-20	rtrimana	Added subscribers handling to generate the right events.	commit \| commitdiff \| tree
2019-07-17	rtrimana	Adding jpf.jar to enable the compilation of apps with...	commit \| commitdiff \| tree
2019-07-10	rtrimana	Removing binary files.	commit \| commitdiff \| tree
2019-06-28	rtrimana	Modifying variable names in the Makefile to avoid confusion.	commit \| commitdiff \| tree
2019-06-19	rtrimana	Creating a new repository for SmartThings Groovy infrastruct...	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom