summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
rtrimana [Wed, 24 Jul 2019 19:42:31 +0000 (12:42 -0700)]
Adding a script to run automation for model-checking.
rtrimana [Wed, 24 Jul 2019 18:46:35 +0000 (11:46 -0700)]
Hardcoding options for enum.
rtrimana [Wed, 24 Jul 2019 00:51:14 +0000 (17:51 -0700)]
Adding a newline at the end of the code.
rtrimana [Tue, 23 Jul 2019 23:26:39 +0000 (16:26 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/smartthings-infrastructure
rtrimana [Tue, 23 Jul 2019 23:24:48 +0000 (16:24 -0700)]
More events to generate based on the subscriber's list.
amiraj [Tue, 23 Jul 2019 22:58:27 +0000 (15:58 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/smartthings-infrastructure
amiraj [Tue, 23 Jul 2019 22:52:12 +0000 (15:52 -0700)]
Commit #9: More classes + Extractor with Rahmadi's editions + Fixing some bugs
rtrimana [Tue, 23 Jul 2019 18:18:47 +0000 (11:18 -0700)]
Fixing a bug in ExtractorScript.py: consuming too many tokens.
rtrimana [Mon, 22 Jul 2019 23:34:32 +0000 (16:34 -0700)]
Added physical interaction detection into the build flow.
rtrimana [Mon, 22 Jul 2019 19:38:48 +0000 (12:38 -0700)]
Deleting files and completing event generation.
rtrimana [Sat, 20 Jul 2019 23:47:06 +0000 (16:47 -0700)]
Added subscribers handling to generate the right events.
amiraj [Sat, 20 Jul 2019 00:51:42 +0000 (17:51 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/smartthings-infrastructure
amiraj [Sat, 20 Jul 2019 00:50:28 +0000 (17:50 -0700)]
Commit #9: extension to the infrastructure with more devices + minor changes in extractor part
rtrimana [Wed, 17 Jul 2019 21:42:04 +0000 (14:42 -0700)]
Adding jpf.jar to enable the compilation of apps with the gov.nasa.jpf.vm.Verify library.
amiraj [Wed, 17 Jul 2019 00:20:27 +0000 (17:20 -0700)]
Commit #9: update to previous commit
amiraj [Wed, 17 Jul 2019 00:18:33 +0000 (17:18 -0700)]
Commit #8: New version of extractor with running the preferences method make things much more flexible to control
amiraj [Fri, 12 Jul 2019 00:28:19 +0000 (17:28 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/smartthings-infrastructure
amiraj [Fri, 12 Jul 2019 00:24:02 +0000 (17:24 -0700)]
Commit #7: Events thread-based + new easier Extractor.py + our own Timer class
rtrimana [Wed, 10 Jul 2019 17:12:05 +0000 (10:12 -0700)]
Removing binary files.
amiraj [Tue, 9 Jul 2019 20:31:06 +0000 (13:31 -0700)]
Commit #7: eventHandler and event queue are unique between two apps now. (Similar to the samsung architecture for smartthings.)
amiraj [Mon, 8 Jul 2019 23:31:56 +0000 (16:31 -0700)]
Commit #6
amiraj [Tue, 2 Jul 2019 22:05:00 +0000 (15:05 -0700)]
Commit #5
amiraj [Tue, 2 Jul 2019 22:02:20 +0000 (15:02 -0700)]
Commit #5
amiraj [Tue, 2 Jul 2019 21:39:33 +0000 (14:39 -0700)]
Commit #4
amiraj [Sat, 29 Jun 2019 00:23:58 +0000 (17:23 -0700)]
Commit #3
amiraj [Fri, 28 Jun 2019 23:55:24 +0000 (16:55 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/smartthings-infrastructure
amiraj [Fri, 28 Jun 2019 23:51:55 +0000 (16:51 -0700)]
Commit #2
rtrimana [Fri, 28 Jun 2019 23:50:58 +0000 (16:50 -0700)]
Modifying variable names in the Makefile to avoid confusion.
amiraj [Fri, 28 Jun 2019 23:06:02 +0000 (16:06 -0700)]
"First commit!"
rtrimana [Wed, 19 Jun 2019 18:40:27 +0000 (11:40 -0700)]
Creating a new repository for SmartThings Groovy infrastructure for model-checking.
projects / smartthings-infrastructure.git / log