iotcloud.git
8 years agoFormatting and detailing definitions for formal guarantees
rtrimana [Fri, 5 Aug 2016 16:46:14 +0000 (09:46 -0700)]
Formatting and detailing definitions for formal guarantees

8 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
joelbandi [Fri, 5 Aug 2016 00:13:53 +0000 (17:13 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

8 years agoadded Rejected message
joelbandi [Fri, 5 Aug 2016 00:13:39 +0000 (17:13 -0700)]
added Rejected message

8 years agoMore clean-ups on functions
rtrimana [Fri, 5 Aug 2016 00:01:58 +0000 (17:01 -0700)]
More clean-ups on functions

8 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
rtrimana [Thu, 4 Aug 2016 22:02:38 +0000 (15:02 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

8 years agoRefining and rechecking liveness; fixing things in PutDataEntries and ProcessSL functions
rtrimana [Thu, 4 Aug 2016 22:02:28 +0000 (15:02 -0700)]
Refining and rechecking liveness; fixing things in PutDataEntries and ProcessSL functions

8 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
tkwa [Thu, 4 Aug 2016 01:37:38 +0000 (18:37 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

Conflicts:
doc/iotcloud.tex

8 years agoFurther changes to Lemma 1; still not done
tkwa [Thu, 4 Aug 2016 01:35:14 +0000 (18:35 -0700)]
Further changes to Lemma 1; still not done

8 years agoAdding liveness and more states - half baked, need to recheck the states, especially...
rtrimana [Thu, 4 Aug 2016 00:26:21 +0000 (17:26 -0700)]
Adding liveness and more states - half baked, need to recheck the states, especially for ss and cr entries

8 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
tkwa [Wed, 3 Aug 2016 18:03:38 +0000 (11:03 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

8 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
rtrimana [Wed, 3 Aug 2016 15:34:08 +0000 (08:34 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

8 years agoKeyvalue.js
joelbandi [Wed, 3 Aug 2016 00:07:38 +0000 (17:07 -0700)]
Keyvalue.js

8 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
rtrimana [Wed, 3 Aug 2016 00:04:53 +0000 (17:04 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

8 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
tkwa [Wed, 3 Aug 2016 00:04:49 +0000 (17:04 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud

8 years agoDividing data entry formation into smaller functions, fixing loop for PutDataEntries...
rtrimana [Wed, 3 Aug 2016 00:04:43 +0000 (17:04 -0700)]
Dividing data entry formation into smaller functions, fixing loop for PutDataEntries function

8 years agoMinor changes to proof
tkwa [Tue, 2 Aug 2016 23:48:24 +0000 (16:48 -0700)]
Minor changes to proof

8 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

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

8 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

8 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

8 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

8 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

8 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

8 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

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

8 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

8 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

8 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

8 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

8 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

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

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

8 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

8 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

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

8 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

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

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

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

8 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

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

8 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

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

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

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

8 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

8 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

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

8 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

8 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

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

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

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

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

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

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

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

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

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

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

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

8 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

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

8 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

8 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

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

8 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

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

8 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

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

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

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

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

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