2017-05-14 Ali YounisChanges
2017-05-14 Ali YounisChanges
2017-05-14 Ali YounisEmbeded Benchmark
2017-05-07 Ali YounisBenchmark readme
2017-05-07 Ali Younis Benchmark added
2017-04-25 Ali YounisBenchmark
2017-04-23 Ali YounisLightbulb benchmark
2017-02-14 Ali YounisTiming, Attacks
2017-02-08 Ali YounisFixed bug
2017-02-03 Ali YounisFixed Rejected Messages, Calculating correct size
2017-01-31 Ali YounisFixed bugs, local communication HMAC added in
2017-01-25 Ali YounisEdits
2017-01-15 Ali YounisLocal communication working
2017-01-12 Ali YounisLocal communication support
2017-01-07 Ali YounisBlock Chain Transactions, Commits multiple parts version
2017-01-04 Ali YounisAdded mutex for thread safety
2017-01-04 Ali YounisUpdates
2017-01-03 Ali YounisAPI Changes
2017-01-01 Ali YounisOffline support added
2016-12-31 Ali YounisChanged way Guard works, Sped up code
2016-12-28 Ali YounisSquashed Last bugs
2016-12-27 Ali YounisFixing Bugs
2016-12-25 Ali YounisCommits working, Transactions Working, Arbitrations...
2016-12-21 Ali YounisCleaned up git
2016-12-21 Ali YounisCleaned up git
2016-12-21 Ali YounisDeleted Redundent Files
2016-12-02 Ali YounisInitial Working version of IoTCloudv2, needs more testing
2016-12-01 Ali YounisChanges
2016-12-01 Ali YounisFixes to tex doc; Code Updates
2016-11-22 Ali YounisTex typo issues, Code
2016-11-18 Ali YounisEdits to the new block chain docs
2016-11-18 Ali YounisInitial commit of code for new version of block chain...
2016-11-17 Ali YounisUpdates to docs
2016-11-15 Ali YounisInformal Updates
2016-11-08 Ali YounisChanges
2016-11-03 Ali YounisChanges
2016-11-03 Ali YounisChanges
2016-11-01 Ali YounisRevisions
2016-11-01 Ali YounisRevisions
2016-11-01 Ali Younisblock chain new doc
2016-10-17 Ali YounisEdits
2016-10-17 Ali YounisUpdates
2016-10-16 JordanDicksonAdded first draft of the System Correctness section
2016-10-15 Ali YounisAdded to formal part
2016-10-15 Ali YounisFormal Document edits
2016-10-14 Ali YounisUpdates
2016-10-14 Ali YounisFormal Edits
2016-10-13 Ali YounisFormal Edits
2016-10-11 Ali YounisFormal Version
2016-10-10 Ali YounisChanges
2016-10-10 Ali YounisChanges
2016-10-09 Ali YounisChanges
2016-10-04 Ali YounisAdded to guarantees
2016-10-03 Ali YounisAdded Guarantees section
2016-10-02 Ali YounisAdded some ignores for the version 2 docs
2016-10-02 Ali YounisAdded to version 2 docs
2016-09-30 Ali YounisVersion 2 docs
2016-08-22 rtrimanaAdding rollback/mismatch detection when updating last...
2016-08-22 rtrimanaComputing expected size; refactoring code into function...
2016-08-22 rtrimanaRefactoring HMAC checks, replacing de type checks with...
2016-08-18 tkwaCommented Java code
2016-08-18 tkwaMerge branch 'master' of ssh://
2016-08-18 tkwaMore minor edits to pseudocode
2016-08-16 rtrimanaMore clean-ups for proof part
2016-08-16 rtrimanaCleaning up proof part
2016-08-16 rtrimanaCleaning up proof part
2016-08-16 tkwaMinor edits
2016-08-12 tkwaRestructured proof; should be complete now
2016-08-09 rtrimanaAdding more error messages for slots range
2016-08-08 rtrimanaTypo in procedure call for checks on slots
2016-08-08 rtrimanaAdding checks to slots range when reading
2016-08-08 rtrimanaA few more minor fixes in proof 2.2.2
2016-08-08 rtrimanaFixing case 2.2.1 that we store the collision winners...
2016-08-08 rtrimanaFixing SM list mechanism as it is checked against cr...
2016-08-05 rtrimanaReconciling pseudocode and formal guarantees - part 1
2016-08-05 rtrimanaFormatting and detailing definitions for formal guarantees
2016-08-05 joelbandiMerge branch 'master' of ssh://
2016-08-05 joelbandiadded Rejected message
2016-08-05 rtrimanaMore clean-ups on functions
2016-08-04 rtrimanaMerge branch 'master' of ssh://
2016-08-04 rtrimanaRefining and rechecking liveness; fixing things in...
2016-08-04 tkwaMerge branch 'master' of ssh://
2016-08-04 tkwaFurther changes to Lemma 1; still not done
2016-08-04 rtrimanaAdding liveness and more states - half baked, need...
2016-08-03 tkwaMerge branch 'master' of ssh://
2016-08-03 rtrimanaMerge branch 'master' of ssh://
2016-08-03 joelbandiKeyvalue.js
2016-08-03 rtrimanaMerge branch 'master' of ssh://
2016-08-03 tkwaMerge branch 'master' of ssh://
2016-08-03 rtrimanaDividing data entry formation into smaller functions...
2016-08-02 tkwaMinor changes to proof
2016-08-02 joelbandiMerge branch 'master' of ssh://
2016-08-02 joelbandiAdded lastmessage.js
2016-08-02 joelbandiAdded slotindexer and table status constructor
2016-08-02 tkwaMerge branch 'master' of ssh://
2016-08-02 tkwaImprovements to diagram for Lemma 1 of the proof; added...
2016-08-02 rtrimanaAdding loop and status updates when putting data entrie...
2016-08-02 rtrimanaConflict in an if-statement - merging
2016-08-02 rtrimanaSmall changes in client reading slots part - to be...
2016-08-02 joelbandiAdded slotbuffer.js