2019-08-02 rtrimanaFlatten the structure of event while-loop.
2019-08-01 rtrimanaMerge branch 'master' of ssh://
2019-08-01 rtrimanaFixing a bug: missing a closing parenthesis.
2019-08-01 amiraja minor bug in schedule method!
2019-08-01 amirajMerge branch 'master' of ssh://
2019-08-01 amirajFixing a minor bug in schedule method!
2019-08-01 rtrimanaResolving conclicts manually.
2019-08-01 rtrimanaAdding new events into the scripts.
2019-08-01 amirajsome changes in methods
2019-08-01 amirajFixing bugs in classes
2019-08-01 rtrimanaFixing a bug in ContactSensor.
2019-08-01 amirajMerge branch 'master' of ssh://
2019-08-01 amirajSolving the conflicts
2019-08-01 bdemskytypo
2019-08-01 bdemskyFix smokedetect file
2019-08-01 rtrimanaFixing presence.present for name and value.
2019-08-01 rtrimanaFixing a bug in MusicPlayer.
2019-08-01 rtrimanaFixing conflicting files.
2019-08-01 amirajMerge branch 'master' of ssh://
2019-08-01 amirajChanges in classes: new concept for latest value +...
2019-08-01 rtrimanaFixing a bug in the event presence.present: name has...
2019-08-01 rtrimanaAdding presence.present event.
2019-08-01 rtrimanaMinor change in
2019-08-01 rtrimanaAdding Locks group in
2019-08-01 rtrimanaAdding cases for app and location.
2019-08-01 rtrimanaFixing a bug where we can have two events with differen...
2019-07-31 rtrimanaAdding 2 types of 'unlocked' events both for subscriber...
2019-07-31 rtrimanaDebugging command.
2019-07-31 rtrimanaFixing a bug in locks: latestValue should have similar...
2019-07-31 rtrimanaFixing a bug in Locks group: we have to change the...
2019-07-30 rtrimanaFixing a bug with capabilityMap extraction.
2019-07-30 rtrimanaCommenting out the Verify API calls in the object insta...
2019-07-30 rtrimanaUpdating classes with Verify API.
2019-07-30 rtrimanaRemoving supposedly untracked files.
2019-07-30 rtrimanaAdding new events in the script.
2019-07-30 rtrimanaAdding new events.
2019-07-29 amirajsme minor changes
2019-07-29 amirajMerge branch 'master' of ssh://
2019-07-29 amirajSome minor changes in events' format
2019-07-29 rtrimanaAdding direct-direct pair detection; adding missing...
2019-07-29 amiraj Infrastructure that works for all the locks' group!
2019-07-29 amirajMerge branch 'master' of ssh://
2019-07-29 amiraj Infrastructure that works for all the locks' group!
2019-07-29 rtrimanaCompleting model-check automation script with result...
2019-07-29 rtrimanaCleaning up scripts.
2019-07-29 rtrimanaFixing a bug in event to variable mapping.
2019-07-28 rtrimanaCompleting physical interaction runs.
2019-07-27 rtrimanaAdding a feature to detect potential motion sensor...
2019-07-27 rtrimanaAdding more features for physical interaction detection...
2019-07-27 rtrimanaAdding lists of apps for different categories.
2019-07-26 rtrimanaCompleting model-checking automation script to process...
2019-07-26 rtrimanaAdding path explorations for initializations.
2019-07-26 rtrimanaAdding differentiation of two some event subscribing...
2019-07-26 rtrimanaAdding new events.
2019-07-26 rtrimanaAdding more exploration for execution paths.
2019-07-25 rtrimanaAdding exception generation when there is a Direct...
2019-07-25 rtrimanaAdding missing changes to the extractor scripts.
2019-07-25 rtrimanaRemoving/commenting out evt variable that was causing...
2019-07-25 amirajMerge branch 'master' of ssh://
2019-07-25 amirajCommit #10: more classes
2019-07-25 rtrimanaLimiting iteration for now (DFSearch strategy would...
2019-07-24 rtrimanaAdding a script to run automation for model-checking.
2019-07-24 rtrimanaHardcoding options for enum.
2019-07-24 rtrimanaAdding a newline at the end of the code.
2019-07-23 rtrimanaMerge branch 'master' of ssh://
2019-07-23 rtrimanaMore events to generate based on the subscriber's list.
2019-07-23 amirajMerge branch 'master' of ssh://
2019-07-23 amirajCommit #9: More classes + Extractor with Rahmadi's...
2019-07-23 rtrimanaFixing a bug in consuming too many...
2019-07-22 rtrimanaAdded physical interaction detection into the build...
2019-07-22 rtrimanaDeleting files and completing event generation.
2019-07-20 rtrimanaAdded subscribers handling to generate the right events.
2019-07-20 amirajMerge branch 'master' of ssh://
2019-07-20 amirajCommit #9: extension to the infrastructure with more...
2019-07-17 rtrimanaAdding jpf.jar to enable the compilation of apps with...
2019-07-17 amirajCommit #9: update to previous commit
2019-07-17 amirajCommit #8: New version of extractor with running the...
2019-07-12 amirajMerge branch 'master' of ssh://
2019-07-12 amirajCommit #7: Events thread-based + new easier Extractor...
2019-07-10 rtrimanaRemoving binary files.
2019-07-09 amirajCommit #7: eventHandler and event queue are unique...
2019-07-08 amirajCommit #6
2019-07-02 amirajCommit #5
2019-07-02 amirajCommit #5
2019-07-02 amirajCommit #4
2019-06-29 amirajCommit #3
2019-06-28 amirajMerge branch 'master' of ssh://
2019-06-28 amirajCommit #2
2019-06-28 rtrimanaModifying variable names in the Makefile to avoid confu...
2019-06-28 amiraj"First commit!"
2019-06-19 rtrimanaCreating a new repository for SmartThings Groovy infras...