projects
/
iotcloud.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
More clean-ups for proof part
[iotcloud.git]
/
doc
/
iotcloud.tex
2016-08-16
rtrimana
More clean-ups for proof part
blob
|
commitdiff
|
raw
2016-08-16
rtrimana
Cleaning up proof part
blob
|
commitdiff
|
raw
|
diff to current
2016-08-16
rtrimana
Cleaning up proof part
blob
|
commitdiff
|
raw
|
diff to current
2016-08-16
tkwa
Minor edits
blob
|
commitdiff
|
raw
|
diff to current
2016-08-12
tkwa
Restructured proof; should be complete now
blob
|
commitdiff
|
raw
|
diff to current
2016-08-09
rtrimana
Adding more error messages for slots range
blob
|
commitdiff
|
raw
|
diff to current
2016-08-08
rtrimana
Typo in procedure call for checks on slots
blob
|
commitdiff
|
raw
|
diff to current
2016-08-08
rtrimana
Adding checks to slots range when reading
blob
|
commitdiff
|
raw
|
diff to current
2016-08-08
rtrimana
A few more minor fixes in proof 2.2.2
blob
|
commitdiff
|
raw
|
diff to current
2016-08-08
rtrimana
Fixing case 2.2.1 that we store the collision winners...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-08
rtrimana
Fixing SM list mechanism as it is checked against cr...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-05
rtrimana
Reconciling pseudocode and formal guarantees - part 1
blob
|
commitdiff
|
raw
|
diff to current
2016-08-05
rtrimana
Formatting and detailing definitions for formal guarantees
blob
|
commitdiff
|
raw
|
diff to current
2016-08-05
joelbandi
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-05
rtrimana
More clean-ups on functions
blob
|
commitdiff
|
raw
|
diff to current
2016-08-04
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-04
rtrimana
Refining and rechecking liveness; fixing things in...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-04
tkwa
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-04
tkwa
Further changes to Lemma 1; still not done
blob
|
commitdiff
|
raw
|
diff to current
2016-08-04
rtrimana
Adding liveness and more states - half baked, need...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-03
tkwa
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-03
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-03
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-03
tkwa
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-03
rtrimana
Dividing data entry formation into smaller functions...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-02
tkwa
Minor changes to proof
blob
|
commitdiff
|
raw
|
diff to current
2016-08-02
joelbandi
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-02
tkwa
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-02
tkwa
Improvements to diagram for Lemma 1 of the proof; added...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-02
rtrimana
Adding loop and status updates when putting data entrie...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-02
rtrimana
Conflict in an if-statement - merging
blob
|
commitdiff
|
raw
|
diff to current
2016-08-02
rtrimana
Small changes in client reading slots part - to be...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-02
tkwa
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-02
tkwa
More fixes to Lemma 1 of the proof and misc. subroutines
blob
|
commitdiff
|
raw
|
diff to current
2016-08-01
tkwa
Added simple diagram for lemma in proof
blob
|
commitdiff
|
raw
|
diff to current
2016-08-01
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-01
tkwa
Minor fixes to pseudocode and proof
blob
|
commitdiff
|
raw
|
diff to current
2016-08-01
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-01
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-01
rtrimana
Merging changes
blob
|
commitdiff
|
raw
|
diff to current
2016-07-26
joelbandi
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-25
bdemsky
notes
blob
|
commitdiff
|
raw
|
diff to current
2016-07-23
Brian Demsky
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-23
tkwa
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-23
tkwa
Added security guarantee
blob
|
commitdiff
|
raw
|
diff to current
2016-07-19
bdemsky
some initial comments...haven't read most of the code
blob
|
commitdiff
|
raw
|
diff to current
2016-07-19
rtrimana
Completing client algorithm (first complete version...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-18
rtrimana
Adding client part that puts slots on server; handling...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-15
rtrimana
Adding collision resolution entry - preserved by checki...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-15
rtrimana
Fixing typo in MinSlot that's getting s_min for slots...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-15
rtrimana
Client read slots algorithm - Cleaning up, adding error...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-14
rtrimana
Revised client algorithm - part that gets slots from...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-12
rtrimana
Replacing primes with subscripts for MaxSlot and MinSlot
blob
|
commitdiff
|
raw
|
diff to current
2016-07-12
rtrimana
Adding empty set as another return value for a true...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-12
rtrimana
Using \tuple{} for expressing tuples
blob
|
commitdiff
|
raw
|
diff to current
2016-07-12
rtrimana
Adding helper functions for server part; cleaning up
blob
|
commitdiff
|
raw
|
diff to current
2016-07-11
rtrimana
Cleaning up PutSlot function
blob
|
commitdiff
|
raw
|
diff to current
2016-07-11
bdemsky
edits
blob
|
commitdiff
|
raw
|
diff to current
2016-07-11
rtrimana
Renaming Get and Put into GetSlot and PutSlot; Cleaning...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-11
bdemsky
clean up some definitions plus get function
blob
|
commitdiff
|
raw
|
diff to current
2016-07-11
rtrimana
Server algorithm revised - two basic functions, e.g...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-07
rtrimana
Adding client algorithm; modifying some parts of server...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-06
rtrimana
Adding server algorithm
blob
|
commitdiff
|
raw
|
diff to current
2016-07-05
bdemsky
more comments
blob
|
commitdiff
|
raw
|
diff to current
2016-07-05
bdemsky
add notes
blob
|
commitdiff
|
raw
|
diff to current
2016-07-05
rtrimana
Completing login and key management (part 1.1)
blob
|
commitdiff
|
raw
|
diff to current
2016-06-30
rtrimana
Give more explanations on data entries, add a few punct...
blob
|
commitdiff
|
raw
|
diff to current
2016-06-29
bdemsky
Force proof on failed write
blob
|
commitdiff
|
raw
|
diff to current
2016-06-29
bdemsky
typo
blob
|
commitdiff
|
raw
|
diff to current
2016-06-29
bdemsky
Add document
blob
|
commitdiff
|
raw
|
diff to current