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