projects
/
iotcloud.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Adding files to initialize, update, and read key-value (to be used together with...
2018-04-16
rtrimana
Adding files to initialize, update, and read key-value...
commit
|
commitdiff
|
tree
2018-04-10
rtrimana
Fixing scripts for building and running tests.
commit
|
commitdiff
|
tree
2016-08-22
rtrimana
Adding rollback/mismatch detection when updating last...
commit
|
commitdiff
|
tree
2016-08-22
rtrimana
Computing expected size; refactoring code into functions...
commit
|
commitdiff
|
tree
2016-08-22
rtrimana
Refactoring HMAC checks, replacing de type checks with...
commit
|
commitdiff
|
tree
2016-08-16
rtrimana
More clean-ups for proof part
commit
|
commitdiff
|
tree
2016-08-16
rtrimana
Cleaning up proof part
commit
|
commitdiff
|
tree
2016-08-16
rtrimana
Cleaning up proof part
commit
|
commitdiff
|
tree
2016-08-09
rtrimana
Adding more error messages for slots range
commit
|
commitdiff
|
tree
2016-08-08
rtrimana
Typo in procedure call for checks on slots
commit
|
commitdiff
|
tree
2016-08-08
rtrimana
Adding checks to slots range when reading
commit
|
commitdiff
|
tree
2016-08-08
rtrimana
A few more minor fixes in proof 2.2.2
commit
|
commitdiff
|
tree
2016-08-08
rtrimana
Fixing case 2.2.1 that we store the collision winners...
commit
|
commitdiff
|
tree
2016-08-08
rtrimana
Fixing SM list mechanism as it is checked against cr...
commit
|
commitdiff
|
tree
2016-08-05
rtrimana
Reconciling pseudocode and formal guarantees - part 1
commit
|
commitdiff
|
tree
2016-08-05
rtrimana
Formatting and detailing definitions for formal guarantees
commit
|
commitdiff
|
tree
2016-08-05
rtrimana
More clean-ups on functions
commit
|
commitdiff
|
tree
2016-08-04
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2016-08-04
rtrimana
Refining and rechecking liveness; fixing things in...
commit
|
commitdiff
|
tree
2016-08-04
rtrimana
Adding liveness and more states - half baked, need...
commit
|
commitdiff
|
tree
2016-08-03
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2016-08-03
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2016-08-03
rtrimana
Dividing data entry formation into smaller functions...
commit
|
commitdiff
|
tree
2016-08-02
rtrimana
Adding loop and status updates when putting data entries...
commit
|
commitdiff
|
tree
2016-08-02
rtrimana
Conflict in an if-statement - merging
commit
|
commitdiff
|
tree
2016-08-02
rtrimana
Small changes in client reading slots part - to be...
commit
|
commitdiff
|
tree
2016-08-01
rtrimana
Adding/fixing FastCGI required modules names
commit
|
commitdiff
|
tree
2016-08-01
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2016-08-01
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2016-08-01
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2016-08-01
rtrimana
Merging changes
commit
|
commitdiff
|
tree
2016-07-19
rtrimana
Completing client algorithm (first complete version...
commit
|
commitdiff
|
tree
2016-07-18
rtrimana
Adding client part that puts slots on server; handling...
commit
|
commitdiff
|
tree
2016-07-15
rtrimana
Adding collision resolution entry - preserved by checking...
commit
|
commitdiff
|
tree
2016-07-15
rtrimana
Fixing typo in MinSlot that's getting s_min for slots...
commit
|
commitdiff
|
tree
2016-07-15
rtrimana
Client read slots algorithm - Cleaning up, adding error...
commit
|
commitdiff
|
tree
2016-07-14
rtrimana
Revised client algorithm - part that gets slots from...
commit
|
commitdiff
|
tree
2016-07-12
rtrimana
Replacing primes with subscripts for MaxSlot and MinSlot
commit
|
commitdiff
|
tree
2016-07-12
rtrimana
Adding empty set as another return value for a true...
commit
|
commitdiff
|
tree
2016-07-12
rtrimana
Using \tuple{} for expressing tuples
commit
|
commitdiff
|
tree
2016-07-12
rtrimana
Adding helper functions for server part; cleaning up
commit
|
commitdiff
|
tree
2016-07-11
rtrimana
Cleaning up PutSlot function
commit
|
commitdiff
|
tree
2016-07-11
rtrimana
Renaming Get and Put into GetSlot and PutSlot; Cleaning...
commit
|
commitdiff
|
tree
2016-07-11
rtrimana
Server algorithm revised - two basic functions, e.g...
commit
|
commitdiff
|
tree
2016-07-07
rtrimana
Adding client algorithm; modifying some parts of server...
commit
|
commitdiff
|
tree
2016-07-06
rtrimana
Adding server algorithm
commit
|
commitdiff
|
tree
2016-07-05
rtrimana
Completing login and key management (part 1.1)
commit
|
commitdiff
|
tree
2016-06-30
rtrimana
Give more explanations on data entries, add a few punctuatio...
commit
|
commitdiff
|
tree