iotcloud.git
2016-10-04 Ali YounisAdded to guarantees
2016-10-03 Ali YounisAdded Guarantees section
2016-10-02 Ali YounisAdded some ignores for the version 2 docs
2016-10-02 Ali YounisAdded to version 2 docs
2016-09-30 Ali YounisVersion 2 docs
2016-08-22 rtrimanaAdding rollback/mismatch detection when updating last...
2016-08-22 rtrimanaComputing expected size; refactoring code into function...
2016-08-22 rtrimanaRefactoring HMAC checks, replacing de type checks with...
2016-08-18 tkwaCommented Java code
2016-08-18 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-18 tkwaMore minor edits to pseudocode
2016-08-16 rtrimanaMore clean-ups for proof part
2016-08-16 rtrimanaCleaning up proof part
2016-08-16 rtrimanaCleaning up proof part
2016-08-16 tkwaMinor edits
2016-08-12 tkwaRestructured proof; should be complete now
2016-08-09 rtrimanaAdding more error messages for slots range
2016-08-08 rtrimanaTypo in procedure call for checks on slots
2016-08-08 rtrimanaAdding checks to slots range when reading
2016-08-08 rtrimanaA few more minor fixes in proof 2.2.2
2016-08-08 rtrimanaFixing case 2.2.1 that we store the collision winners...
2016-08-08 rtrimanaFixing SM list mechanism as it is checked against cr...
2016-08-05 rtrimanaReconciling pseudocode and formal guarantees - part 1
2016-08-05 rtrimanaFormatting and detailing definitions for formal guarantees
2016-08-05 joelbandiMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-05 joelbandiadded Rejected message
2016-08-05 rtrimanaMore clean-ups on functions
2016-08-04 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-04 rtrimanaRefining and rechecking liveness; fixing things in...
2016-08-04 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-04 tkwaFurther changes to Lemma 1; still not done
2016-08-04 rtrimanaAdding liveness and more states - half baked, need...
2016-08-03 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-03 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-03 joelbandiKeyvalue.js
2016-08-03 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-03 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-03 rtrimanaDividing data entry formation into smaller functions...
2016-08-02 tkwaMinor changes to proof
2016-08-02 joelbandiMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-02 joelbandiAdded lastmessage.js
2016-08-02 joelbandiAdded slotindexer and table status constructor
2016-08-02 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-02 tkwaImprovements to diagram for Lemma 1 of the proof; added...
2016-08-02 rtrimanaAdding loop and status updates when putting data entrie...
2016-08-02 rtrimanaConflict in an if-statement - merging
2016-08-02 rtrimanaSmall changes in client reading slots part - to be...
2016-08-02 joelbandiAdded slotbuffer.js
2016-08-02 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-02 tkwaMore fixes to Lemma 1 of the proof and misc. subroutines
2016-08-01 rtrimanaAdding/fixing FastCGI required modules names
2016-08-01 tkwaAdded simple diagram for lemma in proof
2016-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-01 bdemskyadd todo item
2016-08-01 bdemskysimplify code
2016-08-01 tkwaMinor fixes to pseudocode and proof
2016-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-01 bdemskyforget rejected message list
2016-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-01 rtrimanaMerging changes
2016-08-01 joelbandiminor fix
2016-08-01 joelbandimore js
2016-08-01 joelbandimore js: Slot.js plus dist version
2016-08-01 bdemskyremove println
2016-08-01 bdemskyrevert changes joel made to java files so that they...
2016-07-30 joelbandimore js
2016-07-30 joelbandimore js
2016-07-27 Brian Demskybug fixes
2016-07-27 bdemskychange resize algorithm and slot usage
2016-07-27 Brian DemskyAdd support for salts and crypto
2016-07-26 bdemskyadd crypt to slots
2016-07-26 joelbandimodded gitignore to get rid of annoying .sty files
2016-07-26 joelbandiMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-07-26 joelbandiAdded Js code (40%)
2016-07-25 bdemskynotes
2016-07-25 Brian Demskyedits
2016-07-25 Brian Demskybug fixes
2016-07-25 bdemskydebugging code
2016-07-25 bdemskyedits
2016-07-25 bdemskyadd check for missing messages
2016-07-25 bdemskyadd some comments
2016-07-24 Brian Demskychanges
2016-07-24 Brian Demskyupdate readme file
2016-07-24 bdemskyadd readme
2016-07-24 Brian DemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-07-24 Brian Demskymore bug fixes
2016-07-24 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-07-24 bdemskyedits
2016-07-24 Brian Demskyedits
2016-07-24 bdemskyedits
2016-07-24 bdemskyedits
2016-07-24 bdemskyedits
2016-07-24 bdemskymore bugs
2016-07-24 bdemsky--amend
2016-07-24 bdemskymore bug fixes
2016-07-24 bdemskymore updates
2016-07-24 bdemskymore code
2016-07-24 bdemskymore changes
2016-07-23 Brian Demskyedits
2016-07-23 Brian Demskycheck changes in
next