projects / iotcloud.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixing case 2.2.1 that we store the collision winners, not all the rejected messages
[iotcloud.git] / doc / iotcloud.tex
2016-08-08 rtrimanaFixing case 2.2.1 that we store the collision winners... blob | commitdiff | raw
2016-08-08 rtrimanaFixing SM list mechanism as it is checked against cr... blob | commitdiff | raw | diff to current
2016-08-05 rtrimanaReconciling pseudocode and formal guarantees - part 1 blob | commitdiff | raw | diff to current
2016-08-05 rtrimanaFormatting and detailing definitions for formal guarantees blob | commitdiff | raw | diff to current
2016-08-05 joelbandiMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-08-05 rtrimanaMore clean-ups on functions blob | commitdiff | raw | diff to current
2016-08-04 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-08-04 rtrimanaRefining and rechecking liveness; fixing things in... blob | commitdiff | raw | diff to current
2016-08-04 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-08-04 tkwaFurther changes to Lemma 1; still not done blob | commitdiff | raw | diff to current
2016-08-04 rtrimanaAdding liveness and more states - half baked, need... blob | commitdiff | raw | diff to current
2016-08-03 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-08-03 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-08-03 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-08-03 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-08-03 rtrimanaDividing data entry formation into smaller functions... blob | commitdiff | raw | diff to current
2016-08-02 tkwaMinor changes to proof blob | commitdiff | raw | diff to current
2016-08-02 joelbandiMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-08-02 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-08-02 tkwaImprovements to diagram for Lemma 1 of the proof; added... blob | commitdiff | raw | diff to current
2016-08-02 rtrimanaAdding loop and status updates when putting data entrie... blob | commitdiff | raw | diff to current
2016-08-02 rtrimanaConflict in an if-statement - merging blob | commitdiff | raw | diff to current
2016-08-02 rtrimanaSmall changes in client reading slots part - to be... blob | commitdiff | raw | diff to current
2016-08-02 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-08-02 tkwaMore fixes to Lemma 1 of the proof and misc. subroutines blob | commitdiff | raw | diff to current
2016-08-01 tkwaAdded simple diagram for lemma in proof blob | commitdiff | raw | diff to current
2016-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-08-01 tkwaMinor fixes to pseudocode and proof blob | commitdiff | raw | diff to current
2016-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-08-01 rtrimanaMerging changes blob | commitdiff | raw | diff to current
2016-07-26 joelbandiMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-07-25 bdemskynotes blob | commitdiff | raw | diff to current
2016-07-23 Brian DemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-07-23 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2016-07-23 tkwaAdded security guarantee blob | commitdiff | raw | diff to current
2016-07-19 bdemskysome initial comments...haven't read most of the code blob | commitdiff | raw | diff to current
2016-07-19 rtrimanaCompleting client algorithm (first complete version... blob | commitdiff | raw | diff to current
2016-07-18 rtrimanaAdding client part that puts slots on server; handling... blob | commitdiff | raw | diff to current
2016-07-15 rtrimanaAdding collision resolution entry - preserved by checki... blob | commitdiff | raw | diff to current
2016-07-15 rtrimanaFixing typo in MinSlot that's getting s_min for slots... blob | commitdiff | raw | diff to current
2016-07-15 rtrimanaClient read slots algorithm - Cleaning up, adding error... blob | commitdiff | raw | diff to current
2016-07-14 rtrimanaRevised client algorithm - part that gets slots from... blob | commitdiff | raw | diff to current
2016-07-12 rtrimanaReplacing primes with subscripts for MaxSlot and MinSlot blob | commitdiff | raw | diff to current
2016-07-12 rtrimanaAdding empty set as another return value for a true... blob | commitdiff | raw | diff to current
2016-07-12 rtrimanaUsing \tuple{} for expressing tuples blob | commitdiff | raw | diff to current
2016-07-12 rtrimanaAdding helper functions for server part; cleaning up blob | commitdiff | raw | diff to current
2016-07-11 rtrimanaCleaning up PutSlot function blob | commitdiff | raw | diff to current
2016-07-11 bdemskyedits blob | commitdiff | raw | diff to current
2016-07-11 rtrimanaRenaming Get and Put into GetSlot and PutSlot; Cleaning... blob | commitdiff | raw | diff to current
2016-07-11 bdemskyclean up some definitions plus get function blob | commitdiff | raw | diff to current
2016-07-11 rtrimanaServer algorithm revised - two basic functions, e.g... blob | commitdiff | raw | diff to current
2016-07-07 rtrimanaAdding client algorithm; modifying some parts of server... blob | commitdiff | raw | diff to current
2016-07-06 rtrimanaAdding server algorithm blob | commitdiff | raw | diff to current
2016-07-05 bdemskymore comments blob | commitdiff | raw | diff to current
2016-07-05 bdemskyadd notes blob | commitdiff | raw | diff to current
2016-07-05 rtrimanaCompleting login and key management (part 1.1) blob | commitdiff | raw | diff to current
2016-06-30 rtrimanaGive more explanations on data entries, add a few punct... blob | commitdiff | raw | diff to current
2016-06-29 bdemskyForce proof on failed write blob | commitdiff | raw | diff to current
2016-06-29 bdemskytypo blob | commitdiff | raw | diff to current
2016-06-29 bdemskyAdd document blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.