projects
/
iotcloud.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Added some ignores for the version 2 docs
2016-08-18
tkwa
Commented Java code
commit
|
commitdiff
|
tree
2016-08-18
tkwa
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2016-08-18
tkwa
More minor edits to pseudocode
commit
|
commitdiff
|
tree
2016-08-16
tkwa
Minor edits
commit
|
commitdiff
|
tree
2016-08-12
tkwa
Restructured proof; should be complete now
commit
|
commitdiff
|
tree
2016-08-04
tkwa
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2016-08-04
tkwa
Further changes to Lemma 1; still not done
commit
|
commitdiff
|
tree
2016-08-03
tkwa
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2016-08-03
tkwa
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2016-08-02
tkwa
Minor changes to proof
commit
|
commitdiff
|
tree
2016-08-02
tkwa
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2016-08-02
tkwa
Improvements to diagram for Lemma 1 of the proof; added...
commit
|
commitdiff
|
tree
2016-08-02
tkwa
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2016-08-02
tkwa
More fixes to Lemma 1 of the proof and misc. subroutines
commit
|
commitdiff
|
tree
2016-08-01
tkwa
Added simple diagram for lemma in proof
commit
|
commitdiff
|
tree
2016-08-01
tkwa
Minor fixes to pseudocode and proof
commit
|
commitdiff
|
tree
2016-07-23
tkwa
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2016-07-23
tkwa
Added security guarantee
commit
|
commitdiff
|
tree