iotcloud.git
7 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
joelbandi [Tue, 2 Aug 2016 22:47:35 +0000 (15:47 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

7 years agoAdded lastmessage.js
joelbandi [Tue, 2 Aug 2016 22:47:19 +0000 (15:47 -0700)]
Added lastmessage.js

7 years agoAdded slotindexer and table status constructor
joelbandi [Tue, 2 Aug 2016 22:15:38 +0000 (15:15 -0700)]
Added slotindexer and table status constructor

7 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
tkwa [Tue, 2 Aug 2016 18:37:22 +0000 (11:37 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

7 years agoImprovements to diagram for Lemma 1 of the proof; added case to Lemma 1
tkwa [Tue, 2 Aug 2016 18:36:57 +0000 (11:36 -0700)]
Improvements to diagram for Lemma 1 of the proof; added case to Lemma 1

7 years agoAdding loop and status updates when putting data entries on server
rtrimana [Tue, 2 Aug 2016 18:12:00 +0000 (11:12 -0700)]
Adding loop and status updates when putting data entries on server

7 years agoConflict in an if-statement - merging
rtrimana [Tue, 2 Aug 2016 16:17:22 +0000 (09:17 -0700)]
Conflict in an if-statement - merging

7 years agoSmall changes in client reading slots part - to be verified by Thomas
rtrimana [Tue, 2 Aug 2016 16:15:16 +0000 (09:15 -0700)]
Small changes in client reading slots part - to be verified by Thomas

7 years agoAdded slotbuffer.js
joelbandi [Tue, 2 Aug 2016 10:54:52 +0000 (03:54 -0700)]
Added slotbuffer.js

7 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
tkwa [Tue, 2 Aug 2016 00:14:03 +0000 (17:14 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

Conflicts:
doc/iotcloud.tex

7 years agoMore fixes to Lemma 1 of the proof and misc. subroutines
tkwa [Tue, 2 Aug 2016 00:07:58 +0000 (17:07 -0700)]
More fixes to Lemma 1 of the proof and misc. subroutines

7 years agoAdding/fixing FastCGI required modules names
rtrimana [Mon, 1 Aug 2016 20:55:27 +0000 (13:55 -0700)]
Adding/fixing FastCGI required modules names

7 years agoAdded simple diagram for lemma in proof
tkwa [Mon, 1 Aug 2016 20:38:16 +0000 (13:38 -0700)]
Added simple diagram for lemma in proof

7 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
rtrimana [Mon, 1 Aug 2016 20:14:24 +0000 (13:14 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

7 years agoadd todo item
bdemsky [Mon, 1 Aug 2016 19:56:38 +0000 (12:56 -0700)]
add todo item

7 years agosimplify code
bdemsky [Mon, 1 Aug 2016 19:51:17 +0000 (12:51 -0700)]
simplify code

7 years agoMinor fixes to pseudocode and proof
tkwa [Mon, 1 Aug 2016 18:18:36 +0000 (11:18 -0700)]
Minor fixes to pseudocode and proof

7 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
rtrimana [Mon, 1 Aug 2016 17:49:20 +0000 (10:49 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

7 years agoforget rejected message list
bdemsky [Mon, 1 Aug 2016 17:30:15 +0000 (10:30 -0700)]
forget rejected message list

7 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
rtrimana [Mon, 1 Aug 2016 16:04:38 +0000 (09:04 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

7 years agoMerging changes
rtrimana [Mon, 1 Aug 2016 16:04:16 +0000 (09:04 -0700)]
Merging changes

7 years agominor fix
joelbandi [Mon, 1 Aug 2016 12:44:14 +0000 (05:44 -0700)]
minor fix

7 years agomore js
joelbandi [Mon, 1 Aug 2016 12:39:56 +0000 (05:39 -0700)]
more js

7 years agomore js: Slot.js plus dist version
joelbandi [Mon, 1 Aug 2016 12:38:00 +0000 (05:38 -0700)]
more js: Slot.js plus dist version

7 years agoremove println
bdemsky [Mon, 1 Aug 2016 05:23:43 +0000 (22:23 -0700)]
remove println

7 years agorevert changes joel made to java files so that they will compile
bdemsky [Mon, 1 Aug 2016 05:19:27 +0000 (22:19 -0700)]
revert changes joel made to java files so that they will compile

7 years agomore js
joelbandi [Sat, 30 Jul 2016 12:42:13 +0000 (05:42 -0700)]
more js

7 years agomore js
joelbandi [Sat, 30 Jul 2016 12:36:22 +0000 (05:36 -0700)]
more js

7 years agobug fixes
Brian Demsky [Wed, 27 Jul 2016 05:39:24 +0000 (22:39 -0700)]
bug fixes

7 years agochange resize algorithm and slot usage
bdemsky [Wed, 27 Jul 2016 05:03:57 +0000 (22:03 -0700)]
change resize algorithm and slot usage

7 years agoAdd support for salts and crypto
Brian Demsky [Wed, 27 Jul 2016 01:37:50 +0000 (18:37 -0700)]
Add support for salts and crypto

7 years agoadd crypt to slots
bdemsky [Tue, 26 Jul 2016 23:26:33 +0000 (16:26 -0700)]
add crypt to slots

7 years agomodded gitignore to get rid of annoying .sty files
joelbandi [Tue, 26 Jul 2016 12:59:41 +0000 (05:59 -0700)]
modded gitignore to get rid of annoying .sty files

7 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
joelbandi [Tue, 26 Jul 2016 12:56:50 +0000 (05:56 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

7 years agoAdded Js code (40%)
joelbandi [Tue, 26 Jul 2016 12:56:21 +0000 (05:56 -0700)]
Added Js code (40%)

7 years agonotes
bdemsky [Mon, 25 Jul 2016 20:02:10 +0000 (13:02 -0700)]
notes

7 years agoedits
Brian Demsky [Mon, 25 Jul 2016 06:12:37 +0000 (23:12 -0700)]
edits

7 years agobug fixes
Brian Demsky [Mon, 25 Jul 2016 06:12:16 +0000 (23:12 -0700)]
bug fixes

7 years agodebugging code
bdemsky [Mon, 25 Jul 2016 01:52:11 +0000 (18:52 -0700)]
debugging code

7 years agoedits
bdemsky [Mon, 25 Jul 2016 01:37:31 +0000 (18:37 -0700)]
edits

7 years agoadd check for missing messages
bdemsky [Mon, 25 Jul 2016 01:11:20 +0000 (18:11 -0700)]
add check for missing messages

7 years agoadd some comments
bdemsky [Mon, 25 Jul 2016 00:47:21 +0000 (17:47 -0700)]
add some comments

7 years agochanges
Brian Demsky [Sun, 24 Jul 2016 22:40:04 +0000 (15:40 -0700)]
changes

7 years agoupdate readme file
Brian Demsky [Sun, 24 Jul 2016 22:39:21 +0000 (15:39 -0700)]
update readme file

7 years agoadd readme
bdemsky [Sun, 24 Jul 2016 22:32:37 +0000 (15:32 -0700)]
add readme

7 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
Brian Demsky [Sun, 24 Jul 2016 22:29:23 +0000 (15:29 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

7 years agomore bug fixes
Brian Demsky [Sun, 24 Jul 2016 22:29:08 +0000 (15:29 -0700)]
more bug fixes

7 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
bdemsky [Sun, 24 Jul 2016 08:11:54 +0000 (01:11 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

7 years agoedits
bdemsky [Sun, 24 Jul 2016 08:11:24 +0000 (01:11 -0700)]
edits

7 years agoedits
Brian Demsky [Sun, 24 Jul 2016 08:10:08 +0000 (01:10 -0700)]
edits

7 years agoedits
bdemsky [Sun, 24 Jul 2016 07:44:49 +0000 (00:44 -0700)]
edits

7 years agoedits
bdemsky [Sun, 24 Jul 2016 07:37:27 +0000 (00:37 -0700)]
edits

7 years agoedits
bdemsky [Sun, 24 Jul 2016 06:58:15 +0000 (23:58 -0700)]
edits

7 years agomore bugs
bdemsky [Sun, 24 Jul 2016 05:09:36 +0000 (22:09 -0700)]
more bugs

7 years ago--amend
bdemsky [Sun, 24 Jul 2016 05:01:17 +0000 (22:01 -0700)]
--amend

7 years agomore bug fixes
bdemsky [Sun, 24 Jul 2016 05:01:08 +0000 (22:01 -0700)]
more bug fixes

7 years agomore updates
bdemsky [Sun, 24 Jul 2016 04:32:06 +0000 (21:32 -0700)]
more updates

7 years agomore code
bdemsky [Sun, 24 Jul 2016 03:20:37 +0000 (20:20 -0700)]
more code

7 years agomore changes
bdemsky [Sun, 24 Jul 2016 02:45:49 +0000 (19:45 -0700)]
more changes

7 years agoedits
Brian Demsky [Sat, 23 Jul 2016 23:31:02 +0000 (16:31 -0700)]
edits

7 years agocheck changes in
Brian Demsky [Sat, 23 Jul 2016 23:30:21 +0000 (16:30 -0700)]
check changes in

7 years agoformatting
bdemsky [Sat, 23 Jul 2016 23:27:34 +0000 (16:27 -0700)]
formatting

7 years agoadd makefile
Brian Demsky [Sat, 23 Jul 2016 22:42:40 +0000 (15:42 -0700)]
add makefile

7 years agomore code
Brian Demsky [Sat, 23 Jul 2016 21:41:24 +0000 (14:41 -0700)]
more code

7 years agoupdates
Brian Demsky [Sat, 23 Jul 2016 21:17:29 +0000 (14:17 -0700)]
updates

7 years agomore code
Brian Demsky [Sat, 23 Jul 2016 20:31:33 +0000 (13:31 -0700)]
more code

7 years agoMore Java Code
Brian Demsky [Sat, 23 Jul 2016 18:18:51 +0000 (11:18 -0700)]
More Java Code

7 years agoedits
Brian Demsky [Sat, 23 Jul 2016 17:36:19 +0000 (10:36 -0700)]
edits

7 years agomore edits
Brian Demsky [Sat, 23 Jul 2016 17:35:25 +0000 (10:35 -0700)]
more edits

7 years agomore code
Brian Demsky [Sat, 23 Jul 2016 17:34:20 +0000 (10:34 -0700)]
more code

7 years agoedits
Brian Demsky [Sat, 23 Jul 2016 09:09:52 +0000 (02:09 -0700)]
edits

7 years agoedits
Brian Demsky [Sat, 23 Jul 2016 08:19:59 +0000 (01:19 -0700)]
edits

7 years agomore code
Brian Demsky [Sat, 23 Jul 2016 06:52:16 +0000 (23:52 -0700)]
more code

7 years agoAdd java files
Brian Demsky [Sat, 23 Jul 2016 03:07:15 +0000 (20:07 -0700)]
Add java files

7 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
Brian Demsky [Sat, 23 Jul 2016 02:08:06 +0000 (19:08 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

7 years agoServer Code
Brian Demsky [Sat, 23 Jul 2016 02:07:13 +0000 (19:07 -0700)]
Server Code

7 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
tkwa [Sat, 23 Jul 2016 01:14:27 +0000 (18:14 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

7 years agoAdded security guarantee
tkwa [Sat, 23 Jul 2016 01:10:08 +0000 (18:10 -0700)]
Added security guarantee

7 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
joelbandi [Fri, 22 Jul 2016 21:28:41 +0000 (14:28 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

7 years agoScaffolded and added gitignore
joelbandi [Fri, 22 Jul 2016 21:28:10 +0000 (14:28 -0700)]
Scaffolded and added gitignore

7 years agoadded scaffolds
joelbandi [Fri, 22 Jul 2016 21:24:39 +0000 (14:24 -0700)]
added scaffolds

7 years agoadded scaffold for server sdk
joelbandi [Fri, 22 Jul 2016 21:22:41 +0000 (14:22 -0700)]
added scaffold for server sdk

7 years agocode written, not debugged
Brian Demsky [Fri, 22 Jul 2016 21:09:03 +0000 (14:09 -0700)]
code written, not debugged

7 years agomore code
Brian Demsky [Fri, 22 Jul 2016 20:21:58 +0000 (13:21 -0700)]
more code

7 years agospacing
bdemsky [Fri, 22 Jul 2016 08:08:06 +0000 (01:08 -0700)]
spacing

7 years agoedits
Brian Demsky [Fri, 22 Jul 2016 06:26:39 +0000 (23:26 -0700)]
edits

7 years agomore code
Brian Demsky [Fri, 22 Jul 2016 03:06:33 +0000 (20:06 -0700)]
more code

7 years agorestructuring
Brian Demsky [Fri, 22 Jul 2016 01:37:23 +0000 (18:37 -0700)]
restructuring

7 years agoSome code towards a FastCGI server
Brian Demsky [Thu, 21 Jul 2016 21:24:15 +0000 (14:24 -0700)]
Some code towards a FastCGI server

7 years agosome initial comments...haven't read most of the code
bdemsky [Tue, 19 Jul 2016 20:42:37 +0000 (13:42 -0700)]
some initial comments...haven't read most of the code

7 years agoCompleting client algorithm (first complete version); adjusting putting and getting...
rtrimana [Tue, 19 Jul 2016 18:40:34 +0000 (11:40 -0700)]
Completing client algorithm (first complete version); adjusting putting and getting slots parts; cleanup needed later

7 years agoAdding client part that puts slots on server; handling kv and cr entries; in progress...
rtrimana [Mon, 18 Jul 2016 23:58:15 +0000 (16:58 -0700)]
Adding client part that puts slots on server; handling kv and cr entries; in progress of integrating handling qs and ss entries

7 years agoAdding collision resolution entry - preserved by checking against last sequence numbe...
rtrimana [Fri, 15 Jul 2016 22:03:42 +0000 (15:03 -0700)]
Adding collision resolution entry - preserved by checking against last sequence numbers of all clients

7 years agoFixing typo in MinSlot that's getting s_min for slots for-loop counter
rtrimana [Fri, 15 Jul 2016 00:38:16 +0000 (17:38 -0700)]
Fixing typo in MinSlot that's getting s_min for slots for-loop counter

7 years agoClient read slots algorithm - Cleaning up, adding error function, making sure that...
rtrimana [Fri, 15 Jul 2016 00:31:51 +0000 (17:31 -0700)]
Client read slots algorithm - Cleaning up, adding error function, making sure that slots are processed in order

7 years agoRevised client algorithm - part that gets slots from server
rtrimana [Thu, 14 Jul 2016 17:23:18 +0000 (10:23 -0700)]
Revised client algorithm - part that gets slots from server

7 years agoReplacing primes with subscripts for MaxSlot and MinSlot
rtrimana [Tue, 12 Jul 2016 22:18:48 +0000 (15:18 -0700)]
Replacing primes with subscripts for MaxSlot and MinSlot

7 years agoAdding empty set as another return value for a true condition in PutSlot
rtrimana [Tue, 12 Jul 2016 21:36:32 +0000 (14:36 -0700)]
Adding empty set as another return value for a true condition in PutSlot

7 years agoUsing \tuple{} for expressing tuples
rtrimana [Tue, 12 Jul 2016 17:56:12 +0000 (10:56 -0700)]
Using \tuple{} for expressing tuples

7 years agoAdding helper functions for server part; cleaning up
rtrimana [Tue, 12 Jul 2016 15:14:53 +0000 (08:14 -0700)]
Adding helper functions for server part; cleaning up