projects
/
iotcloud.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
Another file
[iotcloud.git]
/
version2
/
2017-01-01
Ali Younis
Offline support added
tree
|
commitdiff
2016-12-31
Ali Younis
Changed way Guard works, Sped up code
tree
|
commitdiff
2016-12-28
Ali Younis
Squashed Last bugs
tree
|
commitdiff
2016-12-27
Ali Younis
Fixing Bugs
tree
|
commitdiff
2016-12-25
Ali Younis
Commits working, Transactions Working, Arbitrations...
tree
|
commitdiff
2016-12-21
Ali Younis
Cleaned up git
tree
|
commitdiff
2016-12-21
Ali Younis
Deleted Redundent Files
tree
|
commitdiff
2016-10-17
Ali Younis
Edits
tree
|
commitdiff
2016-10-17
Ali Younis
Updates
tree
|
commitdiff
2016-10-16
JordanDickson
Added first draft of the System Correctness section
tree
|
commitdiff
2016-10-15
Ali Younis
Added to formal part
tree
|
commitdiff
2016-10-15
Ali Younis
Formal Document edits
tree
|
commitdiff
2016-10-14
Ali Younis
Updates
tree
|
commitdiff
2016-10-14
Ali Younis
Formal Edits
tree
|
commitdiff
2016-10-13
Ali Younis
Formal Edits
tree
|
commitdiff
2016-10-11
Ali Younis
Formal Version
tree
|
commitdiff
2016-10-10
Ali Younis
Changes
tree
|
commitdiff
2016-10-10
Ali Younis
Changes
tree
|
commitdiff
2016-10-09
Ali Younis
Changes
tree
|
commitdiff
2016-10-04
Ali Younis
Added to guarantees
tree
|
commitdiff
2016-10-03
Ali Younis
Added Guarantees section
tree
|
commitdiff
2016-10-02
Ali Younis
Added to version 2 docs
tree
|
commitdiff
2016-09-30
Ali Younis
Version 2 docs
tree
|
commitdiff